SudokuProSolitaireMahjongNonogramOmiPlay

DUK

4x4 piktas Sudokas yra sunkiausias 4×4 formato sudėtingumo lygis, kuriame yra tik 3–4 iš anksto užpildytos užuominos iš 16 langelių — tai yra teorinis minimumas arba beveik minimumas vienareikšmiškai išsprendžiamam 4×4 galvosūkiui. Jam reikia įterptinės bifurkacijos medžių ir alternuojančių išvedimo grandinių: technikų, kurios apima kelių vienu metu veikiančių loginių hipotezių sekimą, kiekvieną dokumentuojant ir įvertinant iki pilno gylio prieš patvirtinant bet kurį vieną įrašą.
Įprasta bifurkacija — pristatyta Ekstremaliame lygyje — reiškia įsipareigojimą vienam kandidatui apribotoje langelėje, visų loginių pasekmių sekimą ir prielaidos patvirtinimą arba paneigimą, kai atsiranda prieštaravimas arba galutinis išsprendimas. Įterptinė bifurkacija prideda antrą hipotezės sluoksnį jau aktyvioje šakoje: dvi vienu metu veikiančios prielaidos plinta lygiagrečiai, kiekviena su savo pasekmių grandine. 4×4 pikto galvosūkio atveju 2 gylio įterptinė bifurkacija kartais yra vienintelis būdas pajudėti iš padėties, kurioje išnaudotas visas modeliais pagrįstas išvedimas.
Taip. Abu lygiai naudoja tą patį 4×4 tinklelį, tačiau Piktame lygyje yra mažiau pradinių užuominų ir jis sukonstruotas taip, kad reikalautų įterptinės bifurkacijos ir AIC analizės — technikų, kurių Ekstremaliame lygyje nereikia. Ekstremalų galvosūkį paprastai galima išspręsti vieno lygio bifurkacija ir kelių žingsnių grandinėmis; piktas galvosūkis priešinasi šiems metodams, kol 2 gylio loginiai medžiai nėra pritaikomi per 3–4 likusius įėjimo taškus.
Naudojame slapukus turiniui suasmeninti ir srautui analizuoti, o tai gali apimti ir profiliavimą.