Så fungerar Dobble-matematiken
Och varför asken säger 55, inte 57
Två kort ur en Dobble-lek delar exakt en symbol — aldrig noll, aldrig två. Det är inte resultatet av noggrann handkontroll utan av en bit 1800-talsgeometri som kallas ändligt projektivt plan. Så fungerar det, och så kommer det sig att butiksleken har två kort mindre än den matematiska.
En regel, alltid uppfylld
Tre idéer räcker för att förstå hela konstruktionen.
Korten är linjer, symbolerna punkter
Se varje symbol som en punkt och varje kort som en linje genom några av dem. Ett projektivt plan garanterar att två linjer skär varandra i exakt en punkt — precis vad spelet lovar om två kort.
Ett primtal avgör allt
Välj ett primtal p. Du får p+1 symboler per kort, p²+p+1 symboler totalt och p²+p+1 kort. Med p är hela lekens storlek bestämd; det finns inget kvar att justera.
Varför det aldrig slår fel
Egenskapen med en delad symbol är en sats, inte ett mål. Är planet rätt byggt finns inga två kort utan gemensam symbol och inga två med mer än en.
Kortlekarna som blir resultatet
Varje giltig Dobble-storlek är p²+p+1 för något primtal p.
Frågan 55 eller 57, avgjord
Vanliga frågor om matematiken
Varför delar två kort alltid exakt en symbol?
Därför att kortleken är ett ändligt projektivt plan, där två linjer skär varandra i exakt en punkt. Korten spelar linjernas roll och symbolerna punkternas, så den geometriska satsen blir spelregeln. Den gäller för varje par i leken, utan undantag.
Har det riktiga Dobble 55 eller 57 kort?
Båda talen är riktiga men handlar om olika saker. Asken i butiken innehåller 55 kort. Hela den matematiska mängden för p = 7 är 57. Den utgivna leken är hela mängden minus två kort, och därför förekommer båda talen.
Kan det finnas en lek med 7 symboler per kort?
Nej. Sju symboler per kort skulle kräva ett projektivt plan av ordning 6, vilket Bruck–Rysers sats utesluter. Antalet symboler hoppar från 6 till 8, och därför hoppar leksstorlekarna från 31 till 57 utan något däremellan.
Räknar generatorn ut detta varje gång?
Ja. Du väljer 13, 31, 55 eller 57 och generatorn bygger planet för motsvarande primtal och placerar dina bilder på symbolpositionerna. Du behöver aldrig kontrollera ett par för hand — strukturen är rätt redan innan första bilden läggs in.