Nishio on hoolikas „mis siis, kui?“. Proovid kandidaati tõesena ja järgid sunnitud tagajärgi (mitte metsikuid oletusi). Kui see maailm rikub reegleid, oli proovitud kandidaat väär.
See on vastuväiteline tõestus – endiselt loogika, mitte juhuslik arvamine.
Miks see töötab
Sudoku ei luba kunagi vastuolu. Kui numbri D oletamine lahtrisse sunnib piirkonda kaks sama numbrit või tühjendab mõne lahtri kõigist kandidaatidest, ei saa D seal olla.
Proovimise ajal aktsepteerid ainult sunnitud käike. Treener eristab sundahela kontrolli (mustri tõestamine) metsikust arvamisest – Nishio on hoolikas versioon.
Kuidas seda märgata
Järgi proovimaailmas ainult sunnitud käike – mitte kunagi metsikuid oletusi. Kui maailm puruneb, on proovitud kandidaat väär.
Näidis
Kui lihtsamad mustrid takerduvad, vali paljulubav kandidaat ja küsi: mis siis, kui see oleks tõene?
Järgi ainult sunnitud paigutusi ja välistamisi. Siin viib mustri proovimine numbril 1 vastuoluni – Nishio.
Reeglipärane sudoku ei saa sellisesse katkisesse maailma jõuda. Seega ei saa proovitud kandidaat olla tõene.
Välista võimatu(d) kandidaat(-did) (punane) (siin 1).
Näide 1
Proovi kandidaati ja järgi sundahelat (ainult sunnitud käigud).
Nishio näitab, et 6 ei saa siin tõene olla – see plahvatab vastuoluks.
Eemalda vastuoluni viinud kandidaat(-did) (punane) (siin 6). See proovimaailm oli reeglitevastane.
Näide 2
Proovi kandidaati ja järgi sundahelat (ainult sunnitud käigud).
Nishio näitab, et 7 ei saa siin tõene olla – see plahvatab vastuoluks.
Eemalda vastuoluni viinud kandidaat(-did) (punane) (siin 7). See proovimaailm oli reeglitevastane.