Ekstreme 6×6-nonogrammer — kjedede hypoteser i et rutenett med 36 celler

Ekstreme 6×6-nonogrammer er laget for løsere som har blitt fortrolige med hypotese-og-verifiser på Ekspert-oppgaver, og som er klare for oppsett der denne teknikken må brukes gjentatte ganger og i sammenheng gjennom hele løsningen. Disse Picross- og Griddler-oppgavene skaper et så tett sammenlåst begrensningsnettverk at én hypotese-syklus bare bekrefter én eller to celler — og disse bekreftelsene setter umiddelbart i gang neste hypotese-syklus, uten at det finnes vanlig deduksjon imellom.

Strukturen i en ekstrem 6×6-løsning

En typisk ekstrem 6×6-løsning følger et mønster som skiller seg tydelig fra alle lavere vanskelighetsnivåer:

Fase 1 — Standard gjennomgang uten resultat: En full gjennomgang av alle tolv linjer med overlappsanalyse og oppregning av mulige plasseringer bekrefter ingen celler. Rutenettet er fullt initialisert, men fortsatt helt uløst med standardmetoder.

Fase 2 — Første hypotese-syklus: Velg cellen med høyest begrensning. Anta at den er fylt. Følg konsekvensene gjennom to til fem kryssende linjer. Kom fram til en motsigelse (eller bekreft via toveis testing). Bekreft cellens tilstand.

Fase 3 — Spredning, så en ny blindvei: Den bekreftede cellen gir én eller to standarddeduksjoner i kryssende linjer — men så stopper standardmetodene opp igjen. En ny hypotese-syklus er nødvendig.

Fase 4 — Gjentakelse: Dette mønsteret gjentas tre til seks ganger, til nok celler er bekreftet til at standard deduksjon kan fullføre resten av rutenettet.

Avanserte teknikker for ekstrem vanskelighetsgrad

Kjedede hypoteser: I stedet for å avslutte en hypotese ved første motsigelse, utvid kjeden for å hente ut flere bekreftelser per syklus. Hvis hypotese A fører til bekreftet celle B, og B fører til bekreftet celle C (innenfor samme betingede kjede), kan du hente ut begge bekreftelsene fra ett eneste motsigelsesspor.

Notasjon for tilstandssporing: For ekstreme oppgaver er det ikke valgfritt å føre skriftlig oversikt over mellomkonklusjonene i den nåværende hypotese-kjeden — det er en praktisk nødvendighet. Noter hvert steg slik: «Hvis A=fylt, må rad 3, blokk 1 ligge i posisjon 2–3, så celle 3 i kolonne 2 må være tom.» Systematisk notasjon hindrer at du mister oversikten i dype kjeder.

Reduksjon av oppsettsmengder: Før du starter hver hypotese-syklus, oppdater alle oppsettsmengder med nylig bekreftede celler. En bekreftet tom celle eliminerer ofte én eller to oppsettsfamilier som tidligere virket mulige, og reduserer dermed søkeområdet for hypoteser betydelig.

Hva kommer etterpå

→ 6×6 Ond — maksimal dybde på hypotese-kjeden i et rutenett med 36 celler

→ 15×15 Ekstrem — bruk kjedede hypoteseteknikker på tvers av 225 celler

→ 20×20 Ekstrem — der hver bekreftede celle sprer seg gjennom et rutenett med 400 celler

6×6 Nonogram-løseren er et nyttig læringsverktøy på Ekstrem-nivå — bruk den til å sammenligne din egen hypotesevei med løserens for å få innsikt i effektivitet.