Jika Anda pernah membuka kaleng bundar permainan pesta terlaris di dunia Dobble (dijual di Amerika Utara dengan nama Spot It!), Anda tentu tahu aturannya yang tampak sangat sederhana: pada setiap kartu bundar tercetak delapan simbol berbeda. Saat dua kartu dibuka di atas meja, para pemain berlomba menemukan dan meneriakkan nama simbol yang sama terlebih dahulu.

Siapa pun yang memainkannya selama beberapa menit akan terpukau oleh sifat matematika yang nyaris ajaib: tidak peduli dua kartu mana pun yang Anda ambil dari seluruh tumpukan, keduanya selalu memiliki satu simbol yang sama — dan tidak pernah lebih dari satu!

Di balik kaleng mainan sederhana ini tersimpan salah satu mahakarya matematika murni modern: perpaduan antara Geometri Proyektif Hingga (Finite Projective Geometry), Lapangan Hingga Galois ($\mathbb{F}_q$), dan Teori Desain Kombinatorial. Lebih menakjubkan lagi, begitu kita bertanya «Apa yang terjadi jika kita meletakkan $k$ simbol pada setiap kartu, bukan $8$?», kita langsung dibawa menuju Masalah 36 Perwira Leonhard Euler (1782), Teorema Bruck-Ryser-Chowla (1949), perhitungan 2.000 jam pada superkomputer Cray-1 (1989) untuk $k = 11$ simbol, serta salah satu masalah belum terpecahkan terbesar dalam matematika diskrit: Apakah bidang proyektif hingga berorde $12$ ($13$ simbol per kartu, $157$ kartu) ada?

Bab 1: Tiga Misteri Matematika di Dalam Kaleng Dobble

Kaleng komersial Dobble berisi 55 kartu dengan masing-masing 8 simbol dari total $57$ jenis simbol. Mencoba menyusun dek seperti itu secara manual dengan coba-coba (trial and error) akan langsung terbentur ledakan kombinatorial jumlah kandidat kartu:

Mencari lebih dari lima puluh kartu yang saling kompatibel di antara 1,65 miliar kemungkinan secara brute force adalah mustahil. Hal ini memunculkan tiga misteri:

1. Ukuran Dek Maksimum dan 2 Kartu yang Hilang: Dengan $k = 8$ simbol per kartu, batas maksimum teoretisnya adalah tepat 57 kartu (dan 57 simbol). Mengapa kaleng komersial hanya berisi 55 kartu?
2. Cetak Biru Aljabar: Bagaimana cara menuliskan seluruh 57 kartu sekaligus tanpa coba-coba menggunakan aljabar?
3. Dek yang Terlarang: Mengapa kita bisa membuat Dobble sempurna dengan $k = 3$ (7 kartu), $k = 4$ (13 kartu), $k = 5$ (21 kartu), $k = 6$ (31 kartu), atau $k = 8$ (57 kartu), tetapi mustahil secara matematis bagi manusia atau superkomputer mana pun untuk membuat dek lengkap dengan $k = 7$ simbol (43 kartu) atau $k = 11$ simbol (111 kartu)?

Bab 2: Dari Geometri Euklides ke Geometri Proyektif — Titik di Tak Hingga dan Dualitas

Pada bidang Euklides klasik ($\mathbb{R}^2$), dua titik berbeda menentukan satu garis lurus unik, tetapi dua garis berbeda berpotongan di satu titik unik kecuali jika kedua garis tersebut sejajar. Pada abad ke-17 dan ke-19, Girard Desargues (1639) dan Jean-Victor Poncelet (1822) menghapus pengecualian garis sejajar ini dengan memformalkan titik hilang (vanishing point) pada lukisan perspektif Renaisans:

1. Setiap berkas garis sejajar bergradien $m$ diberi satu Titik di Tak Hingga $P_\infty(m)$ yang dilalui oleh semua garis bergradien $m$.
2. Seluruh titik di tak hingga $\{P_\infty(m)\}$ dihimpun pada satu garis baru, yaitu Garis di Tak Hingga $\ell_\infty$ (cakrawala).

Lahirlah Bidang Proyektif $(\mathcal{P}, \mathcal{L}, \mathcal{I})$ yang memenuhi tiga aksioma:

• Aksioma P1: Melalui setiap dua titik berbeda $P \neq Q$ terdapat tepat satu garis $\ell$.
• Aksioma P2: Setiap dua garis berbeda $\ell_1 \neq \ell_2$ berpotongan di tepat satu titik $P$.
• Aksioma P3 (Non-Degenerasi): Terdapat sedikitnya empat titik dalam posisi umum (tidak ada tiga titik yang segaris).

Menukar kata «Titik» dan «Garis» mempertahankan seluruh aksioma (Prinsip Dualitas), yang memberikan kamus penerjemahan langsung ke permainan Dobble:

  flowchart TD
    subgraph Affine["1. Bidang Euklides / Afin Klasik"]
        A1["Setiap 2 titik berbeda menentukan 1 garis unik"]
        A2["Garis sejajar tidak pernah berpotongan (Pengecualian)"]
    end
    subgraph Completion["2. Penyelesaian Proyektif (Desargues 1639 & Poncelet 1822)"]
        B1["Tambahkan Titik di Tak Hingga P_inf(m) untuk setiap gradien m"]
        B2["Hubungkan semua Titik di Tak Hingga menjadi Garis di Tak Hingga l_inf"]
    end
    subgraph Projective["3. Aksioma Bidang Proyektif (P, L, I)"]
        C1["Aksioma P1: Setiap 2 titik berbeda terletak pada 1 garis unik"]
        C2["Aksioma P2: Setiap 2 garis berbeda berpotongan di 1 titik unik"]
        C3["Aksioma P3: Terdapat 4 titik tanpa 3 titik yang segaris"]
    end
    subgraph Dobble["4. Translasi Dual ke Permainan Dobble (Spot It!)"]
        D1["Titik P  <--->  Simbol"]
        D2["Garis l  <--->  Kartu (Himpunan Simbol)"]
        D3["Setiap pasang kartu berpotongan pada tepat satu simbol yang sama!"]
    end
    Affine --> Completion --> Projective --> Dobble

Bab 3: Teorema Pencacahan Orde $n$ dan Bidang Fano $PG(2, 2)$

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

Bukti: Pilih satu titik acuan $P_0$. Setiap titik lain $Q \neq P_0$ (menurut P1 dan P2) terletak pada tepat satu dari $n + 1$ garis yang melalui $P_0$. Karena masing-masing garis tersebut memuat $n$ titik selain $P_0$, diperoleh $|\mathcal{P}| = 1 + (n + 1)n = n^2 + n + 1$. Untuk Dobble ($k = 8 \implies n = 7$), jumlah maksimum kartu dan simbol adalah $N = 7^2 + 7 + 1 = 57$.

Geometri Hingga Terkecil: Bidang Fano $PG(2, 2)$ ($n = 2$)

Untuk $n = 2$ ($k = 3$ simbol per kartu, $N = 7$ kartu), matematikawan Italia Gino Fano (1892) menemukan Bidang Fano $PG(2, 2)$. Ketujuh titiknya bersesuaian dengan 7 vektor biner tak-nol di $\mathbb{F}_2^3 \setminus \{\mathbf{0}\}$ (tiga titik membentuk satu garis jika dan hanya jika jumlah XOR-nya $u \oplus v \oplus w = \mathbf{0}$) atau pergeseran siklik dari himpunan selisih sempurna $\{1, 2, 4\} \pmod 7$:

Bab 4: Koordinat Homogen di Atas Lapangan Galois $\mathbb{F}_q$ dan Resep 57 Kartu Dobble ($n = 7$)

Sebuah lapangan hingga (lapangan Galois) $\mathbb{F}_q$ dengan $q$ elemen ada jika dan hanya jika $q = p^r$ adalah perpangkatan bilangan prima $p$. Dalam ruang vektor $\mathbb{F}_q^3 \setminus \{\mathbf{0}\}$, kelas ekuivalensi kelipatan skalar $[x : y : z] \sim [\lambda x : \lambda y : \lambda z]$ ($\lambda \in \mathbb{F}_q^\times$) membentuk $\frac{q^3-1}{q-1} = q^2 + q + 1$ titik proyektif, dan persamaan linier $ax + by + cz = 0$ mendefinisikan $q^2 + q + 1$ garis pada bidang Desarguesian $PG(2, q)$.

Untuk Dobble ($q = 7$, aritmetika modulo $7$ di $\mathbb{F}_7 = \{0,\dots,6\}$), 57 simbol terbagi menjadi 49 titik kisi afin $P_{x,y} = [x : y : 1]$ dan 8 titik di tak hingga $I_m = [1 : m : 0]$ serta $I_\infty = [0 : 1 : 0]$. Ke-57 kartu terdiri atas:

1. 49 kartu garis miring/horizontal $L_{m,b}$: 7 titik $\{(x, mx+b \bmod 7)\}$ ditambah titik $I_m$.
2. 7 kartu garis vertikal $V_c$: 7 titik $\{(c, y)\}$ ditambah titik vertikal $I_\infty$.
3. 1 kartu garis cakrawala $L_\infty$: seluruh 8 titik di tak hingga $\{I_0, \dots, I_6, I_\infty\}$.

Atau melalui Teorema Singer (1938), himpunan selisih siklik $D = \{0, 1, 3, 13, 32, 36, 43, 52\} \pmod{57}$ menghasilkan ke-57 kartu lewat pergeseran $D + i \pmod{57}$. Kaleng komersial hanya menyertakan 55 kartu demi efisiensi tata letak cetak industri ($55 = 5 \times 11$) dan pembagian kartu antar pemain, tanpa melanggar aksioma P2.

Bab 5: 36 Perwira Euler, Bruck-Ryser-Chowla, dan Batas Pengetahuan pada $n = 10$ serta $n = 12$

Bidang proyektif berorde $n$ merupakan desain blok simetris $(n^2+n+1, n+1, 1)$-BIBD (memenuhi kesamaan $b = v$ pada pertidaksamaan Fisher) dan menurut Teorema Ekuivalensi R. C. Bose (1938) ada jika dan hanya jika terdapat $n - 1$ Bujursangkar Latin Saling Ortogonal (MOLS) berorde $n$.

• Orde $n = 6$ ($7$ simbol, $43$ kartu): Membutuhkan $5$ MOLS berorde $6$. Namun pada tahun 1900 Gaston Tarry membuktikan bahwa Masalah 36 Perwira Euler (1782) tidak memiliki solusi — bahkan $2$ bujursangkar Latin ortogonal berorde $6$ pun tidak ada, sehingga $n = 6$ mustahil!
• Teorema Bruck-Ryser-Chowla (1949): Jika bidang proyektif hingga berorde $n$ ada dan $n \equiv 1 \text{ atau } 2 \pmod 4$, maka $n$ harus dapat dinyatakan sebagai jumlah dua bilangan kuadrat bulat: $$n = a^2 + b^2 \quad (a, b \in \mathbb{Z})$$ Teorema ini langsung menggugurkan $n = 6, 14, 21, 22, 30, \dots$!
• Orde $n = 10$ ($11$ simbol, $111$ kartu) dan Superkomputer Cray-1 (1989): Karena $10 = 1^2 + 3^2$, Bruck-Ryser-Chowla tidak menggugurkan $n = 10$. Baru pada tahun 1989 Clement W. H. Lam, Larry Thiel, dan Stanley Swiercz menggunakan teori pengkodean biner dan 2.000 jam komputasi pada superkomputer Cray-1A untuk membuktikan bahwa bidang proyektif berorde $10$ tidak ada.
• Orde $n = 12$ ($13$ simbol, $157$ kartu): Karena $12 \equiv 0 \pmod 4$, teorema Bruck-Ryser-Chowla tidak berlaku, dan ruang pencariannya melampaui kemampuan superkomputer modern. Apakah orde $12$ ada (Konjektur Perpangkatan Prima / PPC) tetap menjadi salah satu masalah terbuka terbesar dalam matematika!

  flowchart TD
    Start["Tujuan: Dapatkah kita membuat Dek Dobble Optimal berorde n?<br/>(k = n + 1 simbol per kartu, N = n^2 + n + 1 total kartu & simbol)"]
    CheckPP{"Apakah orde n merupakan perpangkatan prima?<br/>n = p^r (p prima, r >= 1)"}
    ConstructGF["[ADA — YA]<br/>Bangun PG(2, q) via Koordinat Homogen di atas Lapangan Galois F_q!<br/>Contoh: n=2 (7 kartu), n=3 (13), n=4 (21), n=5 (31),<br/>n=7 (Dobble: 57 kartu), n=8 (73), n=9 (91)"]
    CheckBRC{"Apakah n ≡ 1 atau 2 (mod 4)?"}
    CheckSumSq{"Dapatkah n ditulis sebagai jumlah dua kuadrat?<br/>n = a^2 + b^2"}
    RejectBRC["[TIDAK ADA — TIDAK]<br/>Digugurkan oleh Teorema Bruck-Ryser-Chowla (1949)!<br/>Contoh: n=6 (7 simbol, 43 kartu / Tarry 1900),<br/>n=14 (15 simbol, 211 kartu), n=21, 22, 30..."]
    Case10{"Apakah n = 10?<br/>(10 = 1^2 + 3^2)"}
    Reject10["[TIDAK ADA — TIDAK]<br/>Digugurkan oleh Teori Kode + 2.000 Jam Superkomputer Cray-1A!<br/>(Lam, Thiel & Swiercz, 1989: 11 simbol, 111 kartu mustahil)"]
    OpenProblem["[MASALAH TERBUKA BELUM TERPECAHKAN]<br/>Garis depan Konjektur Perpangkatan Prima (PPC)!<br/>Orde terbuka terkecil: n = 12 (13 simbol, 157 kartu),<br/>diikuti oleh n = 15, 18, 20, 24, 26..."]

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