Nishio është një “po sikur?” i kujdesshëm. Provon një kandidat si të vërtetë dhe ndjek pasojat e detyruara (jo hamendje të egra). Nëse ajo botë i thyen rregullat, kandidati i provuar ishte i rremë.
Kjo është provë me kundërshtim — prapë logjikë, jo hamendje e rastësishme.
Pse funksionon
Sudoku nuk lejon kurrë një kundërshtim. Nëse supozimi i shifrës D në një qelizë detyron dy herë të njëjtën shifër në një njësi, ose e zbraz një qelizë nga të gjithë kandidatët, atëherë D nuk mund të jetë aty.
Në provë pranon vetëm lëvizje të detyruara. Trajneri e ndan vërtetimin me zinxhirë detyrues (provimin e një modeli) nga hamendja e egër — Nishio është versioni i kujdesshëm.
Si ta dallosh
Në botën e provës ndiq vetëm lëvizje të detyruara — kurrë hamendje të egra. Nëse bota thyhet, kandidati i provuar është i rremë.
Demonstrim
Kur modelet më të thjeshta ngecin, zgjidh një kandidat premtues dhe pyet: po sikur ky të ishte i vërtetë?
Ndiq vetëm vendosjet dhe eliminimet e detyruara. Këtu provimi i modelit me 1 të çon në një kundërshtim — Nishio.
Një Sudoku e ligjshme nuk mund ta arrijë atë botë të thyer. Pra, kandidati i provuar nuk mund të jetë i vërtetë.
Elimino kandidatin ose kandidatët e pamundur (e kuqe) (këtu 1).
Shembulli 1
Provo një kandidat dhe ndiq zinxhirin detyrues (vetëm lëvizje të detyruara).
Nishio tregon që 6 nuk mund të jetë e vërtetë këtu — shpërthen në një kundërshtim.
Hiq kandidatin ose kandidatët e kundërshtuar (e kuqe) (këtu 6). Ajo botë prove ishte e palejuar.
Shembulli 2
Provo një kandidat dhe ndiq zinxhirin detyrues (vetëm lëvizje të detyruara).
Nishio tregon që 7 nuk mund të jetë e vërtetë këtu — shpërthen në një kundërshtim.
Hiq kandidatin ose kandidatët e kundërshtuar (e kuqe) (këtu 7). Ajo botë prove ishte e palejuar.