Armenian Knowledge Base  

Go Back   Armenian Knowledge Base > General Discussions > General
Register

Reply
 
LinkBack Thread Tools
Old 13.08.2003, 21:26   #16
Академик
 
W_z_rd's Avatar
 
Join Date: 08 2002
Location: Yerevan, Armenia
Age: 45
Posts: 4,854
Downloads: 1
Uploads: 0
Reputation: 225 | 3
Default

Interesnaya zadachka. Reshu doma.
Reply With Quote
Old 14.08.2003, 04:06   #17
Banned
 
DaNYer's Avatar
 
Join Date: 10 2002
Location: Brooklyn, New York
Age: 39
Posts: 3,760
Downloads: 0
Uploads: 0
Reputation: 0 | 0
Default

mnojestva, teoriya grafikov, funkcii onto i one-to-one daiut naibolee krasivoe na moi vzglyad reshenie......
Reply With Quote
Old 14.08.2003, 05:24   #18
Грустно...
 
Agregat's Avatar
 
Join Date: 08 2002
Location: Там, где всегда идут дожди
Age: 35
Posts: 21,717
Downloads: 2
Uploads: 0
Reputation: 250 | 7
Default

ты что-то очень усложнил все... одной таблицы и доказания некоторых и опровежения других логических высказываний достаточно...
Reply With Quote
Old 14.08.2003, 05:31   #19
Академик
 
greka's Avatar
 
Join Date: 09 2001
Location: inside myself
Posts: 5,369
Downloads: 0
Uploads: 0
Reputation: 18 | 5
Default

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 ?
Reply With Quote
Old 14.08.2003, 05:48   #20
The Reloaded
 
Aram Hambardzumyan's Avatar
 
Join Date: 01 2002
Location: behind the flesh and gelatinе of soft dull eyes
Posts: 3,387
Downloads: 4
Uploads: 0
Reputation: 146 | 4
Default

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).
это как раз из области логического программирования. программа там представляет из себя множество фактов (исходные предикаты) и правил, с помощью которых, основываясь на фактах и тех же правилах, можно выводить новые предикаты. ты пишешь прогу, обращаешься к ней с запросом, интерпретатор системы логического программирования строит вывод и дает тебе ответ
Reply With Quote
Old 14.08.2003, 05:48   #21
Грустно...
 
Agregat's Avatar
 
Join Date: 08 2002
Location: Там, где всегда идут дожди
Age: 35
Posts: 21,717
Downloads: 2
Uploads: 0
Reputation: 250 | 7
Default

Гарик, мое решение нельзя назвать строго формальным.
Я в экселе создал таблицу где связывал в соседних колонках данные.
Потом частично заполнил таблицу 5x5... далее делается догадка - а вот может это так и от этого пляшется дальше. Если будет тупик, то значит догадка была не верной и так далее. Если задача имеет решение, то оно будет найдено. Правда тут получается почти полный перебор, что может оказаться долгим...

Как тебе известно, я не математик, но формально я считаю эту задачу примерно так:
Существует набор аксиом, которые заданы нам в виде подсказок.
И существует набор теорем - например Норвежец кури Dunhill. Решением задачи является набор теорем (это все заполненые клетки в моей таблице), которые не противоречат набору аксиом... Я бы желал сказать, что они выводятся из набора аксиом, да боюсь черезчур громко будет звучать
Вот.... написал ерунды
Reply With Quote
Old 14.08.2003, 05:52   #22
Грустно...
 
Agregat's Avatar
 
Join Date: 08 2002
Location: Там, где всегда идут дожди
Age: 35
Posts: 21,717
Downloads: 2
Uploads: 0
Reputation: 250 | 7
Default

Quote:
Originally posted by Aram Hambardzumyan
это как раз из области логического программирования. программа там представляет из себя множество фактов (исходные предикаты) и правил, с помощью которых, основываясь на фактах и тех же правилах, можно выводить новые предикаты. ты пишешь прогу, обращаешься к ней с запросом, интерпретатор системы логического программирования строит вывод и дает тебе ответ
Prolog и иже с ними, однако...
Reply With Quote
Old 14.08.2003, 08:52   #23
Младенец
 
No.N's Avatar
 
Join Date: 06 2003
Location: nowhere
Age: 37
Posts: 31
Downloads: 0
Uploads: 0
Reputation: 0 | 0
Cool кайф-)

интересная задачка )
решил за минут 15-20 (отвлекался, потому не говорю точно)

Quote:
Originally posted by Aram Hambardzumyan
в одном месте у меня было ветвление, я просто перепробовал обе ветки, одна сразу привела в тупик, а вторая решила задачу
а ветвление с зеленым и белым? (у меня там было, верный путь указали сигареты с выпивкой)

Quote:
но меня интересует, возможно ли другое решение, которое удовлетворит всем предикатам?
очевидно, что нет
Reply With Quote
Old 14.08.2003, 08:57   #24
Грустно...
 
Agregat's Avatar
 
Join Date: 08 2002
Location: Там, где всегда идут дожди
Age: 35
Posts: 21,717
Downloads: 2
Uploads: 0
Reputation: 250 | 7
Default

насколько я могу судить, решали ее лишь специалисты по ВТ и математики... а как же все остальные жители необъятного форума?
Reply With Quote
Old 14.08.2003, 09:16   #25
The Reloaded
 
Aram Hambardzumyan's Avatar
 
Join Date: 01 2002
Location: behind the flesh and gelatinе of soft dull eyes
Posts: 3,387
Downloads: 4
Uploads: 0
Reputation: 146 | 4
Default

Quote:
Originally posted by Agregat
насколько я могу судить, решали ее лишь специалисты по ВТ и математики... а как же все остальные жители необъятного форума?
ибо сказано было эйнштейном: 98% человечества не смогут ее решить
Reply With Quote
Old 14.08.2003, 10:10   #26
Грустно...
 
Agregat's Avatar
 
Join Date: 08 2002
Location: Там, где всегда идут дожди
Age: 35
Posts: 21,717
Downloads: 2
Uploads: 0
Reputation: 250 | 7
Default

Ну... не знаю... нас наверное меньше
Reply With Quote
Old 14.08.2003, 10:37   #27
The Reloaded
 
Aram Hambardzumyan's Avatar
 
Join Date: 01 2002
Location: behind the flesh and gelatinе of soft dull eyes
Posts: 3,387
Downloads: 4
Uploads: 0
Reputation: 146 | 4
Default

Quote:
Originally posted by No.N
а ветвление с зеленым и белым? (у меня там было, верный путь указали сигареты с выпивкой)
нет, местоположение этих домов я определил вначале (хотя может и с ними было ветвление, не помню, видимо, я его быстро прошел и не заметил ). но потом было с сигаретами, выпивкой и животными
Reply With Quote
Old 15.08.2003, 05:43   #28
Студент
 
R0nIn's Avatar
 
Join Date: 10 2002
Location: who cares?
Posts: 268
Downloads: 0
Uploads: 0
Reputation: 0 | 0
Default

nu tak sverim rezul`tati vse poluchili nemca?
Reply With Quote
Old 15.08.2003, 05:49   #29
Грустно...
 
Agregat's Avatar
 
Join Date: 08 2002
Location: Там, где всегда идут дожди
Age: 35
Posts: 21,717
Downloads: 2
Uploads: 0
Reputation: 250 | 7
Default

вроде, как да...
Reply With Quote
Old 15.08.2003, 05:50   #30
The Reloaded
 
Aram Hambardzumyan's Avatar
 
Join Date: 01 2002
Location: behind the flesh and gelatinе of soft dull eyes
Posts: 3,387
Downloads: 4
Uploads: 0
Reputation: 146 | 4
Default

naturlich
Reply With Quote
Sponsored Links
Reply

Thread Tools


На правах рекламы:
реклама

All times are GMT. The time now is 00:32.


Powered by vBulletin® Copyright ©2000 - 2017, Jelsoft Enterprises Ltd.