Nishio je pečlivé „co kdyby?“. Zkusíš kandidáta jako platného a sleduješ vynucené důsledky (žádné divoké tipy). Pokud ten svět poruší pravidla, zkoušený kandidát byl nepravdivý.
Je to důkaz sporem — pořád logika, ne náhodné hádání.
Proč to funguje
Sudoku nikdy nepřipouští spor. Pokud předpoklad číslice D v políčku vynutí dvě stejné číslice v jednotce nebo vyprázdní políčko od všech kandidátů, D tam být nemůže.
V pokusu přijímáš jen vynucené tahy. Ověřování vynucujícím řetězcem (dokazování vzoru) je něco jiného než divoké hádání — Nishio je ta pečlivá verze.
Jak to najít
Ve zkušebním světě sleduj jen vynucené tahy — nikdy divoké tipy. Pokud se svět rozbije, zkoušený kandidát neplatí.
Ukázka
Když jednodušší vzory nestačí, vyber slibného kandidáta a zeptej se: co kdyby tohle platilo?
Sleduj jen vynucená doplnění a eliminace. Tady vyzkoušení vzoru na 1 vede ke sporu — Nishio.
Platné sudoku se do takového rozbitého světa nemůže dostat. Zkoušený kandidát tedy platit nemůže.
Vyškrtni nemožné kandidáty (červeně) (tady 1).
Příklad 1
Vyzkoušej kandidáta a sleduj vynucující řetězec (jen vynucené tahy).
Nishio ukazuje, že 6 tu platit nemůže — vybuchne ve spor.
Odstraň kandidáty vedoucí ke sporu (červeně) (tady 6). Ten zkušební svět byl neplatný.
Příklad 2
Vyzkoušej kandidáta a sleduj vynucující řetězec (jen vynucené tahy).
Nishio ukazuje, že 7 tu platit nemůže — vybuchne ve spor.
Odstraň kandidáty vedoucí ke sporu (červeně) (tady 7). Ten zkušební svět byl neplatný.