Nishio — аккуратное «а что если?». Ты предполагаешь, что кандидат истинен, и следуешь за вынужденными последствиями (а не за случайными догадками). Если этот мир нарушает правила, проверяемый кандидат был ложным.
Это доказательство от противного — по-прежнему логика, а не гадание.
Почему это работает
В судоку противоречий не бывает. Если предположение о цифре D в клетке приводит к двум одинаковым цифрам в области или оставляет клетку без кандидатов, значит, D там стоять не может.
В проверке принимай только вынужденные ходы. Тренер отделяет проверку через форсирующие цепочки (доказательство шаблона) от случайных догадок — Nishio и есть аккуратный вариант.
Как это заметить
В проверочном мире следуй только за вынужденными ходами — никаких случайных догадок. Если мир ломается, проверяемый кандидат ложен.
Демонстрация
Когда простые шаблоны не помогают, выбери перспективного кандидата и спроси: а что, если он истинен?
Следуй только за вынужденными установками и исключениями. Здесь проверка шаблона на 1 ведёт к противоречию — это Nishio.
Правильное судоку не может прийти в такой сломанный мир. Значит, проверяемый кандидат не может быть истинным.
Исключи невозможных кандидатов (красным) (здесь 1).
Пример 1
Проверь кандидата и пройди по форсирующей цепочке (только вынужденные ходы).
Nishio показывает, что 6 здесь не может быть истинной — это ведёт к противоречию.
Убери кандидатов, приводящих к противоречию (красным) (здесь 6). Этот проверочный мир был недопустим.
Пример 2
Проверь кандидата и пройди по форсирующей цепочке (только вынужденные ходы).
Nishio показывает, что 7 здесь не может быть истинной — это ведёт к противоречию.
Убери кандидатов, приводящих к противоречию (красным) (здесь 7). Этот проверочный мир был недопустим.