Nishio е внимателно „ами ако?“. Пробваш кандидат като верен и следваш принудените последствия (не диви догадки). Ако този свят наруши правилата, пробният кандидат е бил неверен.
Това е доказателство от противното — пак логика, не случайно гадаене.
Защо работи
Судоку никога не допуска противоречие. Ако допускането на цифра D в клетка налага две еднакви цифри в зона или изпразва клетка от всички кандидати, тогава D не може да е там.
В пробния свят приемаш само принудени ходове. Треньорът разграничава проверката с принудителни вериги (доказване на фигура) от дивото гадаене — Nishio е внимателната версия.
Как да я забележиш
В пробния свят следвай само принудени ходове — никога диви догадки. Ако светът се счупи, пробният кандидат е неверен.
Демонстрация
Когато по-простите фигури засядат, избери обещаващ кандидат и се запитай: ами ако това е вярно?
Следвай само принудени поставяния и изключвания. Тук пробата с 1 води до противоречие — Nishio.
Валидното судоку не може да стигне до този счупен свят. Значи пробният кандидат не може да е верен.
Премахни невъзможния(ите) кандидат(и) (червено) (тук 1).
Пример 1
Пробвай кандидат и следвай принудителната верига (само принудени ходове).
Nishio показва, че 6 не може да е вярно тук — води до противоречие.
Премахни опровергания(ите) кандидат(и) (червено) (тук 6). Този пробен свят беше недопустим.
Пример 2
Пробвай кандидат и следвай принудителната верига (само принудени ходове).
Nishio показва, че 7 не може да е вярно тук — води до противоречие.
Премахни опровергания(ите) кандидат(и) (червено) (тук 7). Този пробен свят беше недопустим.