Nishio er varfærið „hvað ef?“. Þú prófar möguleika sem sannan og fylgir þvinguðum afleiðingum (ekki villtum ágiskunum). Ef sá heimur brýtur reglurnar var prófaði möguleikinn ósannur.
Þetta er sönnun með mótsögn — enn rökfræði, ekki tilviljanakennd ágiskun.
Af hverju þetta virkar
Sudoku leyfir aldrei mótsögn. Ef það að gera ráð fyrir tölunni D í reit neyðir tvö eintök af sömu tölu í einingu, eða tæmir reit af öllum möguleikum, þá getur D ekki verið þar.
Þú samþykkir aðeins þvingaða leiki í prófuninni. Þjálfarinn greinir á milli staðfestingar með þvingunarkeðju (að sanna mynstur) og villtra ágiskana — Nishio er varfærna útgáfan.
Hvernig á að koma auga á það
Fylgdu aðeins þvinguðum leikjum í prófunarheiminum — aldrei villtum ágiskunum. Ef heimurinn brotnar er prófaði möguleikinn ósannur.
Sýnidæmi
Þegar einfaldari mynstur stöðvast skaltu velja vænlegan möguleika og spyrja: hvað ef þessi væri sannur?
Fylgdu aðeins þvinguðum innsetningum og útilokunum. Hér leiðir prófun mynstursins á 1 til mótsagnar — Nishio.
Löglegt sudoku getur ekki náð þessum brotna heimi. Prófaði möguleikinn getur því ekki verið sannur.
Útilokaðu ómögulega möguleikann/möguleikana (rautt) (hér 1).
Dæmi 1
Prófaðu möguleika og fylgdu þvingunarkeðjunni (aðeins þvingaðir leikir).
Nishio sýnir að 6 getur ekki verið sönn hér — hún springur í mótsögn.
Fjarlægðu möguleikann/möguleikana sem leiddu til mótsagnar (rautt) (hér 6). Sá prófunarheimur var ólöglegur.
Dæmi 2
Prófaðu möguleika og fylgdu þvingunarkeðjunni (aðeins þvingaðir leikir).
Nishio sýnir að 7 getur ekki verið sönn hér — hún springur í mótsögn.
Fjarlægðu möguleikann/möguleikana sem leiddu til mótsagnar (rautt) (hér 7). Sá prófunarheimur var ólöglegur.