Nishio ir rūpīgs „kas būtu, ja?”. Tu pieņem, ka kandidāts ir patiess, un seko piespiedu sekām (nevis mežonīgiem minējumiem). Ja šī pasaule pārkāpj noteikumus, izmēģinātais kandidāts bija nepatiess.
Tas ir pierādījums ar pretrunu — joprojām loģika, nevis nejauša minēšana.
Kāpēc tas darbojas
Sudoku nekad nepieļauj pretrunu. Ja pieņēmums, ka šūnā ir cipars D, piespiež divus vienādus ciparus vienā apgabalā vai atstāj šūnu bez neviena kandidāta, tad D tur nevar būt.
Izmēģinājumā pieņem tikai piespiedu gājienus. Treneris nošķir piespiedu ķēžu pārbaudi (raksta pierādīšanu) no mežonīgas minēšanas — Nishio ir rūpīgā versija.
Kā to pamanīt
Izmēģinājuma pasaulē seko tikai piespiedu gājieniem — nekad mežonīgiem minējumiem. Ja pasaule sabrūk, izmēģinātais kandidāts ir nepatiess.
Demonstrācija
Kad vienkāršāki raksti iestrēgst, izvēlies daudzsološu kandidātu un pajautā: kas būtu, ja tas būtu patiess?
Seko tikai piespiedu ievietošanām un izslēgšanām. Šeit raksta izmēģināšana ar 1 noved pie pretrunas — Nishio.
Derīgs sudoku nevar nonākt šādā salauztā pasaulē. Tātad izmēģinātais kandidāts nevar būt patiess.
Izslēdz neiespējamo kandidātu(-us) (sarkanā krāsā) (šeit 1).
1. piemērs
Izmēģini kandidātu un seko piespiedu ķēdei (tikai piespiedu gājieni).
Nishio parāda, ka 6 šeit nevar būt patiess — tas noved pie pretrunas.
Izņem pretrunā nonākušo kandidātu(-us) (sarkanā krāsā) (šeit 6). Šī izmēģinājuma pasaule bija nederīga.
2. piemērs
Izmēģini kandidātu un seko piespiedu ķēdei (tikai piespiedu gājieni).
Nishio parāda, ka 7 šeit nevar būt patiess — tas noved pie pretrunas.
Izņem pretrunā nonākušo kandidātu(-us) (sarkanā krāsā) (šeit 7). Šī izmēģinājuma pasaule bija nederīga.