В рамках лекционного курса Института теоретических и прикладных наук (MIT OpenCourseWare) преподаватель Бринмор Чепмен представил глубокий анализ теории вероятностей, демонстрирующий несостоятельность человеческой интуиции перед лицом строгого математического анализа. На примере классического парадокса Монти Холла и феномена нетранзитивных игральных костей исследователь продемонстрировал, как обывательская логика приводит к системным ошибкам. Разбор этих концепций призван научить студентов опираться на строгие алгоритмы и пошаговые модели вместо интуитивных догадок.
🎲 Теория вероятностей: фундамент науки и ловушка для интуиции 0:00
Бринмор Чепмен начинает лекцию с утверждения, что теория вероятностей является одной из самых важных дисциплин не только в компьютерных науках, но и во всех научных областях в целом. В Computer Science ее применение заметно повсеместно: от алгоритма Миллера — Рабина для проверки чисел на простоту до множества других рандомизированных алгоритмов. Кроме того, этот математический аппарат активно используется во многих прикладных сферах.
Теория вероятностей незаменима в следующих областях:
- Теория игр и теория информации.
- Обработка сигналов и криптография.
- Машинное обучение и статистика.
- Медицина и судебная экспертиза.
Несмотря на колоссальную прикладную значимость, теория вероятностей остается одной из наименее понимаемых дисциплин, констатирует Чепмен. Он напоминает знаменитую цитату, которую приписывают Марку Твену и Бенджамину Дизраэли: «Существует три вида лжи: ложь, наглая ложь и статистика».
По мнению лектора, с помощью вероятности и статистики действительно можно вводить людей в заблуждение, высказывая абсолютно правдивые, но при этом глубоко дезориентирующие тезисы. Обывательский здравый смысл в этой сфере часто оказывается полностью ненадежным. Как отмечает Чепмен, даже многие аспиранты на его факультете в MIT, способные выполнять сложнейшие математические вычисления, заходят в тупик, сталкиваясь с базовыми вероятностными задачами. Из-за этого в научном сообществе регулярно публикуются низкокачественные работы, основанные на ошибочном понимании теории вероятностей.
🚪 Парадокс Монти Холла: почему математика побеждает здравый смысл 2:06
В качестве главного примера коварства интуиции Чепмен приводит знаменитый парадокс Монти Холла. Эта задача получила широкую известность в 1990 году, когда американская колумнистка Мэрилин вос Савант опубликовала в журнале Parade письмо от читателя Крейга Уитакера.
В письме описывался следующий сценарий телевизионного игрового шоу:
- Участнику предлагается выбрать одну из трех закрытых дверей.
- За одной из дверей находится автомобиль, за двумя другими — козы.
- Игрок выбирает дверь (например, №1).
- Ведущий, который точно знает, что скрывается за каждой дверью, открывает одну из оставшихся дверей (например, №3) и показывает козу.
- После этого ведущий спрашивает игрока, не желает ли он изменить свой выбор и выбрать дверь №2.
Возникает ключевой вопрос: выгодно ли игроку изменить первоначальное решение? Мэрилин вос Савант в своей колонке ответила утвердительно. Ее аргументация была проста: если автомобиль изначально находился за выбранной дверью, то при смене решения игрок проигрывает, но если автомобиля там не было — а этот исход в два раза более вероятен, — то смена выбора приносит победу. Однако сразу после публикации на нее обрушился шквал гневных писем, в том числе от профессиональных математиков, которые категорически утверждали, что она не права. Описанная ситуация получила название «парадокс Монти Холла» в честь реального ведущего телешоу Let's Make a Deal.
🌳 Метод дерева: пошаговый разбор игры 11:27
Чтобы разрешить спор раз и навсегда, Чепмен предлагает использовать так называемый «метод дерева» (tree method) — элементарный подход, опирающийся исключительно на математическую строгость и полностью исключающий интуицию. Перед началом построения модели лектор подчеркивает важность «нулевого шага»: необходимо четко зафиксировать аксиомы, определяющие правила игры, поскольку исходное письмо Уитакера не обладало абсолютной точностью.
Для анализа принимаются следующие базовые аксиомы:
- Автомобиль с равной вероятностью может находиться за любой из трех дверей. Организаторы шоу не пытаются манипулировать сознанием игрока.
- Участник шоу с равной вероятностью выбирает любую дверь при первом ходе, абсолютно ничего не зная о расположении автомобиля.
- Ведущий обязан открыть дверь, за которой находится «зонк» (zonk) — технический термин шоу Монти Холла, обозначающий не-приз (козу или любой другой шуточный предмет вроде мусорного бака). При этом ведущий никогда не открывает дверь, выбранную игроком.
- Если у ведущего есть выбор, какую из двух дверей с козами открыть (это происходит в случае, если игрок изначально угадал дверь с машиной), он делает этот выбор абсолютно случайно, подбрасывая симметричную монету.
Чепмен обращает внимание на то, что это лишь один из возможных наборов аксиом. Если бы ведущий вел себя иначе (например, предлагал сменить выбор только тогда, когда игрок угадал машину, или наоборот, помогал игроку, не угадавшему с первого раза), математические выводы были бы совершенно иными. Приняв данные аксиомы, можно сформулировать точный вопрос: какова вероятность того, что игрок выиграет автомобиль, если всегда будет менять свой первоначальный выбор?
Для этого вводится формальное понятие дискретного вероятностного пространства, состоящего из двух элементов: множества исходов (семпл-спейса, обозначаемого $S$) и вероятностной функции ($Pr$). Множество $S$ должно быть непустым и счетным или конечным. Функция $Pr$ отображает каждый исход $x \in S$ в отрезок $[0, 1]$, причем выполняется фундаментальное требование:
$$\sum_{x \in S} Pr(x) = 1$$ .
📊 Расчет вероятностей и триумф стратегии смены выбора 31:11
Используя дерево решений, лектор визуализирует весь случайный процесс по этапам. Первый уровень дерева — это выбор двери, за которой Монти Холл прячет приз (Пурпурная, Золотая или Серебряная коробка/дверь). Вероятность каждого направления здесь составляет $1/3$. Второй уровень — выбор двери студентом (участником). Вероятность каждого из трех вариантов также равна $1/3$, независимо от действий ведущего. Третий уровень — демонстрация «зонка» ведущим.
Если приз лежит за Пурпурной дверью, а игрок выбрал Пурпурную, у ведущего есть выбор между Золотой и Серебряной. Вероятность открытия каждой из них равна $1/2$. Если же приз за Пурпурной дверью, а игрок выбрал Золотую, у Монти Холла нет выбора: он обязан открыть Серебряную дверь, поэтому вероятность этого ребра равна $1$.
Каждый исход (лист дерева) математически описывается как кортеж вида $(x, y, z)$, где:
- $x$ — дверь с призом.
- $y$ — первоначально выбранная игроком дверь.
- $z$ — дверь, которую открыл ведущий.
По правилам игры $z \neq x$ и $z \neq y$. Вероятность конкретного исхода рассчитывается как произведение вероятностей всех ребер вдоль пути от корня к листу. Например, для исхода (Пурпурная, Пурпурная, Золотая) вероятность составит:
$$\frac{1}{3} \times \frac{1}{3} \times \frac{1}{2} = \frac{1}{18}$$ . Для исхода (Пурпурная, Золотая, Серебряная) вероятность равна:
$$\frac{1}{3} \times \frac{1}{3} \times 1 = \frac{1}{9}$$ .
Вычисление вероятности событий
Под событием в теории вероятностей понимается подмножество пространства исходов. Нас интересует событие «Мэрилин выигрывает при смене выбора». Это событие включает в себя все исходы, где первоначальный выбор игрока не совпал с дверью, за которой спрятан автомобиль ($x \neq y$). Таких исходов ровно шесть: (Пурпурная, Золотая, Серебряная), (Пурпурная, Серебряная, Золотая), (Золотая, Пурпурная, Серебряная), (Золотая, Серебряная, Пурпурная), (Серебряная, Пурпурная, Золотая) и (Серебряная, Золотая, Пурпурная). Вероятность каждого из этих шести исходов равна $1/9$.
Суммируя вероятности данных исходов, получаем итоговый результат:
$$\frac{1}{9} + \frac{1}{9} + \frac{1}{9} + \frac{1}{9} + \frac{1}{9} + \frac{1}{9} = \frac{6}{9} = \frac{2}{3}$$ . Вероятность противоположного события — проигрыша при смене выбора — составляет всего $1/3$.
Таким образом, Мэрилин вос Савант была абсолютно права. Главная ошибка критиков и обывателей, по мнению Чепмена, заключалась в поспешном выводе о том, что раз на финальном этапе остаются две закрытые двери, то шансы распределяются как 50 на 50. Строгий разбор показывает, что стратегия смены двери удваивает шансы на победу.
🎲 Странные кости: разрушение транзитивности 44:06
Вторым примером, иллюстрирующим несовершенство человеческой интуиции, становится игра со «странными» костями. Чепмен предлагает рассмотреть три кубика, грани которых расписаны необычным образом:
- Красный кубик ($R$): две грани с двойками, две с шестерками, две с семерками (числа: 2, 6, 7).
- Зеленый кубик ($G$): числа 1, 5, 9.
- Синий кубик ($B$): числа 3, 4, 8.
Правила игры следующие: первый игрок выбирает любой кубик, затем второй игрок, видя этот выбор, берет один из оставшихся кубиков. Оба подбрасывают свои кубики, и побеждает тот, у кого выпадет большее число. Интуиция подсказывает, что у первого игрока должно быть преимущество или что можно выстроить четкую иерархию кубиков от лучшего к худшему. Однако построение дерева исходов приводит к неожиданному выводу.
При сравнении Красного ($R$) и Зеленого ($G$) кубиков пространство исходов представляет собой декартово произведение множеств ${2, 6, 7} \times {1, 5, 9}$, что дает 9 равновероятных исходов. Такое пространство называется однородным (или униформным), поскольку вероятностная функция для каждого исхода константна и равна $1/9$. В униформных пространствах расчет вероятности события сводится к простому подсчету благоприятных исходов, деленному на их общее количество.
Красный кубик побеждает Зеленый в следующих парах исходов: (2,1), (6,1), (6,5), (7,1), (7,5). Всего благоприятных исходов 5 из 9. Соответственно, вероятность победы Красного над Зеленым составляет $5/9$, то есть Красный сильнее Зеленого.
Сравнение других пар кубиков
При аналогичном анализе пары Красный ($R$) против Синего ($B$) грани Синего кубика содержат числа 3, 4, 8. Красный кубик побеждает только в 4 исходах: (6,3), (6,4), (7,3), (7,4). Таким образом, Синий кубик побеждает Красный с вероятностью $5/9$.
Если же сопоставить Зеленый кубик ($G$) и Синий кубик ($B$), то Зеленый выигрывает в парах (5,3), (5,4), (9,3), (9,4), (9,8). Это дает 5 победных исходов из 9. Вероятность победы Зеленого над Синим равна $5/9$.
Складывается парадоксальная круговая система взаимоотношений: Красный побеждает Зеленый, Зеленый побеждает Синий, но Синий побеждает Красный. В математике это свойство называется нетранзитивностью. Чепмен подчеркивает, что в этой игре преимущество всегда находится на стороне второго игрока: какой бы кубик ни выбрал первый участник, второй всегда может подобрать кубик, который обыграет его с вероятностью более 55%.
🔄 Парадокс двух бросков: когда лидер становится аутсайдером 57:12
Феномен нетранзитивности становится еще более контринтуитивным, если изменить правила и предложить игрокам бросить выбранные кубики дважды, суммируя выпавшие очки. Логично предположить, что если Красный кубик сильнее Зеленого при одном броске, то и при двух бросках его превосходство сохранится. Чепмен призывает отбросить эту интуитивную догадку и снова обратиться к математическим подсчетам.
В игре «два Красных против двух Зеленых» ($R_2$ против $G_2$) каждый игрок получает $3 \times 3 = 9$ возможных комбинаций сумм очков. Общее число исходов в пространстве увеличивается до $9 \times 9 = 81$.
Возможные суммы для Красного кубика ($R_2$):
- 4 (при выпадении 2 и 2);
- 8 (комбинации 2+6 и 6+2);
- 9 (комбинации 2+7 и 7+2);
- 12 (комбинации 6+6);
- 13 (комбинации 6+7 и 7+6);
- 14 (комбинации 7+7).
Возможные суммы для Зеленого кубика ($G_2$):
- 2 (1+1);
- 6 (1+5 и 5+1);
- 10 (1+9, 5+5, 9+1);
- 14 (5+9 и 9+5);
- 18 (9+9).
Тщательный пошаговый подсчет всех 81 комбинаций показывает, что Красный кубик побеждает ровно в 37 исходах, в 2 исходах фиксируется ничья (когда оба набирают 14 очков), а в остальных 42 исходах победу одерживает Зеленый кубик.
Поскольку пространство исходов остается униформным, вероятности распределяются следующим образом:
- Вероятность победы Красного кубика ($R_2$): $37/81$.
- Вероятность ничьей: $2/81$.
- Вероятность победы Зеленого кубика ($G_2$): $42/81$.
Происходит невероятная инверсия: при одном броске Красный кубик побеждал Зеленый с вероятностью $5/9$ (или $45/81$), но при двух бросках Зеленый кубик вырывается вперед, получая явное математическое преимущество ($42/81 > 37/81$). Чепмен поясняет, что этот удивительный переворот превосходства характерен для всех трех пар костей в данном наборе: при увеличении числа бросков до двух направление стрелок силы меняется на противоположное.
Лектор отмечает, что при добавлении большего количества кубиков с другими комбинациями чисел можно получить еще более причудливые математические аномалии. Подробный разбор подобных многомерных вероятностных парадоксов изложен в специализированных научных публикациях, ссылку на одну из которых на платформе arXiv Чепмен оставил в материалах к курсу.
