Expertní nonogramy 15×15 — kaskády hypotéz ve velkém měřítku

Expertní nonogramy 15×15 jsou místem, kde logika typu hypotéza a ověření dosahuje svého nejpůsobivějšího rozsahu. V mřížce o 30 liniích a 225 polích může jediná dobře zvolená hypotéza spustit kaskádu přes dvanáct i více linií a potvrdit třicet a více polí — tedy z jediné podmíněné domněnky vyřešit podstatnou část zbývající mřížky. Tyto hádanky Griddler a Picross vyžadují jak pokročilou logickou techniku, tak schopnost udržet přesný stav podmíněné mřížky v síti 225 polí — skutečně náročný mentální výkon, který odmění řešitele jedním z nejdramatičtějších a nejuspokojivějších zážitků při online luštění nonogramů.

Dynamika hypotéz u expertních 15×15

V měřítku 15×15 se dynamika hypotéz liší od menších mřížek způsoby, které zvyšují jak odměnu, tak nároky:

Širší dosah kaskády: Potvrzené pole z hypotézy na pozici (řádek 8, sloupec 9) se šíří jak přes řádek 8, tak přes sloupec 9. V mřížce o 30 liniích má každá z těchto linií 15 protínajících se linií — a aktualizace těchto linií se dále šíří do jejich vlastních průsečíků. Kaskáda hypotézy u expertního 15×15 může dosáhnout polí v opačném kvadrantu mřížky, než se vyčerpá, a potvrdit pole, která jsou od původního cíle hypotézy vzdálena o dvanáct nebo patnáct pozic.

Vyšší celkový zisk: Kaskády hypotéz u expertního 15×15 obvykle potvrdí dvacet pět až čtyřicet polí — dost na to, aby v jediné kaskádě vyřešily většinu zbývající nejasné situace. Mnoho expertních 15×15 hádanek vyžaduje jen jeden cyklus hypotézy: standardní fáze před hypotézou ponechá 30–50 nevyřešených polí a jediná kaskáda je všechny vyřeší.

Delší řetězce záznamu: Samotný průběh kaskády zahrnuje více linií a více mezistavů než u menších mřížek. Udržet přesnost během kaskády o deseti až patnácti krocích v síti 30 linií vyžaduje buď velmi silnou pracovní paměť, nebo systematické zaznamenávání mezistavů.

Technika pro expertní 15×15

Předmapování kaskády: Než se zavážete k hypotéze, mentálně si zmapujte první tři kroky očekávané kaskády. Toto předmapování slouží ke dvěma účelům: ověří, že má cílová hypotéza skutečně vysoký potenciál kaskády (místo toho, aby rychle narazila na nejednoznačný stav), a zároveň odhalí případnou navazující linii, kterou už lze vyřešit standardní dedukcí, jež předmapování odhalí.

Strategie potvrzení vs. rozporu: V mřížce o 30 liniích je obousměrné testování hypotéz (sledování jak předpokladu vyplněného, tak prázdného pole) často účinnější než testování pouze jedním směrem až do rozporu. Při 30 liniích, přes které se kaskáda šíří, je pravděpodobnost, že oba předpoklady dají stejný výsledek alespoň v jedné navazující linii, vysoká — a to poskytne potvrzené pole bez nutnosti dovést kterýkoli předpoklad až k úplnému rozporu.

Využití standardní logiky po kaskádě: Po každé kaskádě hypotézy ihned proveďte plný průchod standardní enumerací, než začnete s dalším cyklem hypotéz. V měřítku 15×15 často kaskáda z jednoho cyklu hypotézy vytvoří dost nových potvrzených polí, aby standardní enumerace vyřešila zbytek mřížky úplně — a druhý cyklus hypotézy tak nebude potřeba.

Další výzvy

→ 15×15 Extreme — po sobě jdoucí cykly hypotéz přes 225 polí

→ 15×15 Evil — vnořené stromy hypotéz v maximální hloubce 15×15

→ 20×20 Expert — expertní kaskádová logika přes 400 polí a 40 linií

Řešič nonogramů 15×15 sleduje jakoukoli kaskádu hypotéz a ukazuje, kde se objeví optimální potvrzení nebo rozpor.