Nishio je starostlivé „čo ak?“. Skúsiš kandidáta ako pravdivého a sleduješ vynútené dôsledky (nie divoké tipy). Ak sa tento svet rozbije o pravidlá, skúšaný kandidát neplatil.
Je to dôkaz sporom — stále logika, nie náhodné hádanie.
Prečo to funguje
Sudoku nikdy nepripúšťa spor. Ak predpoklad číslice D v políčku vynúti dve rovnaké číslice v oblasti alebo vyprázdni políčko od všetkých kandidátov, D tam byť nemôže.
V skúške prijímaš len vynútené ťahy. Overovanie pomocou vynucujúcich reťazí (dokazovanie vzoru) je niečo iné než divoké hádanie — Nishio je tá starostlivá verzia.
Ako to nájsť
V skúšobnom svete sleduj len vynútené ťahy — nikdy nie divoké tipy. Ak sa svet rozbije, skúšaný kandidát neplatí.
Ukážka
Keď sa jednoduchšie vzory zaseknú, vyber sľubného kandidáta a spýtaj sa: čo ak by toto platilo?
Sleduj len vynútené doplnenia a eliminácie. Tu skúška vzoru na 1 vedie k sporu — Nishio.
Platné sudoku sa do takého rozbitého sveta nemôže dostať. Skúšaný kandidát teda nemôže platiť.
Vylúč nemožných kandidátov (červené) (tu 1).
Príklad 1
Vyskúšaj kandidáta a sleduj vynucujúcu reťaz (len vynútené ťahy).
Nishio ukazuje, že 6 tu nemôže platiť — vybuchne do sporu.
Odstráň kandidátov, ktorí viedli k sporu (červené) (tu 6). Tento skúšobný svet bol neplatný.
Príklad 2
Vyskúšaj kandidáta a sleduj vynucujúcu reťaz (len vynútené ťahy).
Nishio ukazuje, že 7 tu nemôže platiť — vybuchne do sporu.
Odstráň kandidátov, ktorí viedli k sporu (červené) (tu 7). Tento skúšobný svet bol neplatný.