Nishio je pažljivo „šta ako?“. Pretpostaviš da je kandidat tačan i pratiš nametnute posljedice (ne nasumična nagađanja). Ako taj scenarij krši pravila, probni kandidat je bio netačan.
Ovo je dokaz kontradikcijom — i dalje logika, a ne nasumično nagađanje.
Zašto funkcioniše
Sudoku nikada ne dozvoljava kontradikciju. Ako pretpostavka cifre D u ćeliji nameće dvije iste cifre u jedinici ili ostavlja ćeliju bez ijednog kandidata, onda D ne može biti tu.
U probi prihvataš samo nametnute poteze. Trener razdvaja provjeru prisilnim lancem (dokazivanje uzorka) od nasumičnog nagađanja — Nishio je pažljiva verzija.
Kako je uočiti
U probnom scenariju prati samo nametnute poteze — nikad nasumična nagađanja. Ako se scenarij raspadne, probni kandidat je netačan.
Demonstracija
Kad jednostavniji uzorci zapnu, odaberi obećavajućeg kandidata i pitaj se: šta ako je ovo tačno?
Prati samo nametnute upise i eliminacije. Ovdje proba uzorka na 1 vodi u kontradikciju — Nishio.
Ispravan sudoku ne može doći u taj pokvareni scenarij. Dakle, probni kandidat ne može biti tačan.
Ukloni nemoguće kandidate (crveno) (ovdje 1).
Primjer 1
Isprobaj kandidata i prati prisilni lanac (samo nametnuti potezi).
Nishio pokazuje da 6 ovdje ne može biti tačno — sve se raspada u kontradikciju.
Ukloni kandidate koji vode u kontradikciju (crveno) (ovdje 6). Taj probni scenarij nije bio dozvoljen.
Primjer 2
Isprobaj kandidata i prati prisilni lanac (samo nametnuti potezi).
Nishio pokazuje da 7 ovdje ne može biti tačno — sve se raspada u kontradikciju.
Ukloni kandidate koji vode u kontradikciju (crveno) (ovdje 7). Taj probni scenarij nije bio dozvoljen.