N.2 · не-парадокс · подтип: Контринтуитивный результат
Birthday Paradox
Суть ошибки. Корректный результат: число пар растёт квадратично
Точная формулировка
В комнате двадцать три человека. Какова вероятность, что у каких-то двоих совпадает день рождения? Интуиция: двадцать три человека на триста шестьдесят пять дней — совпадение маловероятно, процентов пять. Верный ответ: больше половины — 50,7%. При тридцати людях — 70%, при пятидесяти семи — 99%. Для уверенного «да» не нужно и трети года людей.
Происхождение
Классическая задача теории вероятностей первой половины XX века — обычно её связывают с фон Мизесом (1939); широкой публике её подарил Гарднер в колонках «Scientific American». Судьба задачи — редкая для головоломки: она стала рабочим инструментом. Криптография строит на ней «атаку дней рождения»: коллизию хэш-функции с n выходами следует ждать не через n попыток, а через примерно √n — квадратный корень, тот же механизм пар; отсюда требования к длине хэшей. Судебная статистика и форензика опираются на неё, оценивая «поразительные совпадения» ДНК-профилей и примет в больших базах: при достаточном числе сравнений совпадения обязаны появляться.
Почему это не парадокс
Ни в условии, ни в счёте дефекта нет — конфликтуют два вопроса, склеенные ожиданием. Интуиция отвечает на вопрос «совпадёт ли кто-нибудь со мной»: у меня двадцать два потенциальных близнеца, шанс мал — около 6%, и эта оценка верна. Но задан другой вопрос: «совпадёт ли какая-нибудь пара» — а пар среди двадцати трёх человек не двадцать две, а двести пятьдесят три. Людей — линейно, пар — квадратично; ожидание меряет линейкой то, что растёт квадратом. Дефект — в ожидании, третьем месте канона: задача честна, удивление — свойство читателя.
Доменный анализ
Домен 1 — Распознавание: что дано? Компоненты: 23 человека, 365 дней, вопрос о совпадении «у каких-то двоих». Сигнал: квантор вопроса — «какая-нибудь пара», не «кто-то со мной».
Домен 2 — Прояснение: что означают термины? Здесь дефект ожидания. «Совпадение» — событие на парах, не на людях; носитель вероятности — 253 пары, и каждая — шанс. Интуиция молча подменяет носителя: считает людей (23) или сравнения с собой (22). Сигнал: подмена носителя события.
Домен 3 — Выбор рамки: линейная рамка («мало людей — мало шансов») не по объекту: число пар растёт как n²/2 — квадратичная рамка.
Домен 4 — Сравнение: честный масштаб: 23 человека — 253 пары; 57 человек — 1596 пар; сравнивать с 365 надо пары, не людей.
Домен 5 — Вывод: счёт элементарен и безупречен: P(без совпадений) = 365/365 · 364/365 · … · 343/365 ≈ 0,493. Проблема не в задаче.
Домен 6 — Рефлексия: удивление при верном счёте — сигнал перепроверить, на чём живёт событие; пари на совпадение в аудитории выигрывается эмпирически — симуляция и здесь аргумент.
Диагноз
Категория: не-парадокс — контринтуитивный результат. Место дефекта: ожидание — подмена вопроса («со мной» вместо «какая-нибудь пара») и носителя события (люди вместо пар). Нарушенных законов нет. На триаде E/R/R: интуиция считает Элементы (людей), а событие живёт на Правиле-отношении (парах) — носитель вероятности не совпадает с носителем взгляда.
Разрешение
Точный счёт — через дополнение: вероятность отсутствия совпадений — произведение 365/365 · 364/365 · … · 343/365 ≈ 0,493; значит, совпадение — 0,507. Опора для интуиции — считать шансы промаха: каждый новый человек должен разминуться со всеми предыдущими, и множители убывают. Быстрое правило: коллизия становится вероятной около √365 ≈ 19 человек — корень, а не доля от 365; в общем виде порог ~√n, и это ровно та константа, что правит криптографическими атаками. Контроль, восстанавливающий честь интуиции: чтобы с вероятностью 1/2 кто-то совпал именно с вами, нужно 253 человека — здесь линейное чувство право, потому что вопрос действительно линеен. Обе интуиции верны — каждая о своём вопросе; «парадокс» — их склейка.
Урок
О носителе события. Прежде чем оценивать шанс, спроси, на чём живёт событие: на элементах или на парах — линейное чувство на квадратичном носителе ошибается в разы. О двух вопросах. «Со мной» и «между кем-нибудь» — разные вопросы с разными порядками ответов; половина «поразительных совпадений» — ответ на второй, прочитанный как ответ на первый. О больших выборках. При достаточном числе сравнений совпадения обязательны: чудо — не событие, чудо — если бы его не было.
Родня по механизму
Монти Холл (сосед по категории: информационная структура против картинки), Ложноположительные (слепота к базовой частоте — третья сестра), закон истинно больших чисел (при большой выборке редкое случается регулярно), атака дней рождения в криптографии (тот же корень из n на службе).
Машинная проверка. В реестре 46 — N2_Birthday: категория NonParadox; статус категории формализован (nonparadox_46_not_paradox, nonparadox_count_8 — ParadoxDissolution.v). Именного счёта 0,507 в базе нет — кандидат формализации для ветки «Вероятность» (произведение над Q — прямая задача для процессной арифметики; см. Формализация).
Категория: Не-парадоксы · Каталог: Каталог парадоксов · Концепт: Парадокс