Nishio — це обережне «а що, як?». Ти пробуєш кандидата як істинного й простежуєш вимушені наслідки (а не дикі здогадки). Якщо цей світ порушує правила, пробний кандидат був хибним.
Це доведення від супротивного — усе ще логіка, а не випадкове вгадування.
Чому це працює
Судоку ніколи не допускає суперечності. Якщо припущення цифри D у клітинці змушує дві однакові цифри в області або залишає клітинку без кандидатів, то D там бути не може.
У пробі ти приймаєш лише вимушені ходи. Тренер відрізняє перевірку форсувальним ланцюгом (доведення патерну) від дикого вгадування — Nishio є обережною версією.
Як це помітити
У пробному світі простежуй лише вимушені ходи — ніколи не вгадуй навмання. Якщо світ ламається, пробний кандидат хибний.
Демонстрація
Коли простіші патерни не працюють, вибери перспективного кандидата й запитай: а що, як він істинний?
Простежуй лише вимушені розміщення та виключення. Тут спроба патерну на 1 веде до суперечності — це Nishio.
Правильний судоку не може дійти до такого зламаного світу. Тож пробний кандидат не може бути істинним.
Виключи неможливих кандидатів (червоним) (тут 1).
Приклад 1
Спробуй кандидата й простеж форсувальний ланцюг (лише вимушені ходи).
Nishio показує, що 6 тут не може бути істинною — це вибухає суперечністю.
Прибери кандидатів, що призвели до суперечності (червоним) (тут 6). Цей пробний світ був недопустимим.
Приклад 2
Спробуй кандидата й простеж форсувальний ланцюг (лише вимушені ходи).
Nishio показує, що 7 тут не може бути істинною — це вибухає суперечністю.
Прибери кандидатів, що призвели до суперечності (червоним) (тут 7). Цей пробний світ був недопустимим.