Expert 25×25 nonogrammen — hypothesecascades over een netwerk van 50 lijnen

Expert 25×25 nonogrammen zijn het meest ambitieuze standaardformaat binnen nonogrammen — puzzels waarin redeneren via hypothese en verificatie werkt over een netwerk van 50 lijnen en 625 vakjes, en cascades oplevert die vanuit één voorwaardelijke aanname door het hele raster kunnen lopen. Deze Griddler- en Picross-puzzels vragen zowel geavanceerd conditioneel redeneren als het vermogen om nauwkeurige cascadesporen bij te houden in een raster dat groot genoeg is dat elke stap in het spoor de opstellingssets in twintig of meer lijnen tegelijk kan bijwerken. Eén goed gekozen hypothese in Expert 25×25 kan vijftig tot tachtig vakjes bevestigen — en zo in feite de resterende puzzel in één cascadegolf voltooien.

Cascadedynamiek bij Expert 25×25

Bij 25×25 bereiken Expert-hypothesecascades een kwalitatieve mijlpaal in het oplossen van nonogrammen — de cascade kan, onder optimale omstandigheden, elke lijn in het raster doorlopen voordat hij uitgeput raakt:

Cascadepotentieel over het hele raster: Een hypothesevakje in het midden van het raster (rij 13, kolom 13) plant zich voort via rij 13 en kolom 13 — en elk daarvan kruist alle 25 lijnen in de loodrechte richting. In een netwerk van 50 lijnen kan alleen al de eerste cascadestap 48 lijnen bijwerken. Vervolgstappen vanuit de updates van die lijnen kunnen binnen twee tot drie cascadestappen alle resterende lijnen bereiken. Een hypothese op het middenvakje in Expert 25×25 kan het potentieel hebben om het hele resterende raster in één cascadegolf op te lossen.

Opstellingshefboom op schaal: De grotere opstellingssets bij 25×25 betekenen dat elk door de cascade bevestigd vakje meer opstellingen per lijn wegneemt dan bij kleinere rasters. Een vakje dat in een lijn met 15 opstellingen wordt bevestigd, elimineert in één stap misschien de helft daarvan — en laat er zeven of acht over, waarvan er twee het eens kunnen zijn over nog een bevestigd vakje, waardoor een bevestiging in de tweede stap mogelijk wordt zonder extra hypothese. Deze cumulatieve opstellingshefboom maakt Expert 25×25-cascades kwalitatief krachtiger dan die op kleinere formaten.

Expert 25×25-techniek

Gedocumenteerde toestand vóór de hypothese: Documenteer vóór je een hypothese start de volledige rastertoestand: alle 50 opstellingsaantallen per lijn, alle bevestigde vakjes en een lijst met de tien vakjes met het hoogste cascadepotentieel (de vakjes op het snijpunt van twee lijnen met de laagste opstellingsaantallen). Deze documentatie vóór de hypothese maakt een schone herstart mogelijk als de eerste keuze suboptimaal blijkt en biedt een vergelijkingspunt voor de analyse van de oplosser na de cascade.

Bandgebaseerde cascadevoorspelling: Voorspel vóór je een hypothese vastlegt welke banden de cascade vooral zal beïnvloeden op basis van de positie van het hypothesevakje. Een hypothese in het kwadrant linksboven zal het snelst door de bovenste vijf rijen en de linker vijf kolommen cascaderen — en eerst de banden 1 en 1V beïnvloeden. Voorspel de cascaderichting en verwerk de banden in die volgorde tijdens het spoor, zodat de cascade-informatie eerst het gebied met de hoogste dichtheid bereikt.

Opstellingsupdate voor het hele raster: Voer na elke hypothesecascade meteen een volledige opstellingsupdate voor alle 50 lijnen uit met alle nieuw bevestigde vakjes, voordat je beoordeelt of een tweede hypothese nodig is. Bij 25×25 werkt een cascade die vijftig vakjes bevestigt de opstellingssets bij in de meeste nog onopgeloste lijnen — vaak ontstaan er dan standaard deductiemogelijkheden in tien tot vijftien lijnen, waardoor de puzzel zonder verdere hypothesecycli wordt voltooid.

Volgende uitdagingen

→ 25×25 Extreem — opeenvolgende hypothesecycli op expertschaal

→ 25×25 Duivels — geneste hypothesebomen op maximale 25×25-diepte

→ 30×30 Expert — Expert-cascadelogica over 900 vakjes en 60 lijnen

De 25×25 Nonogram-oplosser brengt het optimale cascadespoor en de volgorde van banddoorloop in kaart voor elke Expert-puzzel.