Если вы когда-нибудь открывали круглую жестяную коробочку всемирно известной настольной игры «Доббль» (Dobble / Spot It!), то знаете ее предельно простое правило: на каждой круглой карточке изображено восемь различных символов. Когда на стол выкладываются любые две карты, игроки соревнуются, кто быстрее найдет и назовет совпадающий рисунок.

Каждого, кто играет в «Доббль», поражает почти магическое математическое свойство: какие бы две карты из всей колоды вы ни взяли, у них всегда есть общий символ — и притом ровно один!

Внутри этой маленькой коробки скрыта одна из жемчужин современной чистой математики: пересечение конечной проективной геометрии, конечных полей Галуа ($\mathbb{F}_q$) и теории комбинаторных блок-схем. Более того, стоит задать естественный вопрос: «А что если разместить на каждой карте $k$ символов вместо $8$?» — как мы мгновенно оказываемся перед задачей Леонарда Эйлера о 36 офицерах (1782), теоремой Брука — Райзера — Чоулы (1949), грандиозным 2000-часовым расчетом на суперкомпьютере Cray-1 (1989) для $k = 11$ символов и одной из главных нерешенных проблем дискретной математики XXI века: существует ли конечная проективная плоскость порядка $12$ ($13$ символов на карте, $157$ карт)?

Глава 1: Три математические загадки внутри коробки Dobble

В стандартной коммерческой коробке Dobble лежат 55 карт по 8 символов на каждой (всего используется $57$ различных символов). Попытка составить такую колоду вручную методом проб и ошибок немедленно разбивается о комбинаторный взрыв числа возможных карт:

Перебрать вручную 1,65 миллиарда вариантов невозможно. Это ставит перед нами три загадки:

1. Максимальный размер колоды и 2 пропавшие карты: При $k = 8$ символах на карте теоретический максимум составляет ровно 57 карт (и 57 символов). Почему же в магазинной коробке только 55 карт?
2. Алгебраический чертеж: Как выписать все 57 карт без единого подбора с помощью алгебры?
3. Запрещенные колоды: Почему можно создать идеальный аналог Dobble с $k = 3$ (7 карт), $k = 4$ (13 карт), $k = 5$ (21 карта), $k = 6$ (31 карта) или $k = 8$ (57 карт), но ни один гений или суперкомпьютер во Вселенной никогда не сможет построить полную колоду с $k = 7$ символами (43 карты) или $k = 11$ символами (111 карт)?

Глава 2: От евклидовой геометрии к проективной — бесконечно удаленные точки и двойственность

На обычной евклидовой плоскости ($\mathbb{R}^2$) через две различные точки проходит единственная прямая, а две различные прямые пересекаются в единственной точке — за исключением параллельных прямых. В XVII и XIX веках Жерар Дезарг (1639) и Жан-Виктор Понселе (1822) устранили это исключение, математизировав точку схода ренессансной перспективы:

1. Каждому пучку параллельных прямых с наклоном $m$ добавляется бесконечно удаленная точка $P_\infty(m)$, через которую проходят все прямые с наклоном $m$.
2. Все бесконечно удаленные точки $\{P_\infty(m)\}$ объединяются на одной новой прямой — бесконечно удаленной прямой $\ell_\infty$ (линии горизонта).

Так возникает проективная плоскость $(\mathcal{P}, \mathcal{L}, \mathcal{I})$, задаваемая тремя аксиомами:

• Аксиома P1: Через любые две различные точки $P \neq Q$ проходит единственная прямая $\ell$.
• Аксиома P2: Любые две различные прямые $\ell_1 \neq \ell_2$ пересекаются в единственной точке $P$.
• Аксиома P3 (Невырожденность): Существуют по крайней мере четыре точки общего положения (никакие три из которых не лежат на одной прямой).

Замена слов «Точка» и «Прямая» оставляет систему аксиом неизменной (Принцип двойственности), что дает точный словарь перевода для игры Dobble:

  flowchart TD
    subgraph Affine["1. Классическая евклидова / аффинная плоскость"]
        A1["Любые 2 точки определяют 1 единственную прямую"]
        A2["Параллельные прямые не пересекаются (Исключение)"]
    end
    subgraph Completion["2. Проективное пополнение (Дезарг 1639 и Понселе 1822)"]
        B1["Добавить бесконечно удаленную точку P_inf(m) для каждого наклона m"]
        B2["Объединить все бесконечно удаленные точки в прямую l_inf"]
    end
    subgraph Projective["3. Аксиомы проективной плоскости (P, L, I)"]
        C1["Аксиома P1: Любые 2 точки лежат на 1 единственной прямой"]
        C2["Аксиома P2: Любые 2 прямые пересекаются в 1 единственной точке"]
        C3["Аксиома P3: Существуют 4 точки, никакие 3 не коллинеарны"]
    end
    subgraph Dobble["4. Двойственный перевод в игру Dobble (Spot It!)"]
        D1["Точка P  <--->  Символ"]
        D2["Прямая l  <--->  Карта (множество символов)"]
        D3["Любая пара карт пересекается в единственном общем символе!"]
    end
    Affine --> Completion --> Projective --> Dobble

Глава 3: Теорема о числе элементов порядка $n$ и плоскость Фано $PG(2, 2)$

$$|\mathcal{P}| = |\mathcal{L}| = N = n^2 + n + 1$$

Доказательство: Выберем базовую точку $P_0$. Любая другая точка $Q \neq P_0$ по аксиомам P1 и P2 лежит ровно на одной из $n + 1$ прямых, проходящих через $P_0$. На каждой такой прямой кроме $P_0$ лежит еще $n$ точек, откуда $|\mathcal{P}| = 1 + (n + 1)n = n^2 + n + 1$. Для Dobble ($k = 8 \implies n = 7$) получаем $N = 7^2 + 7 + 1 = 57$ карт и 57 символов.

Самая маленькая конечная геометрия: плоскость Фано $PG(2, 2)$ ($n = 2$)

При $n = 2$ ($k = 3$ символа на карте, $N = 7$ карт) итальянский геометр Джино Фано (1892) открыл плоскость Фано $PG(2, 2)$. Ее 7 точек соответствуют 7 ненулевым двоичным векторам из $\mathbb{F}_2^3 \setminus \{\mathbf{0}\}$ (три точки образуют прямую тогда и только тогда, когда их побитовая сумма XOR равна $u \oplus v \oplus w = \mathbf{0}$) или циклическим сдвигам совершенного разностного множества $\{1, 2, 4\} \pmod 7$:

Глава 4: Однородные координаты над полями Галуа $\mathbb{F}_q$ и устройство 57 карт Dobble ($n = 7$)

Конечное поле (поле Галуа) $\mathbb{F}_q$ из $q$ элементов существует тогда и только тогда, когда $q = p^r$ является степенью простого числа $p$. В трехмерном пространстве $\mathbb{F}_q^3 \setminus \{\mathbf{0}\}$ классы пропорциональности $[x : y : z] \sim [\lambda x : \lambda y : \lambda z]$ ($\lambda \in \mathbb{F}_q^\times$) образуют $\frac{q^3-1}{q-1} = q^2 + q + 1$ проективных точек, а линейные уравнения $ax + by + cz = 0$ задают $q^2 + q + 1$ прямых дезарговой плоскости $PG(2, q)$.

Для Dobble ($q = 7$, вычеты по модулю $7$ в $\mathbb{F}_7 = \{0,\dots,6\}$) 57 символов делятся на 49 аффинных точек решетки $P_{x,y} = [x : y : 1]$ и 8 бесконечно удаленных точек $I_m = [1 : m : 0]$ и $I_\infty = [0 : 1 : 0]$. Все 57 карт распадаются на три семейства:

1. 49 карт наклонных и горизонтальных прямых $L_{m,b}$: 7 точек $\{(x, mx+b \bmod 7)\}$ плюс точка $I_m$.
2. 7 карт вертикальных прямых $V_c$: 7 точек $\{(c, y)\}$ плюс вертикальная точка $I_\infty$.
3. 1 карта линии горизонта $L_\infty$: все 8 бесконечно удаленных точек $\{I_0, \dots, I_6, I_\infty\}$.

Либо по теореме Зингера (1938) все 57 карт получаются циклическим сдвигом $D + i \pmod{57}$ разностного множества $D = \{0, 1, 3, 13, 32, 36, 43, 52\} \pmod{57}$. В коммерческой коробке оставлено 55 карт вместо 57 ради удобства типографской вырубки ($55 = 5 \times 11$) и деления карт между игроками, при этом аксиома P2 для оставшихся карт сохраняется.

Глава 5: 36 офицеров Эйлера, теорема Брука — Райзера — Чоулы и рубежи $n = 10$ и $n = 12$

Проективная плоскость порядка $n$ является симметричной $(n^2+n+1, n+1, 1)$-блок-схемой (BIBD с равенством $b = v$ в неравенстве Фишера) и, по теореме эквивалентности Р. Ч. Бозе (1938), существует тогда и только тогда, когда существует $n - 1$ попарно ортогональных латинских квадратов (MOLS) порядка $n$.

• Порядок $n = 6$ ($7$ символов, $43$ карты): Требует $5$ MOLS порядка $6$. Но еще в 1900 году французский математик Гастон Тарри полным перебором доказал, что задача Эйлера о 36 офицерах (1782) не имеет решения: не существует даже $2$ ортогональных латинских квадратов порядка $6$, поэтому $n = 6$ невозможен!
• Теорема Брука — Райзера — Чоулы (1949): Если конечная проективная плоскость порядка $n$ существует и $n \equiv 1 \text{ или } 2 \pmod 4$, то $n$ обязано представляться в виде суммы двух квадратов целых чисел: $$n = a^2 + b^2 \quad (a, b \in \mathbb{Z})$$ Эта теорема мгновенно запрещает $n = 6, 14, 21, 22, 30, \dots$!
• Порядок $n = 10$ ($11$ символов, $111$ карт) и суперкомпьютер Cray-1 (1989): Так как $10 = 1^2 + 3^2$, теорема Брука — Райзера — Чоулы не исключает $n = 10$. Лишь в 1989 году Клемент Лам (Clement W. H. Lam), Ларри Тиль и Стэнли Свирч с помощью теории кодов, исправляющих ошибки, и 2000 часов вычислений на суперкомпьютере Cray-1A доказали, что проективной плоскости порядка $10$ не существует.
• Порядок $n = 12$ ($13$ символов, $157$ карт): Поскольку $12 \equiv 0 \pmod 4$, теорема Брука — Райзера — Чоулы неприменима, а пространство перебора недоступно даже современным суперкомпьютерам. Вопрос о существовании плоскости порядка $12$ (гипотеза о степени простого числа / PPC) остается одной из величайших открытых проблем математики!

  flowchart TD
    Start["Цель: Можно ли построить оптимальную колоду Dobble порядка n?<br/>(k = n + 1 символов на карте, N = n^2 + n + 1 карт и символов)"]
    CheckPP{"Является ли порядок n степенью простого числа?<br/>n = p^r (p простое, r >= 1)"}
    ConstructGF["[СУЩЕСТВУЕТ — ДА]<br/>Строим PG(2, q) в однородных координатах над полем Галуа F_q!<br/>Примеры: n=2 (7 карт), n=3 (13), n=4 (21), n=5 (31),<br/>n=7 (Dobble: 57 карт), n=8 (73), n=9 (91)"]
    CheckBRC{"Выполнено ли n ≡ 1 или 2 (mod 4)?"}
    CheckSumSq{"Представимо ли n как сумма двух квадратов?<br/>n = a^2 + b^2"}
    RejectBRC["[НЕ СУЩЕСТВУЕТ — НЕТ]<br/>Запрещено теоремой Брука — Райзера — Чоулы (1949)!<br/>Примеры: n=6 (7 символов, 43 карты / Тарри 1900),<br/>n=14 (15 символов, 211 карт), n=21, 22, 30..."]
    Case10{"Равно ли n = 10?<br/>(10 = 1^2 + 3^2)"}
    Reject10["[НЕ СУЩЕСТВУЕТ — НЕТ]<br/>Опровергнуто теорией кодирования + 2000 ч на Cray-1A!<br/>(Lam, Thiel & Swiercz, 1989: 11 символов, 111 карт невозможно)"]
    OpenProblem["[НЕРЕШЕННАЯ ОТКРЫТАЯ ПРОБЛЕМА]<br/>Передний край гипотезы о степени простого числа (PPC)!<br/>Наименьший открытый порядок: n = 12 (13 символов, 157 карт),<br/>далее n = 15, 18, 20, 24, 26..."]

    Start --> CheckPP
    CheckPP -- "Да" --> ConstructGF
    CheckPP -- "Нет (n = 6, 10, 12, 14...)" --> CheckBRC
    CheckBRC -- "Да" --> CheckSumSq
    CheckSumSq -- "Нет" --> RejectBRC
    CheckSumSq -- "Да (n = 10, 18, 26...)" --> Case10
    Case10 -- "Да" --> Reject10
    Case10 -- "Нет" --> OpenProblem
    CheckBRC -- "Нет (n ≡ 0, 3 mod 4)" --> OpenProblem