Nishio е внимателно „што ако?“. Пробуваш кандидат како точен и ги следиш принудните последици (не диви погодувања). Ако тој свет ги крши правилата, пробниот кандидат бил неточен.
Ова е доказ со контрадикција — сѐ уште логика, не случајно погодување.
Зошто функционира
Судоку никогаш не дозволува контрадикција. Ако претпоставката за цифрата D во ќелија принудува две исти цифри во една област, или ја испразнува ќелијата од сите кандидати, тогаш D не може да биде таму.
Во пробата прифаќаш само принудни потези. Учењето ја одвојува проверката со присилни синџири (докажување шема) од дивото погодување — Nishio е внимателната верзија.
Како да ја забележиш
Во пробниот свет следи само принудни потези — никогаш диви погодувања. Ако светот се скрши, пробниот кандидат е неточен.
Демонстрација
Кога поедноставните шеми ќе застанат, избери ветувачки кандидат и прашај: што ако ова е точно?
Следи само принудни поставувања и елиминации. Тука пробувањето на шемата на 1 води до контрадикција — Nishio.
Правилно судоку не може да стигне до тој скршен свет. Значи пробниот кандидат не може да е точен.
Елиминирај го невозможниот кандидат (кандидати) (црвено) (тука 1).
Пример 1
Пробај кандидат и следи го присилниот синџир (само принудни потези).
Nishio покажува дека 6 не може да е точна тука — експлодира во контрадикција.
Отстрани го кандидатот (кандидатите) со контрадикција (црвено) (тука 6). Тој пробен свет беше недозволен.
Пример 2
Пробај кандидат и следи го присилниот синџир (само принудни потези).
Nishio покажува дека 7 не може да е точна тука — експлодира во контрадикција.
Отстрани го кандидатот (кандидатите) со контрадикција (црвено) (тука 7). Тој пробен свет беше недозволен.