Ako riešiť sudoku bez hádania

Hádanie pôsobí produktívne, lebo položí číslo na mriežku, ale nahradí jednu úlohu dvoma neistými vetvami. Zdravé sudoku možno brať ako reťaz overiteľných záverov: každé umiestnenie alebo odstránenie kandidáta vyplýva z riadka, stĺpca, bloku alebo rozpoznaného vzoru. Riešiť bez hádania neznamená, že každý ťah je zjavný. Znamená to, že oddeľujete možnosti od záväzkov, držíte kandidátov presných a meníte techniku, keď aktuálne prehľadávanie prestane dávať informáciu.

Čo sa počíta ako hádanie?

Hádanie znamená zaviazať sa k číslici bez logického dôkazu, často s plánom vrátiť ju, ak sa objaví spor. Poznámky kandidátov nie sú hádanie: zaznamenávajú každú hodnotu, ktorú známe obmedzenia ešte dovolujú. Ani pokročilé vylúčenia nie sú hádanie, keď je vzor platný. X-Wing vám možno nepovie, kam číslica patrí, ale dokáže, kam nesmie. Praktická skúška je jednoduchá: kým zmeníte mriežku, viete uviesť pravidlo, ktoré ostane pravdivé v každom možnom doplnení?

Opakovateľný postup bez hádania

1. Prehľadávajte priame umiestnenia. Začnite nahými a skrytými jednotkami v plných riadkoch, stĺpcoch a blokoch. Po každom novom umiestnení znova skontrolujte dotknuté priestory.
2. Zostavte poctivé zoznamy kandidátov. Keď priame prehľadávanie uviazne, zaznamenajte číslice dovolené všetkými tromi obmedzeniami. Zastarané poznámky odstráňte hneď po každom umiestnení.
3. Hľadajte v pevnom poradí techník. Skúšajte páry, uzamknutých kandidátov, trojice a rybacie vzory až keď sú jednoduchšie závery vyčerpané. Stabilné poradie vás ochráni pred náhodným prehľadávaním celej mriežky.
4. Vyžadujte slovný dôkaz. Uveďte zdroj a dôsledok: „5 je v tomto bloku uzamknutá na riadok 2, takže 5 nemôže byť inde v riadku 2.“ Ak je veta neurčitá, kandidáta nemažte.
5. Keď uviaznete, resetujte pohľad. Overte poznámky, zmeňte prehľadávanú číslicu alebo priestor a vráťte sa k jednotkám. Frustráciu nemeňte na nepodložené umiestnenie.

Prepočítaný príklad: nahradiť dvojcestné hádanie logikou

Predpokladajme, že r6c4 obsahuje kandidátov {3,8}. Zvoliť 3 by bolo hádanie, lebo obe hodnoty ešte spĺňajú bezprostredné pravidlá riadka, stĺpca a bloku. Namiesto vetvenia skontrolujte, kde sa 3 a 8 vyskytujú v súvisiacich priestoroch, a hľadajte vzor, ktorý jedného kandidáta odstráni.

1. Neumiestňujte ani jedného kandidáta. Nechajte {3,8} ako poznámku. Absencia okamžitej duplicity nie je dôkaz, že jedna vetva je správna; spory sa môžu objaviť o mnoho ťahov neskôr.
2. Skontrolujte pozície v bloku. Ak každá 3 v bloku leží v riadku 6, blok ukazuje na riadok 6. Odstráňte 3 z ostatných políčok riadka 6 mimo bloku uzamknutými kandidátmi.
3. Preneste vylúčenie ďalej. Predpokladajme, že r6c9 prejde z {3,5} na {5}. Umiestnite 5 a aktualizujte riadok 6, stĺpec 9 a blok. Nová číslica môže odstrániť 8 zo suseda r6c4.
4. Vráťte sa len s odôvodnením. Ak neskoršia logika odstráni 8 z r6c4, umiestnite 3 a zaznamenajte dôvod. Tá istá konečná hodnota je teraz záver, nie vetva, ktorú ste náhodou skúsili prví.

Návyky, ktoré maskujú hádanie

Cvičný zoznam bez hádania

• Pred každým umiestnením pomenujte, či ide o nahú jednotku, skrytú jednotku alebo dôsledok konkrétneho vylúčenia.
• Používajte poznámky na otvorené možnosti a veľké číslice len na hodnoty dokázané logikou.
• Keď uviaznete dve minúty, skontrolujte jeden riadok, jeden stĺpec a jeden blok namiesto testovania kandidáta.
• Po použití Späť nájdite nepodložený krok a obnovte logiku kandidátov namiesto skúšania druhej vetvy.

Liek na hádanie nie je väčšia opatrnosť okolo jedného políčka; je to lepší proces pre celú mriežku. Použite pevné prehľadávanie, udržiavajte kandidátov, vyžadujte dôvod a resetujte pohľad, keď postup zastane. Začnite Klasickou Strednou alebo Ťažkou, kde sú potrebné techniky dosť viditeľné na cvičenie, ale dosť pestré, aby cyklus bez hádania dával zmysel.

Časté otázky o riešení bez hádania