Wer schon einmal die kleine runde Blechdose des weltweit erfolgreichen Partyspiels Dobble (in Nordamerika Spot It!) geöffnet hat, kennt das verblüffend einfache Spielprinzip: Auf jeder runden Karte befinden sich acht verschiedene Symbole. Deckt man zwei beliebige Karten auf, gilt es so schnell wie möglich das gemeinsame Symbol zu entdecken.

Jeder Spieler bemerkt sofort eine fast magische mathematische Eigenschaft: Egal welche zwei Karten man aus dem gesamten Stapel zieht – sie haben immer ein gemeinsames Symbol, und zwar immer genau eines! Es gibt niemals ein Kartenpaar ohne Übereinstimmung und niemals eines mit zwei gemeinsamen Symbolen.

In dieser unscheinbaren Spielzeugdose verbirgt sich ein Juwel der modernen reinen Mathematik: das Zusammenspiel von endlicher projektiver Geometrie (Finite Projective Geometry), Galois-Feldern ($\mathbb{F}_q$) und kombinatorischer Designtheorie. Und sobald man fragt: „Was passiert, wenn wir $k$ Symbole statt $8$ auf jede Karte drucken?“, landet man mitten in Leonhard Eulers Problem der 36 Offiziere (1782), dem Satz von Bruck-Ryser-Chowla (1949), einer 2.000-stündigen Berechnung auf einem Cray-1-Supercomputer (1989) für $k = 11$ Symbole und einem der größten ungelösten Probleme der Diskreten Mathematik: Existiert eine endliche projektive Ebene der Ordnung $12$ ($13$ Symbole pro Karte, $157$ Karten)?

Kapitel 1: Drei mathematische Rätsel in der Dobble-Dose

In einer handelsüblichen Dobble-Dose befinden sich 55 Karten mit jeweils 8 Symbolen. Versucht man per Hand und Ausprobieren ein solches Deck aus insgesamt $57$ verschiedenen Symbolen zu konstruieren, scheitert man bereits nach wenigen Karten an der gigantischen Anzahl möglicher 8er-Kombinationen:

Unter über 1,65 Milliarden möglichen Karten per Brute-Force-Suche über fünfzig paarweise kompatible Karten zu finden, ist aussichtslos. Daraus ergeben sich drei Fragen:

1. Maximale Deckgröße und die fehlenden 2 Karten: Bei $k = 8$ Symbolen pro Karte liegt das theoretische Maximum bei 57 Karten (und 57 Symbolen). Warum enthält die Verkaufsversion nur 55 Karten?
2. Der algebraische Bauplan: Wie lassen sich alle 57 Karten ohne jedes Ausprobieren direkt per Formel erzeugen?
3. Die verbotenen Decks: Warum lassen sich perfekte Spiele mit $k = 3$ (7 Karten), $k = 4$ (13 Karten), $k = 5$ (21 Karten), $k = 6$ (31 Karten) und $k = 8$ (57 Karten) bauen, während ein vollständiges Spiel mit $k = 7$ Symbolen (43 Karten) oder $k = 11$ Symbolen (111 Karten) mathematisch unmöglich ist?

Kapitel 2: Von der euklidischen zur projektiven Geometrie — Fernpunkte und Dualität

In der gewöhnlichen euklidischen Ebene ($\mathbb{R}^2$) bestimmen zwei verschiedene Punkte genau eine Gerade, aber zwei verschiedene Geraden schneiden sich in genau einem Punkt – außer wenn sie parallel sind. Im 17. und 19. Jahrhundert beseitigten Girard Desargues (1639) und Jean-Victor Poncelet (1822) diese Ausnahme durch die projektive Vervollständigung:

1. Jede Schar paralleler Geraden mit gleicher Steigung $m$ erhält einen gemeinsamen Fernpunkt (Punkt im Unendlichen) $P_\infty(m)$.
2. Alle Fernpunkte $\{P_\infty(m)\}$ liegen gemeinsam auf einer einzigen neuen Gerade, der Ferngerade $\ell_\infty$ (dem Horizont).

Damit gilt für eine projektive Ebene $(\mathcal{P}, \mathcal{L}, \mathcal{I})$ aus Punkten $\mathcal{P}$ und Geraden $\mathcal{L}$ das aus drei Axiomen bestehende System:

• Axiom P1: Durch je zwei verschiedene Punkte $P \neq Q$ geht genau eine Gerade $\ell$.
• Axiom P2: Je zwei verschiedene Geraden $\ell_1 \neq \ell_2$ schneiden sich in genau einem Punkt $P$.
• Axiom P3 (Nicht-Entartung): Es existieren mindestens vier Punkte in allgemeiner Lage, von denen keine drei auf derselben Gerade liegen.

Vertauscht man die Begriffe „Punkt“ und „Gerade“, gehen P1 und P2 ineinander über (Dualitätsprinzip). Übersetzt auf Dobble bedeutet dies:

  flowchart TD
    subgraph Affine["1. Klassische Euklidische / Affine Ebene"]
        A1["Je 2 Punkte bestimmen 1 eindeutige Gerade"]
        A2["Parallele Geraden schneiden sich nie (Ausnahme)"]
    end
    subgraph Completion["2. Projektive Erweiterung (Desargues 1639 & Poncelet 1822)"]
        B1["Füge für jede Parallelschar der Steigung m einen Fernpunkt P_inf(m) hinzu"]
        B2["Verbinde alle Fernpunkte zu einer Ferngerade l_inf"]
    end
    subgraph Projective["3. Axiome der Projektiven Ebene (P, L, I)"]
        C1["Axiom P1: Je 2 Punkte liegen auf genau 1 Gerade"]
        C2["Axiom P2: Je 2 Geraden schneiden sich in genau 1 Punkt"]
        C3["Axiom P3: Es gibt 4 Punkte, von denen keine 3 kollinear sind"]
    end
    subgraph Dobble["4. Übersetzung auf das Kartenspiel Dobble"]
        D1["Punkt P  <--->  Symbol"]
        D2["Gerade l  <--->  Karte (Symbolmenge)"]
        D3["Jedes Kartenpaar schneidet sich in genau einem gemeinsamen Symbol!"]
    end
    Affine --> Completion --> Projective --> Dobble

Kapitel 3: Der Abzählsatz für die Ordnung $n$ und die Fano-Ebene $PG(2, 2)$

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

Beweisidee: Fixiert man einen Referenzpunkt $P_0$, so liegt jeder andere Punkt $Q \neq P_0$ wegen Axiom P1 und P2 auf genau einer der $n + 1$ Geraden durch $P_0$. Da jede dieser Geraden neben $P_0$ noch $n$ weitere Punkte enthält, folgt $|\mathcal{P}| = 1 + (n + 1)n = n^2 + n + 1$. Für Dobble ($k = 8 \implies n = 7$) ergibt sich $N = 7^2 + 7 + 1 = 57$ Karten und 57 Symbole.

Die kleinste endliche Geometrie: Die Fano-Ebene $PG(2, 2)$ ($n = 2$)

Für $n = 2$ ($k = 3$ Symbole pro Karte, $N = 7$ Karten) entdeckte Gino Fano (1892) die Fano-Ebene $PG(2, 2)$. Ihre 7 Punkte entsprechen den 7 von Null verschiedenen 3-Bit-Vektoren $(x,y,z) \in \mathbb{F}_2^3 \setminus \{\mathbf{0}\}$ (wobei drei Punkte genau dann eine Gerade bilden, wenn ihre bitweise XOR-Summe $u \oplus v \oplus w = \mathbf{0}$ ergibt) oder zyklischen Verschiebungen der perfekten Differenzmenge $\{1, 2, 4\} \pmod 7$:

Kapitel 4: Homogene Koordinaten über Galois-Feldern $\mathbb{F}_q$ und das 57-Karten-Dobble ($n = 7$)

Ein endlicher Körper (Galois-Feld) $\mathbb{F}_q$ mit $q$ Elementen existiert genau dann, wenn $q = p^r$ eine Primzahlpotenz ist ($p$ prim, $r \ge 1$). Im dreidimensionalen Vektorraum $\mathbb{F}_q^3 \setminus \{\mathbf{0}\}$ bilden die Äquivalenzklassen $[x : y : z] \sim [\lambda x : \lambda y : \lambda z]$ ($\lambda \in \mathbb{F}_q^\times$) genau $\frac{q^3-1}{q-1} = q^2 + q + 1$ projektive Punkte, und lineare Gleichungen $ax + by + cz = 0$ definieren die $q^2 + q + 1$ Geraden der Desarguesschen Ebene $PG(2, q)$.

Für Dobble ($q = 7$, Rechnen modulo $7$ in $\mathbb{F}_7 = \{0,\dots,6\}$) zerfallen die 57 Symbole in 49 Gitterpunkte $P_{x,y} = [x : y : 1]$ und 8 Fernpunkte $I_m = [1 : m : 0]$ sowie $I_\infty = [0 : 1 : 0]$. Die 57 Karten bestehen aus:

1. 49 Geradenkarten $L_{m,b}$: die 7 Punkte $\{(x, mx+b \bmod 7)\}$ plus der Fernpunkt $I_m$.
2. 7 vertikalen Karten $V_c$: die 7 Punkte $\{(c, y)\}$ plus der vertikale Fernpunkt $I_\infty$.
3. 1 Horizontkarte $L_\infty$: alle 8 Fernpunkte $\{I_0, \dots, I_6, I_\infty\}$.

Alternativ liefert Singers Satz (1938) die zyklische Differenzmenge $D = \{0, 1, 3, 13, 32, 36, 43, 52\} \pmod{57}$, deren 57 Verschiebungen $D + i \pmod{57}$ sofort alle 57 Karten erzeugen! Dass in der Verkaufsdose 2 Karten fehlen (55 statt 57), hat rein produktionstechnische Gründe ($55 = 5 \times 11$ passt optimal auf Stanzbögen und lässt sich gut auf Spieler aufteilen), während Axiom P2 für jede Teilmenge der 57 Karten erhalten bleibt.

Kapitel 5: Eulers 36 Offiziere, der Satz von Bruck-Ryser-Chowla und die Grenzen bei $n = 10$ und $n = 12$

Eine projektive Ebene der Ordnung $n$ ist zugleich ein symmetrischer $(n^2+n+1, n+1, 1)$-Blockplan (BIBD mit Fishers Ungleichung $b \ge v$) und nach dem Äquivalenzsatz von R. C. Bose (1938) genau dann existent, wenn es $n - 1$ paarweise orthogonale lateinische Quadrate (MOLS) der Ordnung $n$ gibt.

• Ordnung $n = 6$ ($7$ Symbole, $43$ Karten): Erfordert $5$ MOLS der Größe $6 \times 6$. Doch schon Eulers Problem der 36 Offiziere (1782) (die Suche nach nur $2$ orthogonalen lateinischen $6 \times 6$-Quadraten) wurde 1900 von Gaston Tarry durch vollständige Fallunterscheidung negativ entschieden – $n = 6$ ist unmöglich!
• Satz von Bruck-Ryser-Chowla (1949): Existiert eine projektive Ebene der Ordnung $n$ und gilt $n \equiv 1 \text{ oder } 2 \pmod 4$, so muss $n$ als Summe zweier Quadratzahlen darstellbar sein: $$n = a^2 + b^2 \quad (a, b \in \mathbb{Z})$$ Dies schließt $n = 6, 14, 21, 22, 30, \dots$ sofort aus!
• Ordnung $n = 10$ ($11$ Symbole, $111$ Karten) und der Cray-1-Beweis (1989): Wegen $10 = 1^2 + 3^2$ wird $n = 10$ nicht durch Bruck-Ryser-Chowla ausgeschlossen. Erst 1989 bewiesen Clement W. H. Lam, Larry Thiel und Stanley Swiercz über den binären Fehlerkorrekturcode der $111 \times 111$-Inzidenzmatrix und nach 2.000 Rechenstunden auf einem Cray-1A-Supercomputer, dass keine projektive Ebene der Ordnung $10$ existiert.
• Ordnung $n = 12$ ($13$ Symbole, $157$ Karten): Da $12 \equiv 0 \pmod 4$ gilt, greift Bruck-Ryser-Chowla nicht, und der Suchraum sprengt jeden Supercomputer. Ob eine Ebene der Ordnung $12$ existiert (Primzahlpotenz-Vermutung / PPC), ist bis heute eines der größten ungelösten Probleme der Mathematik!

  flowchart TD
    Start["Ziel: Existiert ein optimales Dobble-Deck der Ordnung n?<br/>(k = n + 1 Symbole pro Karte, N = n^2 + n + 1 Karten & Symbole)"]
    CheckPP{"Ist n eine Primzahlpotenz?<br/>n = p^r (p prim, r >= 1)"}
    ConstructGF["[EXISTIERT — JA]<br/>Konstruiere PG(2, q) über dem Galois-Feld F_q!<br/>Beispiele: n=2 (7 Karten), n=3 (13), n=4 (21), n=5 (31),<br/>n=7 (Dobble: 57 Karten), n=8 (73), n=9 (91)"]
    CheckBRC{"Gilt n ≡ 1 oder 2 (mod 4)?"}
    CheckSumSq{"Ist n Summe zweier Quadratzahlen?<br/>n = a^2 + b^2"}
    RejectBRC["[EXISTIERT NICHT — NEIN]<br/>Ausgeschlossen durch den Satz von Bruck-Ryser-Chowla (1949)!<br/>Beispiele: n=6 (7 Symbole, 43 Karten / Tarry 1900),<br/>n=14 (15 Symbole, 211 Karten), n=21, 22, 30..."]
    Case10{"Ist n = 10?<br/>(10 = 1^2 + 3^2)"}
    Reject10["[EXISTIERT NICHT — NEIN]<br/>Widerlegt durch Codierungstheorie + 2.000 Stunden auf Cray-1A!<br/>(Lam, Thiel & Swiercz, 1989: 11 Symbole, 111 Karten unmöglich)"]
    OpenProblem["[UNGELÖSTES OFFENES PROBLEM]<br/>Frontlinie der Primzahlpotenz-Vermutung (PPC)!<br/>Kleinste offene Ordnung: n = 12 (13 Symbole, 157 Karten),<br/>gefolgt von n = 15, 18, 20, 24, 26..."]

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