Platon Sudoku · Изучение судоку

Форсирующая цепь (Forcing Chain) · Пошаговый пример

Исчерпывающий набор альтернатив-кандидатов прослеживается через отдельные линейные цепочки импликаций. Оставьте только места размещения или исключения, общие для всех жизнеспособных ветвей.

Этот урок основан на материалах приложения Platon Sudoku. Изучите полный пример здесь, затем продолжайте обучение и практику в приложении.

Посмотреть в Google Play

Распознайте закономерность

Исчерпывающий набор альтернатив-кандидатов прослеживается через отдельные линейные цепочки импликаций.

Как его найти

Выберите истинное/ложное разделение или все позиции цифры в одном регионе; проследите за каждой ветвью до ее проверенного последствия.

Что это позволяет

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

Избегайте путаницы

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

Пошаговый пример · Две ветки

Пример начинается с сохранённой промежуточной позиции. Кандидаты учитывают предыдущие логические исключения и не являются только что созданными автоматическими заметками.

Синий: основания. Зелёный: вывод. Зачёркнутые цифры: исключённые кандидаты. R1C1 означает строку 1, столбец 1.

Шаг 1 · Где искать

Обычным результатом доказательства является R1C2=7; коммутатор ответвления — R1C2=5. Любой кандидат либо истинен, либо ложен, поэтому эти две ветви охватывают все возможности. Если оба достигают общего результата, этот результат является принудительным.

Шаг 2 · Рассуждение

Ветвь 1: предположим, что R1C2=5 истинно.

Шаг 3 · Рассуждение

R1C2=5 верно. Удалите R1C2=7.

Шаг 4 · Удалить предыдущую заливку прямоугольника.

Отзовите это предположение и его последствия. Вернитесь к неизмененному снимку кандидата, прежде чем рассматривать следующую возможность.

Шаг 5 · Рассуждение

Ветвь 2: предположим, что R1C2=5 является ложным.

Шаг 6 · Рассуждение

R1C2=5 — ложь. Вместе эти две стороны содержат все оставшиеся опции в строка 1. Следовательно, R1C5=5 должно быть истинным.

Шаг 7 · Рассуждение

R1C5=5 верно. Удалите R2C5=5 из столбец 5.

Шаг 8 · Рассуждение

R2C5=5 — ложь. Вместе эти две стороны содержат все оставшиеся опции в строка 2. Следовательно, R2C8=5 должно быть истинным.

Шаг 9 · Рассуждение

R2C8=5 верно. Удалите R2C8=9.

Шаг 10 · Рассуждение

R2C8=9 — ложь. Вместе эти две стороны содержат все оставшиеся опции в строка 2. Следовательно, R2C4=9 должно быть истинным.

Шаг 11 · Рассуждение

R2C4=9 верно. Удалите R1C4=9 из столбец 4.

Шаг 12 · Рассуждение

R1C4=9 — ложь. В R1C4 теперь осталось только R1C4=7, так что это должно быть правдой.

Шаг 13 · Рассуждение

R1C4=7 верно. Удалите R1C2=7 из строка 1.

Шаг 14 · Рассуждение

Каждая возможная ветвь приводит к одному и тому же факту: R1C2=7 — ложь. После снятия всех предположений этот факт остается несомненным.

Шаг 15 · Заключение

Подтвержденный результат — R1C2=7 — ложь. Все временные предположения были сняты.

Что это позволяет

Подтвержденный результат — R1C2=7 — ложь. Все временные предположения были сняты.

Форсирующая цепь (Forcing Chain) · Оставьте только места размещения или исключения, общие для всех жизнеспособных ветвей.

Пошаговый пример · Несколько ветвей

Синий: основания. Зелёный: вывод. Зачёркнутые цифры: исключённые кандидаты. R1C1 означает строку 1, столбец 1.

Шаг 1 · Где искать

Корни R2C4=2, R2C4=3, R2C4=6, R2C4=7 — все возможные кандидаты в R2C4. Следуйте каждому как отдельной линейной цепочке последствий; если каждый корень достигает R2C6=3, этот результат является обязательным. Несколько корней сами по себе не делают это Forcing Net.