синє коло

[sassa_nf]

Троє людей прийшли до мудреця, щоб дізнатись, хто з них найрозумніший. Мудрець запропонував задачу: "Я зав'яжу вам очі, намалюю на чолі синє або зелене коло, а потім зніму пов'язки. Якщо бачите синє коло, піднімайте руку. Перший з вас, хто скаже колір кола на їхньому чолі і є найрозумнішим із вас

Comments

[brave_deer]

Хтось підняв руку, подивившись на нього ?

[sassa_nf]

ні.

цю задачу можна вирішити з комп'ютерами та яким-небудь протоколом замість людей і піднятої руки.

[ex_juan_gan]

Вот думаю, каково было бы собрать жежистов и попробовать на них.

Вообще, задача предполагает разумность людей. Как ее решать с тупыми, я не знаю.

[the_drmad]

bicos of he have seen "green+blue" or "blue+green" :)

[sassa_nf]

не-не-не. Все по чесноку. Мастер нарисовал всем синие кружочки, все видели только синие кружочки.

[the_drmad]

Гм.

> ..всі вони... підняли руки

Если
сзз
зсз
ззс
тогда тот, у которого на лбу "с", руку не поднимет, так как увидит у других только "з".
Если "ззз", то руку не поднимет никто.
Если "ссс", то "один з них" не может точно сказать, "с" или "з" у него на лбу. Он просто промолчит.
И только если
ссз
сзс
зсс
то тот, который видит у других "с+з", может точно сказать, что у него "синє коло". Правда, есть и другой, у которого тоже "с" на лбу, и тоже мог бы сказать "У мене на чолі синє коло"... дык, не успел. Мабуть дурень або тормоз. :)

[zeit_raffer]

Я не раз видел такие задачи. Приводимые в них решения меня никогда не удовлетворяли. Они предполагают, что каждый человек пользуется довольно непростой немонотонной логикой, причем на каждом такте рассуждения ответ меняется, и еще мы каким-то способом знаем, на каком такте рассуждения находятся остальные учасьники, хотя очевидно, что мы этого не знаем.

[sassa_nf]

race condition как он есть, да.

По-моему, там можно выразить "от противного" - в этом смысле "ответ меняется".

[nponeccop]

Ну это же не логические задачи, а моделирование распределённых систем. Обедающие философы. И, соответственно, темпоральные логики и исчисления процессов, всякие TLA

[zeit_raffer]

> Тогда после двух "не знаю" третий будет "у меня синий", безо всяких кондишенов.

В таком варианте - да, и можно свести просто к предикатам. Главное, чтобы по тактам.

А в исходной формулировке с мудрецами, когда они просто молчат, четкого рассуждения не очень получаются - якобы один шибко вумный и догадался, а остальные якобы "дебилы, бл*".

[zeit_raffer]

http://fregimus.livejournal.com/252594.html

и более реальная задача с решением в комментах
http://fregimus.livejournal.com/251249.html?thread=7139441#t7139441