13.08.2003, 20:26
|
#16
|
|
Академик
Join Date: 08 2002
Location: Yerevan, Armenia
Age: 54
Posts: 4,854
Rep Power: 5
|
Interesnaya zadachka. Reshu doma.
|
|
|
|
|
14.08.2003, 03:06
|
#17
|
|
Banned
Join Date: 10 2002
Location: Brooklyn, New York
Age: 48
Posts: 3,760
Rep Power: 0
|
mnojestva, teoriya grafikov, funkcii onto i one-to-one daiut naibolee krasivoe na moi vzglyad reshenie......
|
|
|
|
|
14.08.2003, 04:24
|
#18
|
|
Грустно...
Join Date: 08 2002
Location: Там, где всегда идут дожди
Age: 44
Posts: 21,717
Rep Power: 9
|
ты что-то очень усложнил все... одной таблицы и доказания некоторых и опровежения других логических высказываний достаточно... 
|
|
|
|
|
14.08.2003, 04:31
|
#19
|
|
Академик
Join Date: 09 2001
Location: inside myself
Posts: 5,369
Rep Power: 7
|
menya OOOOOOOOOCHEN' interesuet formalizovannoe reshenie etoy (podobnyx, t.e. s neskol'kimi isxodnymi dannymi, takje izvesnymi "vzaimosvyaz'yami" kajdogo iz ulslovij).
t.e...sozdat' tablicu - tablicu chego i kak, Agregat ?
|
|
|
|
|
14.08.2003, 04:48
|
#20
|
|
The Reloaded
Join Date: 01 2002
Location: behind the flesh and gelatinе of soft dull eyes
Posts: 3,387
Rep Power: 5
|
Quote:
Originally posted by Greco El
menya OOOOOOOOOCHEN' interesuet formalizovannoe reshenie etoy (podobnyx, t.e. s neskol'kimi isxodnymi dannymi, takje izvesnymi "vzaimosvyaz'yami" kajdogo iz ulslovij).
|
это как раз из области логического программирования. программа там представляет из себя множество фактов (исходные предикаты) и правил, с помощью которых, основываясь на фактах и тех же правилах, можно выводить новые предикаты. ты пишешь прогу, обращаешься к ней с запросом, интерпретатор системы логического программирования строит вывод и дает тебе ответ
|
|
|
|
|
14.08.2003, 04:48
|
#21
|
|
Грустно...
Join Date: 08 2002
Location: Там, где всегда идут дожди
Age: 44
Posts: 21,717
Rep Power: 9
|
Гарик, мое решение нельзя назвать строго формальным.
Я в экселе создал таблицу где связывал в соседних колонках данные.
Потом частично заполнил таблицу 5x5... далее делается догадка - а вот может это так и от этого пляшется дальше. Если будет тупик, то значит догадка была не верной и так далее. Если задача имеет решение, то оно будет найдено. Правда тут получается почти полный перебор, что может оказаться долгим...
Как тебе известно, я не математик, но формально я считаю эту задачу примерно так:
Существует набор аксиом, которые заданы нам в виде подсказок.
И существует набор теорем - например Норвежец кури Dunhill. Решением задачи является набор теорем (это все заполненые клетки в моей таблице), которые не противоречат набору аксиом... Я бы желал сказать, что они выводятся из набора аксиом, да боюсь черезчур громко будет звучать
Вот.... написал ерунды
|
|
|
|
|
14.08.2003, 04:52
|
#22
|
|
Грустно...
Join Date: 08 2002
Location: Там, где всегда идут дожди
Age: 44
Posts: 21,717
Rep Power: 9
|
Quote:
Originally posted by Aram Hambardzumyan
это как раз из области логического программирования. программа там представляет из себя множество фактов (исходные предикаты) и правил, с помощью которых, основываясь на фактах и тех же правилах, можно выводить новые предикаты. ты пишешь прогу, обращаешься к ней с запросом, интерпретатор системы логического программирования строит вывод и дает тебе ответ
|
Prolog и иже с ними, однако...
|
|
|
|
 |
кайф-) |
 |
|
14.08.2003, 07:52
|
#23
|
|
Младенец
Join Date: 06 2003
Location: nowhere
Age: 46
Posts: 31
Rep Power: 0
|
кайф-)
интересная задачка )
решил за минут 15-20 (отвлекался, потому не говорю точно)
Quote:
Originally posted by Aram Hambardzumyan
в одном месте у меня было ветвление, я просто перепробовал обе ветки, одна сразу привела в тупик, а вторая решила задачу
|
а ветвление с зеленым и белым? (у меня там было, верный путь указали сигареты с выпивкой)
Quote:
|
но меня интересует, возможно ли другое решение, которое удовлетворит всем предикатам?
|
очевидно, что нет 
|
|
|
|
|
14.08.2003, 07:57
|
#24
|
|
Грустно...
Join Date: 08 2002
Location: Там, где всегда идут дожди
Age: 44
Posts: 21,717
Rep Power: 9
|
насколько я могу судить, решали ее лишь специалисты по ВТ и математики... а как же все остальные жители необъятного форума?
|
|
|
|
|
14.08.2003, 08:16
|
#25
|
|
The Reloaded
Join Date: 01 2002
Location: behind the flesh and gelatinе of soft dull eyes
Posts: 3,387
Rep Power: 5
|
Quote:
Originally posted by Agregat
насколько я могу судить, решали ее лишь специалисты по ВТ и математики... а как же все остальные жители необъятного форума?
|
ибо сказано было эйнштейном: 98% человечества не смогут ее решить
|
|
|
|
|
14.08.2003, 09:10
|
#26
|
|
Грустно...
Join Date: 08 2002
Location: Там, где всегда идут дожди
Age: 44
Posts: 21,717
Rep Power: 9
|
Ну... не знаю... нас наверное меньше
|
|
|
|
|
14.08.2003, 09:37
|
#27
|
|
The Reloaded
Join Date: 01 2002
Location: behind the flesh and gelatinе of soft dull eyes
Posts: 3,387
Rep Power: 5
|
Quote:
Originally posted by No.N
а ветвление с зеленым и белым? (у меня там было, верный путь указали сигареты с выпивкой)
|
нет, местоположение этих домов я определил вначале (хотя может и с ними было ветвление, не помню, видимо, я его быстро прошел и не заметил ). но потом было с сигаретами, выпивкой и животными
|
|
|
|
|
15.08.2003, 04:43
|
#28
|
|
Студент
Join Date: 10 2002
Location: who cares?
Posts: 268
Rep Power: 0
|
nu tak sverim rezul`tati vse poluchili nemca?
|
|
|
|
|
15.08.2003, 04:49
|
#29
|
|
Грустно...
Join Date: 08 2002
Location: Там, где всегда идут дожди
Age: 44
Posts: 21,717
Rep Power: 9
|
вроде, как да...
|
|
|
|
|
15.08.2003, 04:50
|
#30
|
|
The Reloaded
Join Date: 01 2002
Location: behind the flesh and gelatinе of soft dull eyes
Posts: 3,387
Rep Power: 5
|
naturlich
|
|
|
|
|
All times are GMT. The time now is 08:47. |
|
|
