Шура, поздравляю тебя с днём рождения!
В качестве подарка привожу "Самую сложную логическую задачу", как её назвал сам автор, Джордж Булос.
Сам я про неё только что узнал и ещё не решал. Так что не могу ничего сказать по поводу её истинной сложности.
Взято тут (осторожно, там есть решение!):
https://ru.wikipedia.org/wiki/%D0%A1%D0%B0%D0%BC%D0%B0%D1%8F_%D1%81%D0%BB%D0%BE%D0%B6%D0%BD%D0%B0%D1%8F_%D0%BB%D0%BE%D0%B3%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0%D1%8F_%D0%B7%D0%B0%D0%B4%D0%B0%D1%87%D0%B0Вот как она формулируется:
Есть три знакомых друг другу бога: A, B и C, которые являются богами истины, лжи и случая в произвольном порядке. Бог истины всегда говорит правду, бог лжи — всегда обманывает, бог случая может говорить и правду, и ложь в произвольном порядке. Требуется определить богов, задав 3 вопроса, на которые можно ответить «да» или «нет». Каждый вопрос задаётся только одному богу. Боги понимают язык, но отвечают на своём языке, в котором есть 2 слова «da» и «ja», причём неизвестно, какое слово обозначает «да», а какое «нет».Булос также разъясняет некоторые моменты задачи:
- Можно задавать одному богу более чем один вопрос (поэтому другим богам может быть не задано ни одного вопроса вообще).
- Каков будет следующий вопрос и кому он будет задан, может зависеть от ответа на предыдущий вопрос.
- Бог случая отвечает случайным образом, зависящим от подбрасываний монетки, спрятанной в его голове: если выпадет аверс, то отвечает правдиво, если реверс — то врёт.
- Бог случая отвечает «da» или «ja» на любой вопрос, на который можно ответить «да» либо «нет».
Другие комментарии:
- Нельзя задавать вопросы-«парадоксы», на которые можно ответить и «da» и «ja», или никак нельзя ответить. К примеру, «Ты сейчас ответишь „da“»?
