A Nishio egy óvatos „mi lenne, ha?”. Kipróbálsz egy jelöltet igaznak, és csak a kényszerített következményeket követed (nem vad tippeket). Ha ez a világ megszegi a szabályokat, a kipróbált jelölt hamis volt.
Ez ellentmondásos bizonyítás – továbbra is logika, nem véletlenszerű találgatás.
Miért működik
A sudoku soha nem enged meg ellentmondást. Ha a D számjegy feltételezése egy cellában ugyanannak a számjegynek két példányát kényszeríti egy egységbe, vagy kiüríti egy cella összes jelöltjét, akkor D nem lehet ott.
A próbában csak kényszerített lépéseket fogadsz el. A kényszerláncos érvelés (egy minta bizonyítása) nem azonos a vad találgatással – a Nishio az óvatos változat.
Hogyan veheted észre
A próbavilágban csak kényszerített lépéseket kövess – soha ne vad tippeket. Ha a világ összeomlik, a kipróbált jelölt hamis.
Bemutató
Ha az egyszerűbb minták elakadnak, válassz egy ígéretes jelöltet, és kérdezd meg: mi lenne, ha ez igaz lenne?
Csak a kényszerített beírásokat és kizárásokat kövesd. Itt a minta kipróbálása ezen (1) ellentmondáshoz vezet – ez a Nishio.
Egy szabályos sudoku nem juthat el ebbe a hibás világba. A kipróbált jelölt tehát nem lehet igaz.
Zárd ki a lehetetlen jelölt(ek)et (piros) (itt: 1).
1. példa
Próbálj ki egy jelöltet, és kövesd a kényszerláncot (csak kényszerített lépések).
A Nishio megmutatja, hogy ez itt nem lehet igaz: 6 – ellentmondásba torkollik.
Töröld az ellentmondáshoz vezető jelölt(ek)et (piros) (itt: 6). Az a próbavilág szabálytalan volt.
2. példa
Próbálj ki egy jelöltet, és kövesd a kényszerláncot (csak kényszerített lépések).
A Nishio megmutatja, hogy ez itt nem lehet igaz: 7 – ellentmondásba torkollik.
Töröld az ellentmondáshoz vezető jelölt(ek)et (piros) (itt: 7). Az a próbavilág szabálytalan volt.