Математики договорятся

Добрый день!

Ну что, раз мы размялись детскими задачками про даты и короля Артура, давайте перейдём к настоящей сложной проблеме о двух математиках, которые борются с теорией вероятностей.

Вы слышали про Форт Боярд Математиков? Пару недель назад у них была интересная задачка про бесконечную последовательность бросков честной монетки, которую разделили на чётные и нечётные броски, причём каждую из этих подпоследовательностей сообщили чётному и нечётному математику, сидящим в разных подземельях. Каждый математик должен назвать номер броска в последовательности своего товарища по несчастью, чтобы сравнить соответствующие результаты бросков. Цель математиков — так заранее договориться, чтобы результат броска в последовательности первого под номером, который назвал второй математик, совпал с результатом броска в последовательности второго под номером, который назвал первый. Как выигрывать чаще, чем в половине случаев? Какова вероятность их победы, если они хорошо предварительно подумали?

Короче, формулировка запутанная, некоторые решения после той игры уже разобраны (пока настоятельно не рекомендую смотреть, в частности, потому что там озвучены лишь ответы, а не пути к ним, что гораздо интереснее). По-моему, перед обсуждением этой задачки нам гораздо полезнее было бы рассмотреть разминочный вариант, так как он близок по духу, настраивает на нужный лад и т.д. А к исходной формулировке мы вскоре вернёмся.

Итак, два математика сидят в разных подземельях. Каждому из них завтра утром принесут честную монетку, каждый из них подбросит её, а потом сообщит своё предположение о результате броска своего товарища по несчастью. Если хотя бы один из них угадает, то они выиграли. Понятно, что им легко выигрывать в 75% случаев, давая случайные ответы. Но они прямо сейчас могут договориться о более умной игре. С какой вероятностью они будут выигрывать, если хорошо подумают?

Прелесть задачи в том, что она кажется неразрешимой. В самом деле, первый математик ничего не знает о результате броска второго, а второй — о результате первого. Поэтому может показаться, что самое умное — всегда говорить, что у коллеги выпал, например, орёл. Тогда в трёх ситуациях из четырёх (ОО, ОР, РО) у них будет гарантированная победа, а лишь в одной (РР) — не менее гарантированное поражение.

Сложно поверить, но результат выше 75% возможен. И его стоит научиться получать до того, как браться за задачу о бесконечном количестве бросков (кстати, если знаете её автора, пожалуйста, сообщите). Поэтому комментарии открывайте с осторожностью, чтобы случайно не прочитать решение.

Дополнение: в следующей заметке мы начали разбор этой задачки.

Хорошей недели!