Nishio este un „ce-ar fi dacă?” atent. Încerci un candidat ca adevărat și urmezi consecințele forțate (nu ghiciri la întâmplare). Dacă acea lume încalcă regulile, candidatul încercat era fals.
Este o demonstrație prin reducere la absurd — tot logică, nu ghicit la întâmplare.
De ce funcționează
Sudoku nu permite niciodată o contradicție. Dacă presupunerea cifrei D într-o celulă forțează două cifre identice într-o unitate sau golește o celulă de toți candidații, atunci D nu poate fi acolo.
În încercare accepți doar mutări forțate. Antrenorul separă validarea prin lanțuri forțate (demonstrarea unui tipar) de ghicitul la întâmplare — Nishio este versiunea atentă.
Cum o recunoști
În lumea de încercare urmează doar mutări forțate — niciodată ghiciri la întâmplare. Dacă lumea se strică, candidatul încercat este fals.
Demonstrație
Când tiparele mai simple se blochează, alege un candidat promițător și întreabă-te: ce-ar fi dacă ar fi adevărat?
Urmează doar plasările și eliminările forțate. Aici, încercarea tiparului pe 1 duce la o contradicție — Nishio.
Un Sudoku valid nu poate ajunge în acea lume stricată. Deci candidatul încercat nu poate fi adevărat.
Elimină candidatul (candidații) imposibil (roșu) (aici 1).
Exemplul 1
Încearcă un candidat și urmează lanțul forțat (doar mutări forțate).
Nishio arată că 6 nu poate fi adevărat aici — duce direct la o contradicție.
Elimină candidatul (candidații) contrazis (roșu) (aici 6). Acea lume de încercare era nevalidă.
Exemplul 2
Încearcă un candidat și urmează lanțul forțat (doar mutări forțate).
Nishio arată că 7 nu poate fi adevărat aici — duce direct la o contradicție.
Elimină candidatul (candidații) contrazis (roșu) (aici 7). Acea lume de încercare era nevalidă.