Ťažké nonogramy 12×12 — prehľadávanie možností v strednom rozsahu

Ťažké nonogramy 12×12 sú miestom, kde sa riešenie nonogramov v strednom rozsahu naplno prejaví systematickým postupom. Tieto hádanky typu japonská krížovka vyžadujú úplné prehľadávanie všetkých možností vo všetkých 24 riadkoch a stĺpcoch — teda presné vypísanie každého platného usporiadania pre každý obmedzený riadok či stĺpec a používanie potvrdení buniek z priesečníkov na odstraňovanie možností, až kým nezostane jediná platná konfigurácia. Pri 144 políčkach je tento proces dlhší než pri 10×10, no prináša aj dlhšie a výraznejšie reťazce odhalení, takže prielomy typické pre ťažkú úroveň pôsobia ešte odmeňujúcejšie.

Ťažké 12×12: vplyv veľkosti na štandardné techniky

Štyri dodatočné riadky a stĺpce oproti 10×10 menia riešenie konkrétnymi spôsobmi:

Väčšie množiny možností v každom riadku: Riadok s 12 políčkami a nápovedou „4 4“ má viac platných usporiadaní než ekvivalentná 10×10 konfigurácia. Viac možností znamená viac kôl odstraňovania, kým sa riadok vyrieši — ale zároveň aj to, že každé potvrdené políčko z kolmého riadku alebo stĺpca naraz odstráni viac možností.

Viac interakcií medzi riadkami a stĺpcami: 24 riadkov a stĺpcov vytvára 144 priesečníkov oproti 100 pri 10×10. Každé potvrdené políčko sa teraz zapája do väčšieho počtu vzťahov medzi riadkami a stĺpcami a reťazce odhalení sa šíria cez viac liniek, kým sa vyčerpajú. Prielom v jednej časti mriežky pri ťažkom 12×12 môže rozbehnúť dominový efekt cez pätnásť alebo viac riadkov a stĺpcov — výraznejší a viditeľnejší efekt než pri menších mriežkach.

Predĺžená fáza neskorého prielomu: Typický neskorý prielom pri ťažkej úrovni — keď jediný priesečník vyrieši veľký zhluk predtým nejasných políčok — je pri 12×12 ešte výraznejší. Nie je nezvyčajné, že takýto reťazec odhalení vyrieši naraz tridsať alebo viac políčok a po dlhom období postupného napredovania prakticky dokončí celú hádanku.

Postup riešenia ťažkého 12×12

Úplná inicializácia: Najprv vypíšte všetky platné usporiadania pre všetkých 24 riadkov a stĺpcov, a až potom začnite robiť značky. Táto počiatočná investícia poskytne úplný obraz o obmedzeniach a zabráni predčasnému sústredeniu sa na riadky či stĺpce, ktoré vyzerajú sľubne, no v skutočnosti majú len malý potenciál na reťazové odhalenia.

Kolá šírenia potvrdených buniek: Spracúvajte riadky a stĺpce podľa počtu možností: najprv tie s najmenším počtom platných usporiadaní. Potvrdené bunky z vyriešených riadkov a stĺpcov sa okamžite premietnu do množín možností v priesečníkoch. Riadky alebo stĺpce, ktoré klesnú na jedno usporiadanie, sa vyriešia hneď a ich potvrdenia sa ďalej šíria.

Cielenie na páry obmedzení: Hľadajte dvojice pretínajúcich sa riadkov a stĺpcov, kde oba majú presne dve platné usporiadania a tieto usporiadania sa v bode priesečníka líšia. Takéto páry obmedzení sa navzájom eliminujú: ak usporiadanie 1 v riadku A vyžaduje, aby bolo políčko X vyplnené, a jediné platné usporiadanie v riadku B má políčko X prázdne, usporiadanie 1 v riadku A sa odstráni — a riadok A sa tým okamžite vyrieši. Hľadanie párov obmedzení je pri ťažkej úrovni najrýchlejšia cesta k reťazcu prielomov.

Ďalšie výzvy

→ Expert 12×12 — keď sa odstraňovanie možností na 144 políčkach dostane na hranicu

→ Extrémne 12×12 — dlhodobé cykly hypotéz v strednom rozsahu

→ Ťažké 15×15 — prehľadávanie 225 políčok a 30 riadkov a stĺpcov

Solver nonogramov 12×12 dokáže určiť konkrétny pár obmedzení, ktorý spustí váš reťazec prielomov.