Medium 30×30 nonogrammen — maximale logica over 900 vakjes

Medium 30×30 nonogrammen zijn de grootste systematische nonogramuitdaging die oplosbaar is zonder hypothesetesten. Het raster van 900 vakjes en het netwerk van 60 lijnen, gecombineerd met de clue-dichtheid van Medium-niveau, vragen om een oplossingsaanpak die vergelijkbaar is met professionele analytische werkwijzen: gestructureerd sessiebeheer, organisatie in zes blokken, recursieve segmentanalyse en gedisciplineerde cascade-tracking over een netwerk waarvan de schaal betekent dat één doorbraak het grootste deel van het resterende raster in één lange golf kan oplossen. Deze Japanse kruiswoordpuzzels en Griddler-puzzels leveren cascade-effecten op een schaal die geen kleiner raster kan bieden.

De architectuur voor het beheer van 60 lijnen

Bij 30×30 vereist het beheren van 60 lijnen een structuur in zes blokken met expliciete cascade-tracking tussen de blokken:

Organisatie in zes blokken: Verdeel alle 60 lijnen in zes blokken van tien lijnen elk (blok A: rijen 1–5 en hun 30 kolommen, enz.). Pas binnen elk blok verwerking toe op basis van prioriteit. Draag tussen de blokken alle bevestigde vakjes over naar de constraintstatus van de aangrenzende blokken voordat je met het volgende blok begint. Rond eerst één volledige cyclus van zes blokken af voordat je aan de tweede ronde begint.

Cascadeprioriteit tussen blokken: Wanneer een deductie in blok A een vakje in kolom 22 bevestigt, werkt die bevestiging kolom 22 bij — en die kruist met rijen in alle zes blokken. Houd deze updates tussen blokken bij en geef in de volgende verwerkingscyclus prioriteit aan de blokken die het meest zijn bijgewerkt. Cascades tussen blokken kunnen bij 30×30 informatie van de linkerbovenhoek naar de rechteronderhoek voortplanten in één enkele doorgang wanneer cascadeketens efficiënt worden beheerd.

Dynamische aanpassing van de slack-drempel: Begin doorgang 1 met een drempel van slack ≤ 6. Verhoog naar ≤ 10 voor doorgang 2, ≤ 15 voor doorgang 3 en ≤ 20 voor doorgang 4. Lijnen boven de drempel in een bepaalde doorgang worden uitgesteld — zo voorkom je verspilde analyse op lijnen die nog geen bruikbare informatie kunnen opleveren. Naarmate kruisverwijzende gegevens zich opstapelen, zakken lijnen die in doorgang 1 nog te veel slack hadden tegen doorgang 3 of 4 naar verwerkbare niveaus.

Recursieve segmentanalyse op schaal van 30 vakjes

Bij 30 vakjes bereikt segmentanalyse haar maximale expressieve kracht. Eén bevestigd leeg vakje in een lijn van 30 vakjes kan segmenten van 15 of 20 vakjes creëren — groot genoeg om volledige meerblok-cluevolgordes met hun eigen nul-slackconfiguraties te bevatten. De techniek van recursieve segmentoverlap wordt iteratief toegepast: wijs blokken toe aan segmenten, bereken de overlap binnen elk segment, gebruik de daaruit voortkomende bevestigde vakjes om subsegmenten binnen elk segment te identificeren, pas segmentanalyse recursief toe op die subsegmenten en ga door totdat er geen verdere bevestigingen mogelijk zijn. Op schaal van 30 vakjes kan deze recursieve toepassing dertig of meer vakjes oplossen vanuit één enkele eerste bevestiging van een leeg vakje.

Volgende stappen

→ 30×30 Moeilijk — volledige enumeratie van alle opstellingen op maximale schaal

→ 30×30 Expert — hypothesecascades die het hele raster van 900 vakjes doorlopen

Vastgelopen? De 30×30 nonogramoplosser identificeert de segmentstap of opstelling die de huidige impasse over alle 60 lijnen doorbreekt.