Extreme 5×5 Nonograms — Næsten maksimal tæthed af begrænsninger

Extreme 5×5 nonogrammer ligger helt i den øvre ende af, hvad et Griddler-gitter med 25 felter kan kræve. Hvor Expert-opgaver kun kræver lejlighedsvis hypoteseafprøvning, gør Extreme-opgaver hypotese og verifikation til den primære løsningsmetode fra de allerførste træk. Begrænsningsnetværket er så tæt sammenflettet, at almindelig deduktion næsten ikke giver nogen umiddelbar fremgang — hvert skridt kræver betinget ræsonnement kædet sammen på tværs af flere linjer.

Hvad adskiller Extreme fra Expert?

Dybde i hypotese-kæder: Expert-opgaver kræver typisk en eller to runder med hypotese og verifikation for at åbne gitteret. Extreme-opgaver kræver flere på hinanden følgende runder, hvor hver bekræftet celle straks lægger op til den næste hypotese-cyklus.

Færre "gratis" startfelter: I Expert-opgaver afslører overlapanalyse som regel to eller tre felter, før hypoteseafprøvning begynder. I Extreme-opgaver kan den afsløre nul — hver celle i den indledende tilstand er reelt tvetydig ved direkte deduktion.

Smallere modsigelsesforløb: I Expert giver en falsk hypotese typisk en modsigelse inden for et eller to logiske skridt. I Extreme kan du være nødt til at følge en hypotese gennem fire eller fem skridt, før modsigelsen viser sig — det kræver en længere og mere omhyggelig kæde af betinget ræsonnement.

Avancerede teknikker til Extreme-opgaver

Dobbelt hypoteseafprøvning: Når en enkelt hypotese ikke straks giver en modsigelse, så test dens modsætning samtidig. Følg "Felt A er udfyldt" og "Felt A er tomt" parallelt. Ethvert felt, hvis tilstand er den samme i begge spor, er definitivt i den tilstand — uanset hvilken hypotese der er sand.

Bevidsthed om begrænsningsgrafen: Betragt opgaven som en afhængighedsgraf, hvor hver uløst celle er en node forbundet til sine række- og kolonneledetråde. Identificér noden med højest grad — den celle, der indgår i flest aktive begrænsninger — og målret din hypotese mod den. Når en node med høj grad løses, spreder informationen sig i en kædereaktion.

Akkumulerende eliminering: Hold en løbende liste over udelukkede placeringer for hver linje. Når runder med hypoteser bekræfter eller afkræfter felter, streger du placeringer ud fra listen. Når der kun er én placering tilbage for en linje, bliver alle dens felter løst på én gang.

Fortsæt udfordringen

→ 5×5 Evil — det absolutte højdepunkt for 5×5-sværhedsgrad

→ 15×15 Extreme — Extreme-logik skalerer dramatisk på et gitter med 225 felter

→ 5×5 Nonogram Solver — brug den til at analysere konkrete hypotese-kæder, der ikke løser sig