Алисе и Бобу предлагается играть против казино в следующую игру: Казино в присутствии Боба загадывает последовательность длиной n из орлов и решек. Далее проводится n раундов. В каждом раунде Алиса и Боб одновременно называют каждый свою догадку для очередного члена последовательности (Боб, конечно, знает правильный ответ). Если обе догадки оказались правильными, то они выигрывают этот раунд, иначе выигрывает казино. Вопрос: какую стратегию им выбрать, чтобы гарантированно выигрывать 6 раундов из n=9. Дополнительный вопрос: Как максимизировать выигрыш при другом числе раундов, в том числе и при бесконечном?
Сначала разберёмся с асимптотическим случаем. Разбиваем всю последовательность на блоки длиной . Технология будет такая: в первом блоке Боб просто сигнализирует биты второго. Конечно, он может это сделать без ощибок, но может и намеренно "ошибаться". Сейчас станет понятно зачем. Когда дело доходит до второго блока, в некоторых битах происходят "сбои": либо Алиса называет неправильный результат, либо Боб, либо они вместе. Пусть таких битов . Сколько информации может передать Боб через эти биты? Учитывая произвольность мест этих битов и три различных ситуации для каждой "ошибки", получаем вариантов. Если потребовать, чтобы это число было не меньше, чем , то с помощью таких "битых" битов мы сможем передать информацию о следующем блоке. И дальше ситуация будет повторяться. Если записать и вычислить асимптотику от функции , то получим . Численно получаем . То есть, в асимптотике можно ошибаться меньше, чем в 20%. Заметим, что на достаточно длинных конечных последовательностях к этому числу можно приближаться сколь угодно близко.
Решение для случая "6 из 9" тоже использует похожий приём. Главное, это то, что можно использовать для передачи не просто "битый" бит, а ещё и его положение.
Вот решение из того же источника:- Сначала определим стратегию, когда хотя бы одна из групп битов 234, 567, 89 имеет одинаковое значение. В первом бите Боб называет медианное значение группы 234.
- Если все биты этой группы одинаковые, то они будут угаданы, а бит 5 Боб использует для передачи медианного значения группы 678. В этой группе будет угадано не меньше двух бит, а третий можно использовать для передачи бита 9.
- Если не все биты 234 одинаковы, то в этой группе будут угаданы два бита, а третий Боб использует для передачи медианного значения группы 567.
- Если все биты 567 одинаковы, то все три будут угаданы, а в бите 8 Боб сообщит значение бита 9.
- Если не все биты 567 одинаковы, то два будут угаданы, а оставшимся Боб передаст значение для группы 89.
На этом этапе нам остались случаи, когда каждая группа 234, 567, 89 содержит оба значения. Мы должны научиться как можно раньше сигнализировать об этой ситуации отклонениями от стратегии, описанной выше. Когда Алиса видит эти отклонения, она может действовать уже не в рамках своего базового правила, см. ниже.
Разобьем оставшиеся конфигурации на три группы: - бит 5 отличается от битов 67. В этом случае Боб первым битом сообщает медианное значение группы 234, как и раньше. В группе 234 он передаёт один бит, как и раньше, но ещё намеренно ошибается в одном из двух правильных битах. В каком именно --- это даёт второй бит информации, пусть, например, это будет значение бита 8. После 4 бита Алиса понимает, что Боб отклонился от основной стратегии пункта 1, причём определённым образом: правильно передал медианное значение в бите 1, но намеренно ошибся в одном из правильных битов. Это является сигналом того, что это случай 2, и тогда Алиса знает значения всех пяти оставшихся битов 56789.
- бит 6 отличается от битов 57. Здесь мы применим другую стратегию. Боб первым битом намеренно неправильно сообщит медианное значение группы 234. В группе 234 у него тогда опять появится возможность передать два бита. После 4 бита Алиса понимает, что Боб отклонился от основной стратегии пункта 1, причём теперь уже другим образом: неправильно передал медианное значение в бите 1. Значит, как и в пункте №2 Алиса знает значения битов 56789.
- бит 7 отличается от битов 56. Здесь Боб следует обычной стратегии вплоть до бита 4. Алиса после 4 бита знает медианное значение группы 567. Причем, в группе 234 уже угаданы два бита. Но тогда Боб может намеренно ошибиться в одном из двух битов 56, передавая посредством положения "ошибки" значение бита 8. После хода 6 Алиса видит, что комбинация может принадлежать только группе №4. Значит, она понимает, что бит 7 будет противоположен 56, а также, знает значение битов 89 (поскольку восьмой был передан, а девятый ему противоположен). Получаем два угаданных бита в группе 567 и два в группе 89.