Nishio – atsargus „o kas, jeigu?“. Bandai kandidatą kaip teisingą ir seki priverstines pasekmes (ne laukinius spėjimus). Jei tas pasaulis pažeidžia taisykles, bandomas kandidatas buvo klaidingas.
Tai įrodymas prieštara – vis dar logika, ne atsitiktinis spėliojimas.
Kodėl tai veikia
Sudoku niekada neleidžia prieštaros. Jei prielaida, kad langelyje yra skaitmuo D, priverčia du vienodus skaitmenis vienoje srityje arba palieka langelį be kandidatų, tai D ten būti negali.
Bandyme priimi tik priverstinius ėjimus. Treneris atskiria priverstinių grandinių tikrinimą (rašto įrodymą) nuo laukinio spėliojimo – Nishio yra atsargioji versija.
Kaip pastebėti
Bandymo pasaulyje sek tik priverstinius ėjimus – niekada laukinių spėjimų. Jei pasaulis sugriūva, bandomas kandidatas klaidingas.
Demonstracija
Kai paprastesni raštai įstringa, pasirink perspektyvų kandidatą ir paklausk: o kas, jeigu jis teisingas?
Sek tik priverstinius įrašymus ir pašalinimus. Čia bandymas su 1 veda į prieštarą – Nishio.
Teisingas Sudoku negali pasiekti tokio sugriuvusio pasaulio. Taigi bandomas kandidatas negali būti teisingas.
Pašalink neįmanomą kandidatą (-us) (raudona) (čia 1).
1 pavyzdys
Išbandyk kandidatą ir sek priverstinę grandinę (tik priverstiniai ėjimai).
Nishio rodo, kad 6 čia negali būti teisingas – jis sprogsta prieštara.
Pašalink prieštaringą kandidatą (-us) (raudona) (čia 6). Tas bandymo pasaulis buvo neteisėtas.
2 pavyzdys
Išbandyk kandidatą ir sek priverstinę grandinę (tik priverstiniai ėjimai).
Nishio rodo, kad 7 čia negali būti teisingas – jis sprogsta prieštara.
Pašalink prieštaringą kandidatą (-us) (raudona) (čia 7). Tas bandymo pasaulis buvo neteisėtas.