В человеческой логике и обыденном мышлении транзитивность считается незыблемой истиной: если \(A\) превосходит \(B\), а \(B\) превосходит \(C\), то по законам здравого смысла \(A\) непременно должно превосходить \(C\). Это свойство определяет порядок на вещественной прямой (\(\mathbb{R}, <\)), физические измерения и экономические оценки.
Формально отношение \(\succ\) на множестве \(S\) называется транзитивным, если:
\[ \forall x, y, z \in S, \quad (x \succ y) \land (y \succ z) \implies (x \succ z) \]Однако при переходе к случайным величинам и многомерным распределениям эта интуиция терпит крах.
Всем известна игра «Камень, ножницы, бумага», где нет абсолютного победителя. Часто считается, что этот феномен возможен лишь в качественных играх с условными правилами. Но математики доказали: тщательно подобрав числа на гранях обычных игральных костей, можно создать нетранзитивные игральные кости (Nontransitive Dice). В них кость \(A\) побеждает \(B\), \(B\) побеждает \(C\), \(C\) побеждает \(D\), а \(D\) побеждает \(A\) — каждый раз с вероятностью в две трети (\(66.7\%\))!
Более того, если бросать по две одинаковые кости и сравнивать сумму очков (кости Грайма), порядок доминирования меняется на строго противоположный!
1. Ловушка математического ожидания
Наша интуиция ошибочно ориентируется на математическое ожидание \(E[X]\), которое строго линейно:
\[ E[X - Y] = E[X] - E[Y] \]Сравнение по математическому ожиданию всегда транзитивно. Но в парном состязании исход определяет индикаторная функция \(\mathbf{1}_{\{x > y\}}\):
\[ P(X > Y) = \iint_{\mathbb{R}^2} \mathbf{1}_{\{x > y\}} \, dF_X(x) \, dF_Y(y) \]Она крайне нелинейна: победа с отрывом в \(+3\) очка ценится так же, как победа с отрывом в \(+1\) очко — ровно в одну победу. Это нелинейное усечение формирует стохастический вихрь, порождающий замкнутые циклы.
2. Кости Эфрона: Каноническая система четырех костей
Стэнфордский статистик Брэдли Эфрон предложил систему четырех костей:
| Кость | Числа на гранях | Описание | Ожидание \(E[\cdot]\) |
|---|---|---|---|
| Кость \(A\) | \(4, 4, 4, 4, 0, 0\) | Четыре 4, две 0 | \(E[A] = 16/6 \approx 2.667\) |
| Кость \(B\) | \(3, 3, 3, 3, 3, 3\) | Шесть 3 | \(E[B] = 18/6 = 3.000\) |
| Кость \(C\) | \(6, 6, 2, 2, 2, 2\) | Две 6, четыре 2 | \(E[C] = 20/6 \approx 3.333\) |
| Кость \(D\) | \(5, 5, 5, 1, 1, 1\) | Три 5, три 1 | \(E[D] = 18/6 = 3.000\) |
При расчете всех 36 исходов для каждой пары:
flowchart LR
A["Кость A<br/>[4,4,4,4,0,0]"] -->|"P = 2/3 (66.7%)"| B["Кость B<br/>[3,3,3,3,3,3]"]
B -->|"P = 2/3 (66.7%)"| C["Кость C<br/>[6,6,2,2,2,2]"]
C -->|"P = 2/3 (66.7%)"| D["Кость D<br/>[5,5,5,1,1,1]"]
D -->|"P = 2/3 (66.7%)"| A
- \(P(A > B) = 4/6 = 2/3 \approx 66.7\%\)
- \(P(B > C) = 4/6 = 2/3 \approx 66.7\%\)
- \(P(C > D) = 24/36 = 2/3 \approx 66.7\%\)
- \(P(D > A) = 24/36 = 2/3 \approx 66.7\%\)
В пари, где соперник выбирает кость первым, второй игрок обладает гарантированным математическим преимуществом в \(66.7\%\).
3. Кости Грайма и парадокс двух костей
\[ R \prec B \prec O \prec Y \prec M \prec R \]4. Парадокс Кондорсе и эволюция видов
4.1 Парадокс Кондорсе и теорема Эрроу
Нетранзитивные кости математически изоморфны парадоксу Кондорсе в теории общественного выбора: индивидуальные транзитивные предпочтения избирателей при мажоритарном голосовании могут сформировать нетранзитивный общественный выбор. Теорема Эрроу подтверждает неустранимость этой коллизии.
4.2 Пятнистая глухая ящерица (Uta stansburiana)
В природе самцы этого вида ящериц делятся на три стратегии: агрессивные оранжевые побеждают синих, синие защитники побеждают желтых маскировщиков, а желтые прокрадываются к самкам оранжевых. Этот природный цикл «камень-ножницы-бумага» веками сохраняет генетическое разнообразие.
5. Заключение
Нетранзитивные кости учат нас тому, что в стохастическом и многомерном мире не существует абсолютного первого места: преимущество всегда контекстуально и относительно.