Ekstremni nonogrami 6×6 — verižne hipoteze v mreži 36 polj

Ekstremni nonogrami 6×6 so namenjeni reševalcem, ki so pri Expert ugankah že osvojili metodo hipoteze in preverjanja ter so pripravljeni na postavitve, kjer je treba to tehniko uporabljati večkrat zapored skozi celotno reševanje. Te uganke Picross in Griddler ustvarijo tako tesno prepleteno mrežo omejitev, da en sam cikel hipoteze potrdi eno ali dve polji — in ta potrditev takoj pripravi naslednji cikel hipoteze, brez vmesnega prostora za običajno sklepanje.

Struktura reševanja ekstremnega 6×6

Tipično reševanje ekstremnega 6×6 poteka po vzorcu, ki se jasno razlikuje od vseh nižjih težavnostnih stopenj:

Faza 1 — Začetni prehod brez rezultatov: Celoten prehod skozi vseh dvanajst vrstic z analizo prekrivanja in pregledom možnih razporeditev ne potrdi nobenega polja. Mreža je v celoti pripravljena, vendar še vedno povsem nerešena z običajnimi metodami.

Faza 2 — Prvi cikel hipoteze: Izberi polje z največ omejitvami. Predpostavi, da je zapolnjeno. Sledi posledicam skozi dve do pet prekrivajočih se vrstic. Dosezi protislovje (ali potrdi z dvosmernim preverjanjem). Potrdi stanje polja.

Faza 3 — Širjenje, nato nova slepa ulica: Potrjeno polje omogoči eno ali dve običajni sklepanji v prekrivajočih se vrsticah — nato pa običajne metode znova obstanejo. Potreben je še en cikel hipoteze.

Faza 4 — Ponavljanje: Ta vzorec se ponovi tri- do šestkrat, dokler ni potrjenih dovolj polj, da lahko običajno sklepanje dokonča preostanek mreže.

Napredne tehnike za ekstremno težavnost

Veriženje hipotez: Namesto da hipotezo končaš pri prvem protislovju, verigo razširi, da iz enega cikla pridobiš več potrditev. Če hipoteza A vodi do potrjenega polja B in B vodi do potrjenega polja C (v isti pogojni verigi), lahko iz ene same sledi protislovja izluščiš obe potrditvi.

Zapisovanje stanja: Pri ekstremnih ugankah vodenje pisnega zapisa vmesnih sklepov trenutne verige hipotez ni neobvezno — je praktična nuja. Vsak korak zapiši na primer tako: »Če je A=zapolnjeno, potem mora biti blok 1 v 3. vrstici na položajih 2–3, zato mora biti polje 3 v 2. stolpcu prazno.« Sistematičen zapis prepreči, da bi v globokih verigah izgubil sled.

Zmanjševanje množice razporeditev: Pred začetkom vsakega cikla hipoteze posodobi vse množice razporeditev z novimi potrjenimi polji. Potrjeno prazno polje pogosto izloči eno ali dve družini razporeditev, ki sta se prej zdeli možni, in tako občutno zmanjša prostor iskanja hipotez.

Kaj sledi

→ 6×6 Evil — največja globina verižnih hipotez v mreži 36 polj

→ 15×15 Extreme — uporabi tehnike veriženih hipotez na 225 poljih

→ 20×20 Extreme — kjer vsako potrjeno polje sproži verižno reakcijo po mreži s 400 polji

Reševalnik nonogramov 6×6 je pri Extreme dragoceno učno orodje — uporabi ga za primerjavo svoje poti hipotez s potjo reševalnika in za vpogled v učinkovitost.