🔢 mathematics

Structural Conjectures for 4 x n Chomp: Unique Extension, Asymptotic Ratios, and Period-112 Geometry

Dit artikel presenteert een uitgebreide computationele studie van 4 x n Chomp, waarbij meer dan 4,3 miljoen P-posities worden getabuleerd om vier structurele conjectures voor te stellen met betrekking tot unieke extensies, asymptotische verhoudingen, period-112 modulaire patronen en lineaire kegelgeometrie, die een rijkere deterministische structuur in het spel onthullen dan eerder werd vermoed.

Oorspronkelijke auteurs: Arnav Garg

Gepubliceerd 2026-04-30

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Arnav Garg

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je een spel voor genaamd Chomp, gespeeld op een rechthoekige chocoladereep. De reep bestaat uit een rooster van vierkanten. Twee spelers nemen om de beurt hun beurt. Bij jouw beurt kies je één vierkant en "eet" je dit, samen met alles erboven en rechts ervan. De adder onder het gras? Het linkerbovenste vierkant is vergiftigd. Als je gedwongen wordt dat laatste vierkant te eten, verlies je.

Wiskundigen hebben de winnende strategie voor zeer kleine of zeer specifieke chocoladerepen al ontdekt, maar voor een reep die 4 vierkanten breed en n vierkanten lang is, bleef het patroon tot nu toe een raadsel.

Dit artikel is als een enorme, supersnelle detectiveverhaal waarin de auteur een supersnelle computer gebruikte om elke mogelijke "verliezende positie" (een plek waar de speler wiens beurt het is, zal verliezen als de tegenstander perfect speelt) in kaart te brengen voor chocoladerepen tot 500 vierkanten lang.

Hier is wat de auteur ontdekte, eenvoudig uitgelegd:

1. De "Eén-en-Klaar" Regel (Unieke Uitbreiding)

Stel je de chocoladereep voor met vier rijen. De bovenste drie rijen hebben bepaalde lengtes (noem ze A, B en C).

De Ontdekking: De auteur ontdekte dat voor elke specifieke combinatie van lengtes voor de bovenste drie rijen, er hooguit één specifieke lengte voor de vierde rij bestaat die een "verliezende positie" creëert.
De Analogie: Stel je voor dat je een toren bouwt met drie blokken van specifieke maten. Als je wilt dat de toren "instabiel" is (een verliezende positie), is er slechts één specifieke maat voor het vierde blok die het instabiel maakt. Je kunt niet zomaar elk vierde blok kiezen; de wiskunde dwingt één, unieke antwoord af. Dit suggereert dat het spel veel voorspelbaarder en "deterministischer" is dan ooit gedacht.

2. De "Gouden Snede" van Chocolade (Asymptotische Verhoudingen)

Naarmate de chocoladereep langer en langer wordt (stel je voor dat je hem tot in het oneindige uitrekt), merkte de auteur dat de rijen een specifieke vorm aannemen.

De Ontdekking: De lengtes van de rijen stoppen met willekeurig te veranderen en beginnen een vast patroon te volgen. Als de bovenste rij lengte 100 heeft, zal de tweede rij altijd ongeveer 76 eenheden lang zijn, de derde ongeveer 50, en de vierde ongeveer 22.
De Analogie: Het is als een boom die groeit. Hoe hoog de boom ook wordt, de takken groeien altijd in dezelfde relatieve verhoudingen. De auteur berekende deze "groeirates", maar kon nog geen eenvoudige wiskundige formule (zoals een breuk) vinden om ze exact te beschrijven. Ze liggen dicht bij sommige beroemde getallen, maar het exacte geheim blijft verborgen.

3. De "Verborgen Ritme" (Periode-112)

De auteur zocht naar een herhalend patroon in de data, zoals een beat in een liedje.

De Ontdekking: De data herhaalt een specifiek patroon elke 112 stappen.
De Analogie: Stel je een klok voor die niet elke seconde tikt, maar een complex ritme heeft dat elke 112 tikken opnieuw begint. De auteur ontdekte dat dit ritme waarschijnlijk een mix is van twee kleinere ritmes: één dat elke 7 stappen herhaalt (geërfd van de 3-rij versie van het spel) en een ander mysterieus ritme dat elke 8 stappen herhaalt. Het getal 112 is gewoon het "kleinste gemene veelvoud" waar deze twee ritmes perfect op elkaar aansluiten.

4. De "Trechter" Vorm (Lineaire Kegelvormige Geometrie)

Als je alle mogelijke "verliezende posities" op een grafiek uitzet, zien ze er niet uit als een willekeurige wolk van stippen.

De Ontdekking: Ze vormen een nette, trechterachtige vorm (een kegel). Naarmate de rijen langer worden, groeit de "breedte" van de geldige verliezende posities in een rechte, voorspelbare lijn.
De Analogie: Stel je voor dat je zand in een trechter giet. Het zand stapelt zich niet willekeurig op; het vormt een gladde, verbredende kegel. De auteur ontdekte dat de "geldige" verliezende posities in dit spel in een vergelijkbare gladde, verbredende vorm passen, met een kleine trilling veroorzaakt door dat eerder genoemde 112-staps ritme.

Waarom is dit belangrijk?

Voor dit artikel was de 4-rij versie van Chomp een zwarte doos. We wisten dat de eerste speler meestal wint, maar we wisten niet waarom of hoe de verliezende plekken waren gerangschikt.

De auteur vond 4,3 miljoen specifieke verliezende posities.
Ze bewezen dat het spel waarschijnlijk wordt geregeerd door strikte regels (de "Unieke Uitbreiding") in plaats van chaos.
Ze vonden een verborgen ritme (112) dat de structuur van het spel beheerst.

Wat het artikel NIET zegt:

Het claimt niet dat dit helpt bij het oplossen van andere spellen (zoals Schaak of Go).
Het claimt niet dat dit medische of reële toepassingen heeft.
Het bewijst niet dat deze regels 100% waar zijn voor oneindige borden; het bewijst alleen dat ze gelden voor het bereik van 500 stappen dat ze testten. De auteur noemt ze "conjecturen" (sterke gissingen gebaseerd op bewijs) in plaats van bewezen wetten.

Kortom, de auteur nam een rommelig, complex spel, draaide een enorme computersimulatie en ontdekte dat onder de chaos een zeer ordelijke, ritmische en voorspelbare structuur ligt die wacht om volledig begrepen te worden.

1. Probleemstelling

Het artikel onderzoekt het combinatorische spel Chomp gespeeld op een $4 \times n$ rechthoekig rooster.

Spelregels: Spelers wisselen elkaar af om een vierkant en alle vierkanten erboven en rechts daarvan te verwijderen. Het vierkant linksboven $(1,1)$ is "vergiftigd"; de speler die gedwongen wordt dit te nemen, verliest.
Doel: Identificeren van P-posities (posities waar de vorige speler wint, of verliezende posities voor de speler wiens beurt het is).
Context: Terwijl de gevallen $1 \times n$ en $2 \times n$ volledig zijn opgelost, en $3 \times n$ gedeeltelijke algoritmische oplossingen heeft, ontbrak er bij het geval $4 \times n$ een systematische computationele analyse. Het artikel beoogt deze lacune op te vullen door P-posities te tabuleren en onderliggende structurele patronen te identificeren.

2. Methodologie

De auteur ontwikkelde een geoptimaliseerde retrograde solver in C++ om P-posities te berekenen voor bordbreedten tot $n = 500$ .

Staatrepresentatie:
- Posities worden weergegeven als niet-stijgende tupels $(a, b, c, d)$ waarbij $a \ge b \ge c \ge d \ge 0$ , wat het aantal vierkanten in elke rij aangeeft.
- Bitpacking: Elke tupel wordt gecodeerd in één uint64-geheel getal met behulp van vier 16-bits velden om het geheugengebruik te minimaliseren en de hashing-snelheid te maximaliseren.
Algoritme-ontwerp:
- Sparre Opslag: Alleen P-posities worden opgeslagen in een hash-set. De solver breekt N-posities (winnend voor de huidige speler) af zodra een zet naar een bekende P-positie wordt gevonden.
- Bottom-Up Evaluatie: Staten worden verwerkt in oplopende volgorde van het totale aantal cellen, zodat alle opvolgers zijn opgelost voordat een staat wordt geëvalueerd.
Prestaties:
- Berekening van 4.316.097 P-posities voor $n \le 500$ .
- Uitvoeringstijd: ~70 minuten op een Apple M4-processor.
- Geheugengebruik: Piekgebruik van 45 MB.
Verificatie:
- Geverifieerd tegen de bekende formule voor $2 \times n$ (waarbij $c=d=0$ impliceert dat $b=a-1$ ).
- Gekruist gecontroleerd met een onafhankelijke Python-solver voor het $3 \times n$ -subgeval ( $d=0$ ) tot $n=50$ .
- Een initiële fout in de kolomuitlijning bij de data-uitvoer werd gecorrigeerd.

3. Belangrijkste Bijdragen en Resultaten

De analyse van de berekende dataset leidde tot vier primaire structurele conjecturen:

A. Conjecture 1: Unieke Uitbreidbaarheidseigenschap

Stelling: Voor elke geldige drietal rijlengtes $(a, b, c)$ bestaat er hoogstens één geheel getal $d$ zodat $(a, b, c, d)$ een P-positie is.
Implicatie: De projectieafbeelding $\pi: (a, b, c, d) \to (a, b, c)$ is injectief op de verzameling van P-posities.
Betekenis: Dit suggereert dat het spel $4 \times n$ een "deterministische lift" is van het spel $3 \times n$ . Hoewel niet elke $(a, b, c)$ uitbreidt tot een P-positie (slechts ~20% doet dit), is als een uitbreiding bestaat, de lengte van de vierde rij $d$ uniek gedwongen. Dit staat in contrast met het geval $3 \times n$ , waar dergelijke eenvoudige injectieve afbeelding eerder niet was vastgesteld.

B. Conjecture 2: Asymptotische Verhoudingen

Stelling: Naarmate de bordbreedte $a \to \infty$ $a \to \infty$ , convergeren de verhoudingen van rijlengtes in P-posities naar vaste constanten:
- $b/a \to L_1 \approx 0,762$
- $c/a \to L_2 \approx 0,499$
- $d/a \to L_3 \approx 0,224$
Methodologie: Geschat via gemiddelden in vensters, rollende vensters en curve-aanpassing volgens machtswetten.
Observatie: Er werd geen exacte algebraïsche identiteit gevonden voor deze constanten. Echter, $L_3 \approx 0,224$ is opmerkelijk dicht bij $\cos(3\pi/7) \approx 0,2225$ , wat wijst op een potentiële verborgen algebraïsche relatie.

C. Conjecture 3: Modulaire Structuur met Periode 112

Stelling: De verzameling drietallen $(a, b, c)$ die uitbreiden tot P-posities vertoont een modulaire structuur met een fundamentele periode van 112.
Bewijs:
- Autocorrelatie-analyse van de reeks $d$ -waarden toont een scherpe piek bij een vertraging van 112.
- Een logistische classifier die alleen $c$ en $(a-b) \pmod{112}$ gebruikt, voorspelt uitbreidbaarheid met 79% nauwkeurigheid.
- Chi-kwadraat-tests bevestigen dat modulus 112 de sterkste statistische scheiding biedt ( $\chi^2 = 12.433$ ) in vergelijking met andere moduli.
Interpretatie: $112 = \text{lcm}(7, 8) \times 2$ . De factor 7 komt waarschijnlijk voort uit de periodiciteit van het $3 \times n$ -subspel, terwijl de factor 8 onverklaard blijft (bit-packing-artefacten zijn uitgesloten).

D. Conjecture 4: Lineaire Kegelvormige Geometrie

Stelling: De verzameling uitbreidbare drietallen $(a, b, c)$ vormt een lineaire kegel in $\mathbb{R}^3$ .
Geometrie: Voor een vaste $c$ vormt het geldige bereik van $(a, b)$ een aaneengesloten band. De breedte van deze band groeit lineair met $c$ :
$\text{breedte}(c) \approx \frac{11}{8} \cdot c + f(c \pmod{112})$
waarbij $f$ een begrensd periodieke functie is. De helling $11/8 = 1,375$ werd afgeleid uit metingen op basis van sneden.

4. Betekenis en Toekomstige Richtingen

Structureel Inzicht: De bevindingen suggereren dat $4 \times n$ Chomp een rijker, deterministischer structuur bezit dan eerder werd vermoed, mogelijk eenvoudiger dan het geval $3 \times n$ vanwege de eigenschap "Unieke Uitbreidbaarheid".
Generalisatie: De auteur hypothesiseert dat de eigenschap van Unieke Uitbreidbaarheid kan worden gegeneraliseerd naar $k \times n$ Chomp voor alle $k$ , wat impliceert dat alle Chomp-spellen recursief worden bepaald door het opgeloste geval $2 \times n$ .
Open Vragen:
1. Bewijs: Kan de eigenschap van Unieke Uitbreidbaarheid combinatorisch worden bewezen?
2. Algebraïsche Grenzen: Zijn de asymptotische verhoudingen wortels van een gemeenschappelijk polynoom?
3. Hogere Dimensies: Geldt dit voor $5 \times n$ ? (Vereist een toestandsruimte van $O(n^5)$ ).
4. Oorsprong Periode: Wat is de bron van de periode-8-component in de cyclus van 112?
5. Gesloten Vorm: Kan de ~20% uitbreidbare drietallen worden beschreven door een gesloten-vorm masker?

Het artikel merkt ook op dat de reeks $d$ -waarden is ingediend bij de On-Line Encyclopedia of Integer Sequences als A395126. De code en data zijn publiek beschikbaar via de GitHub-repository van de auteur.