Nishio on huolellinen ”entä jos?”. Kokeilet ehdokasta totena ja seuraat pakotettuja seurauksia (et villejä arvauksia). Jos se maailma rikkoo sääntöjä, kokeiltu ehdokas oli epätosi.
Tämä on todistus ristiriidan kautta – edelleen logiikkaa, ei satunnaista arvailua.
Miksi se toimii
Sudoku ei koskaan salli ristiriitaa. Jos numeron D olettaminen ruutuun pakottaa saman numeron kahdesti yksikköön tai tyhjentää ruudun kaikista ehdokkaista, D ei voi olla siellä.
Hyväksyt kokeilussa vain pakotetut siirrot. Valmentaja erottaa pakkoketjujen validoinnin (kuvion todistaminen) villistä arvailusta – Nishio on huolellinen versio.
Miten sen huomaa
Seuraa kokeilumaailmassa vain pakotettuja siirtoja – älä koskaan villejä arvauksia. Jos maailma hajoaa, kokeiltu ehdokas on epätosi.
Esittely
Kun yksinkertaisemmat kuviot eivät enää auta, valitse lupaava ehdokas ja kysy: entä jos tämä olisi tosi?
Seuraa vain pakotettuja sijoituksia ja poistoja. Tässä kuvion kokeilu numerolla 1 johtaa ristiriitaan – Nishio.
Sallittu sudoku ei voi päätyä tuohon rikkinäiseen maailmaan. Kokeiltu ehdokas ei siis voi olla tosi.
Poista mahdottomat ehdokkaat (punaiset) (tässä 1).
Esimerkki 1
Kokeile ehdokasta ja seuraa pakkoketjua (vain pakotetut siirrot).
Nishio osoittaa, että 6 ei voi olla tosi tässä – se johtaa ristiriitaan.
Poista ristiriitaan johtaneet ehdokkaat (punaiset) (tässä 6). Se kokeilumaailma oli sääntöjen vastainen.
Esimerkki 2
Kokeile ehdokasta ja seuraa pakkoketjua (vain pakotetut siirrot).
Nishio osoittaa, että 7 ei voi olla tosi tässä – se johtaa ristiriitaan.
Poista ristiriitaan johtaneet ehdokkaat (punaiset) (tässä 7). Se kokeilumaailma oli sääntöjen vastainen.