Ekstreme 5×5 nonogrammer — nesten maksimal tetthet av begrensninger

Ekstreme 5×5-nonogrammer ligger helt i øvre grense av hva et Griddler-rutenett på 25 celler kan kreve. Der ekspertoppgaver ofte trenger sporadisk hypoteseprøving, gjør ekstreme oppsett hypotese-og-verifiser til den primære løsningsmetoden fra første trekk. Begrensningsnettet er så tett sammenkoblet at vanlig deduksjon nesten ikke gir noen umiddelbar fremgang — hvert steg krever betinget resonnering som kjedes over flere linjer.

Hva skiller ekstrem fra ekspert?

Dybde i hypotesekjeder: Ekspertoppgaver krever vanligvis én eller to runder med hypotese-og-verifiser for å åpne rutenettet. Ekstreme oppgaver krever flere påfølgende runder, der hver bekreftede celle umiddelbart legger grunnlaget for neste hypotesesyklus.

Færre «gratis» startceller: I ekspertoppgaver avslører overlappsanalyse som regel to eller tre celler før hypoteseprøving begynner. I ekstreme oppgaver kan den avsløre null — hver celle i starttilstanden er faktisk tvetydig ved direkte deduksjon.

Smalere motsigelsesbaner: I ekspertoppgaver gir en feil hypotese vanligvis en motsigelse innen ett eller to logiske steg. I ekstreme oppgaver kan du måtte følge en hypotese gjennom fire eller fem steg før motsigelsen viser seg — noe som krever en lengre og mer nøye kjede av betinget resonnering.

Avanserte teknikker for ekstreme oppgaver

Dobbel hypoteseprøving: Når en enkelt hypotese ikke umiddelbart gir en motsigelse, test motsatsen samtidig. Følg «Celle A er fylt» og «Celle A er tom» parallelt. Enhver celle som får samme status i begge spor, er definitivt slik — uansett hvilken hypotese som er riktig.

Bevissthet om begrensningsgrafen: Se på oppgaven som en avhengighetsgraf der hver uløste celle er en node koblet til ledetrådene i rad og kolonne. Finn noden med høyest grad — cellen som deltar i flest aktive begrensninger — og målrett hypotesen mot den. Når en node med høy grad løses, sprer informasjonen seg i kjeder.

Akkumulativ eliminering: Hold en løpende liste over eliminerte oppsett for hver linje. Etter hvert som hypoteser bekrefter eller avkrefter celler, stryk oppsett fra listen. Når bare ett oppsett gjenstår for en linje, blir alle cellene i den løst samtidig.

Fortsett utfordringen

→ 5×5 Evil — den absolutte toppen av 5×5-vanskelighetsgrad

→ 15×15 Ekstrem — ekstrem logikk skalerer dramatisk på et rutenett med 225 celler

→ 5×5 Nonogram-løser — bruk den til å analysere spesifikke hypotesekjeder som ikke løser seg