Техника «Форсирующая цепь» в судоку

Форсирующая цепь рассматривает все альтернативы исходной посылки. Если каждая ветвь приводит к одному результату, он истинен; противоречивая ветвь имеет ложную посылку.

Определение и условия

Начальные ветви должны покрывать все возможности, а каждая стрелка обязана следовать из реального ограничения кандидатов.

Пример на полном поле

В строке 4 цифра 1 возможна только в R4C4, R4C6 или R4C8. Все три ветви приводят к R1C7=4, значит в R1C7 ставится 4.

Как находить

Выберите область с малым числом позиций, перечислите все ветви, проследите их отдельно и запишите противоречия или общий результат.

Почему это работает

Хотя бы одна начальная посылка истинна. Если все посылки вынуждают один результат, он не зависит от выбора правильной ветви.

Связь с другими техниками

AIC обычно является одной чередующейся цепью, а форсирующая цепь сравнивает ветви. Нельзя проверять только удобные ветви или пропускать выводы.

Итог

Охватите все альтернативы и принимайте только доказанное противоречие или общий вывод.

Частые вопросы

Это угадывание?

Нет, техника проверяет полные логические ветви.

Что такое общий вывод?

Результат, к которому приходят все начальные ветви.

Чем отличается форсирующая сеть?

Сеть допускает дополнительные разветвления внутри ветвей.