Platon Games
Русский

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

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

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

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

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

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

A Forcing Net разветвляет и объединяет возможные значения. Он может опровергнуть предположение или доказать общий результат для всех альтернатив.

Как его найти

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

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

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

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

Не пропускайте ветку и не путайте общий эффект с эффектом только одного пути.

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

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

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

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

R1C3=7 может быть либо истинным, либо ложным. Граф проверяет R1C3=7 верно; противоречие исключает это состояние и вызывает R1C3=7 — ложь, поэтому два возможных состояния полностью покрываются. Это Forcing Net, а не Forcing Chain, потому что проверенный граф зависимостей разветвляется или сливается вместо того, чтобы оставаться единым линейным путем импликации.. Исследуемая ветка содержит проверенные узлы 49.

R1C3=7 может быть либо истинным, либо ложным. Граф проверяет R1C3=7 верно; противоречие исключает это состояние и вызывает R1C3=7 — ложь, поэтому два возможных состояния полностью покрываются. Это Forcing Net, а не Forcing Chain, потому что проверенный граф зависимостей разветвляется или сливается вместо того, чтобы оставаться единым линейным путем импликации.. Исследуемая ветка содержит проверенные узлы 49.
R1C3=7 может быть либо истинным, либо ложным. Граф проверяет R1C3=7 верно; противоречие исключает это состояние и вызывает R1C3=7 — ложь, поэтому два возможных состояния полностью покрываются. Это Forcing Net, а не Forcing Chain, потому что проверенный граф зависимостей разветвляется или сливается вместо того, чтобы оставаться единым линейным путем импликации.. Исследуемая ветка содержит проверенные узлы 49.
Шаг 2 · Рассуждение

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

Ветвь 1: предположим, что R1C3=7 истинно.
Ветвь 1: предположим, что R1C3=7 истинно.
Шаг 3 · Рассуждение

R1C3=7 верно. Удалите {R1C3=2, R1C3=9, R1C8=7, R2C1=7, R3C1=7, R8C3=7}.

R1C3=7 верно. Удалите {R1C3=2, R1C3=9, R1C8=7, R2C1=7, R3C1=7, R8C3=7}.
R1C3=7 верно. Удалите {R1C3=2, R1C3=9, R1C8=7, R2C1=7, R3C1=7, R8C3=7}.
Шаг 4 · Рассуждение

После предыдущих исключений R8C3=3 является единственной оставшейся опцией в R8C3. Это вынужденное предположение.

После предыдущих исключений R8C3=3 является единственной оставшейся опцией в R8C3. Это вынужденное предположение.
После предыдущих исключений R8C3=3 является единственной оставшейся опцией в R8C3. Это вынужденное предположение.
Шаг 5 · Рассуждение

R8C3=3 верно. Удалите R7C3=3.

R8C3=3 верно. Удалите R7C3=3.
R8C3=3 верно. Удалите R7C3=3.
Шаг 6 · Рассуждение

После предыдущих исключений R7C4=3 является единственной оставшейся опцией в строка 7. Это вынужденное предположение.

После предыдущих исключений R7C4=3 является единственной оставшейся опцией в строка 7. Это вынужденное предположение.
После предыдущих исключений R7C4=3 является единственной оставшейся опцией в строка 7. Это вынужденное предположение.
Шаг 7 · Рассуждение

После предыдущих исключений R8C2=7 является единственной оставшейся опцией в строка 8. Это вынужденное предположение.

После предыдущих исключений R8C2=7 является единственной оставшейся опцией в строка 8. Это вынужденное предположение.
После предыдущих исключений R8C2=7 является единственной оставшейся опцией в строка 8. Это вынужденное предположение.
Шаг 8 · Рассуждение

R8C2=7 верно. Удалите R8C2=8.

R8C2=7 верно. Удалите R8C2=8.
R8C2=7 верно. Удалите R8C2=8.
Шаг 9 · Рассуждение

После предыдущих исключений R8C8=8 является единственной оставшейся опцией в строка 8. Это вынужденное предположение.

После предыдущих исключений R8C8=8 является единственной оставшейся опцией в строка 8. Это вынужденное предположение.
После предыдущих исключений R8C8=8 является единственной оставшейся опцией в строка 8. Это вынужденное предположение.
Шаг 10 · Рассуждение

R8C8=8 верно. Удалите R8C8=4.

R8C8=8 верно. Удалите R8C8=4.
R8C8=8 верно. Удалите R8C8=4.
Шаг 11 · Рассуждение

После предыдущих исключений R6C1=7 является единственной оставшейся опцией в столбец 1. Это вынужденное предположение.

После предыдущих исключений R6C1=7 является единственной оставшейся опцией в столбец 1. Это вынужденное предположение.
После предыдущих исключений R6C1=7 является единственной оставшейся опцией в столбец 1. Это вынужденное предположение.
Шаг 12 · Рассуждение

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

R6C1=7 верно. Удалите R6C1=5.
R6C1=7 верно. Удалите R6C1=5.
Шаг 13 · Рассуждение

После предыдущих исключений R3C8=4 является единственной оставшейся опцией в столбец 8. Это вынужденное предположение.

После предыдущих исключений R3C8=4 является единственной оставшейся опцией в столбец 8. Это вынужденное предположение.
После предыдущих исключений R3C8=4 является единственной оставшейся опцией в столбец 8. Это вынужденное предположение.
Шаг 14 · Рассуждение

R3C8=4 верно. Удалите {R3C8=1, R3C8=6}.

R3C8=4 верно. Удалите {R3C8=1, R3C8=6}.
R3C8=4 верно. Удалите {R3C8=1, R3C8=6}.
Шаг 15 · Рассуждение

После предыдущих исключений R3C1=2 является единственной оставшейся опцией в блок 1. Это вынужденное предположение.

После предыдущих исключений R3C1=2 является единственной оставшейся опцией в блок 1. Это вынужденное предположение.
После предыдущих исключений R3C1=2 является единственной оставшейся опцией в блок 1. Это вынужденное предположение.
Шаг 16 · Рассуждение

R3C1=2 верно. Удалите R3C1=5.

R3C1=2 верно. Удалите R3C1=5.
R3C1=2 верно. Удалите R3C1=5.
Шаг 17 · Рассуждение

После предыдущих исключений R9C7=4 является единственной оставшейся опцией в блок 9. Это вынужденное предположение.

После предыдущих исключений R9C7=4 является единственной оставшейся опцией в блок 9. Это вынужденное предположение.
После предыдущих исключений R9C7=4 является единственной оставшейся опцией в блок 9. Это вынужденное предположение.
Шаг 18 · Рассуждение

R9C7=4 верно. Удалите R9C7=9.

R9C7=4 верно. Удалите R9C7=9.
R9C7=4 верно. Удалите R9C7=9.
Шаг 19 · Рассуждение

После предыдущих исключений R7C9=9 является единственной оставшейся опцией в блок 9. Это вынужденное предположение.

После предыдущих исключений R7C9=9 является единственной оставшейся опцией в блок 9. Это вынужденное предположение.
После предыдущих исключений R7C9=9 является единственной оставшейся опцией в блок 9. Это вынужденное предположение.
Шаг 20 · Рассуждение

R3C8=4 верно. Удалите R2C7=4.

R3C8=4 верно. Удалите R2C7=4.
R3C8=4 верно. Удалите R2C7=4.
Шаг 21 · Рассуждение

R6C1=7 верно. Удалите R6C7=7.

R6C1=7 верно. Удалите R6C7=7.
R6C1=7 верно. Удалите R6C7=7.
Шаг 22 · Рассуждение

После предыдущих исключений R6C7=6 является единственной оставшейся опцией в R6C7. Это вынужденное предположение.

После предыдущих исключений R6C7=6 является единственной оставшейся опцией в R6C7. Это вынужденное предположение.
После предыдущих исключений R6C7=6 является единственной оставшейся опцией в R6C7. Это вынужденное предположение.
Шаг 23 · Рассуждение

R6C7=6 верно. Удалите R3C7=6.

R6C7=6 верно. Удалите R3C7=6.
R6C7=6 верно. Удалите R3C7=6.
Шаг 24 · Рассуждение

R7C4=3 верно. Удалите R2C4=3.

R7C4=3 верно. Удалите R2C4=3.
R7C4=3 верно. Удалите R2C4=3.
Шаг 25 · Рассуждение

R7C9=9 верно. Удалите {R1C9=9, R7C3=9}.

R7C9=9 верно. Удалите {R1C9=9, R7C3=9}.
R7C9=9 верно. Удалите {R1C9=9, R7C3=9}.
Шаг 26 · Рассуждение

R8C8=8 верно. Удалите R1C8=8.

R8C8=8 верно. Удалите R1C8=8.
R8C8=8 верно. Удалите R1C8=8.
Шаг 27 · Рассуждение

После предыдущих исключений R3C9=6 является единственной оставшейся опцией в строка 3. Это вынужденное предположение.

После предыдущих исключений R3C9=6 является единственной оставшейся опцией в строка 3. Это вынужденное предположение.
После предыдущих исключений R3C9=6 является единственной оставшейся опцией в строка 3. Это вынужденное предположение.
Шаг 28 · Рассуждение

R3C9=6 верно. Удалите R3C9=1.

R3C9=6 верно. Удалите R3C9=1.
R3C9=6 верно. Удалите R3C9=1.
Шаг 29 · Рассуждение

После предыдущих исключений R9C1=9 является единственной оставшейся опцией в строка 9. Это вынужденное предположение.

После предыдущих исключений R9C1=9 является единственной оставшейся опцией в строка 9. Это вынужденное предположение.
После предыдущих исключений R9C1=9 является единственной оставшейся опцией в строка 9. Это вынужденное предположение.
Шаг 30 · Рассуждение

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

R9C1=9 верно. Удалите R9C1=5.
R9C1=9 верно. Удалите R9C1=5.
Шаг 31 · Рассуждение

После предыдущих исключений R2C1=5 является единственной оставшейся опцией в столбец 1. Это вынужденное предположение.

После предыдущих исключений R2C1=5 является единственной оставшейся опцией в столбец 1. Это вынужденное предположение.
После предыдущих исключений R2C1=5 является единственной оставшейся опцией в столбец 1. Это вынужденное предположение.
Шаг 32 · Рассуждение

После предыдущих исключений R2C3=9 является единственной оставшейся опцией в столбец 3. Это вынужденное предположение.

После предыдущих исключений R2C3=9 является единственной оставшейся опцией в столбец 3. Это вынужденное предположение.
После предыдущих исключений R2C3=9 является единственной оставшейся опцией в столбец 3. Это вынужденное предположение.
Шаг 33 · Рассуждение

После предыдущих исключений R2C9=1 является единственной оставшейся опцией в блок 3. Это вынужденное предположение.

После предыдущих исключений R2C9=1 является единственной оставшейся опцией в блок 3. Это вынужденное предположение.
После предыдущих исключений R2C9=1 является единственной оставшейся опцией в блок 3. Это вынужденное предположение.
Шаг 34 · Рассуждение

После предыдущих исключений R1C8=5 является единственной оставшейся опцией в R1C8. Это вынужденное предположение.

После предыдущих исключений R1C8=5 является единственной оставшейся опцией в R1C8. Это вынужденное предположение.
После предыдущих исключений R1C8=5 является единственной оставшейся опцией в R1C8. Это вынужденное предположение.
Шаг 35 · Рассуждение

R1C8=5 верно. Удалите R1C9=5.

R1C8=5 верно. Удалите R1C9=5.
R1C8=5 верно. Удалите R1C9=5.
Шаг 36 · Рассуждение

После предыдущих исключений R1C9=8 является единственной оставшейся опцией в R1C9. Это вынужденное предположение.

После предыдущих исключений R1C9=8 является единственной оставшейся опцией в R1C9. Это вынужденное предположение.
После предыдущих исключений R1C9=8 является единственной оставшейся опцией в R1C9. Это вынужденное предположение.
Шаг 37 · Рассуждение

R1C9=8 верно. Удалите R2C7=8.

R1C9=8 верно. Удалите R2C7=8.
R1C9=8 верно. Удалите R2C7=8.
Шаг 38 · Рассуждение

R2C1=5 верно. Удалите R2C4=5.

R2C1=5 верно. Удалите R2C4=5.
R2C1=5 верно. Удалите R2C4=5.
Шаг 39 · Рассуждение

R2C3=9 верно. Удалите R2C7=9.

R2C3=9 верно. Удалите R2C7=9.
R2C3=9 верно. Удалите R2C7=9.
Шаг 40 · Рассуждение

После предыдущих исключений R2C7=7 является единственной оставшейся опцией в R2C7. Это вынужденное предположение.

После предыдущих исключений R2C7=7 является единственной оставшейся опцией в R2C7. Это вынужденное предположение.
После предыдущих исключений R2C7=7 является единственной оставшейся опцией в R2C7. Это вынужденное предположение.
Шаг 41 · Рассуждение

R2C7=7 верно. Удалите R2C4=7.

R2C7=7 верно. Удалите R2C4=7.
R2C7=7 верно. Удалите R2C4=7.
Шаг 42 · Рассуждение

R2C9=1 верно. Удалите R2C4=1.

R2C9=1 верно. Удалите R2C4=1.
R2C9=1 верно. Удалите R2C4=1.
Шаг 43 · Рассуждение

Это предположение не оставляет возможных значений или позиций в R2C4: {R2C4=1, R2C4=3, R2C4=5, R2C4=7}. Ячейка судоку и каждая недостающая цифра в регионе должны иметь вариант. Предположение невозможно.

Это предположение не оставляет возможных значений или позиций в R2C4: {R2C4=1, R2C4=3, R2C4=5, R2C4=7}. Ячейка судоку и каждая недостающая цифра в регионе должны иметь вариант. Предположение невозможно.
Это предположение не оставляет возможных значений или позиций в R2C4: {R2C4=1, R2C4=3, R2C4=5, R2C4=7}. Ячейка судоку и каждая недостающая цифра в регионе должны иметь вариант. Предположение невозможно.
Шаг 44 · Удалить предыдущую заливку прямоугольника.

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

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

R1C3=7 можно удалить, поскольку в этом шаблоне оно не может быть истинным.

R1C3=7 можно удалить, поскольку в этом шаблоне оно не может быть истинным.
R1C3=7 можно удалить, поскольку в этом шаблоне оно не может быть истинным.

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

R1C3=7 можно удалить, поскольку в этом шаблоне оно не может быть истинным.

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

Пошаговый пример · Общий результат

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

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

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

Корневой набор R7C5=2, R7C5=4, R7C5=9 содержит все возможные начала в R7C5, поэтому корневые ветви являются исчерпывающими. Это Forcing Net, а не Forcing Chain, потому что проверенный граф зависимостей разветвляется или сливается вместо того, чтобы оставаться единым линейным путем импликации.. Граф зависимостей содержит проверенные узлы 58 в корневых ветвях 3. Обычный результат проверки — R3C6=2 верно.

Корневой набор R7C5=2, R7C5=4, R7C5=9 содержит все возможные начала в R7C5, поэтому корневые ветви являются исчерпывающими. Это Forcing Net, а не Forcing Chain, потому что проверенный граф зависимостей разветвляется или сливается вместо того, чтобы оставаться единым линейным путем импликации.. Граф зависимостей содержит проверенные узлы 58 в корневых ветвях 3. Обычный результат проверки — R3C6=2 верно.
Корневой набор R7C5=2, R7C5=4, R7C5=9 содержит все возможные начала в R7C5, поэтому корневые ветви являются исчерпывающими. Это Forcing Net, а не Forcing Chain, потому что проверенный граф зависимостей разветвляется или сливается вместо того, чтобы оставаться единым линейным путем импликации.. Граф зависимостей содержит проверенные узлы 58 в корневых ветвях 3. Обычный результат проверки — R3C6=2 верно.
Шаг 2 · Рассуждение

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

Ветвь 1: предположим, что R7C5=2 истинно.
Ветвь 1: предположим, что R7C5=2 истинно.
Шаг 3 · Рассуждение

R7C5=2 верно. Удалите R3C5=2.

R7C5=2 верно. Удалите R3C5=2.
R7C5=2 верно. Удалите R3C5=2.
Шаг 4 · Рассуждение

После предыдущих исключений R3C6=2 является единственной оставшейся опцией в строка 3. Это вынужденное предположение.

После предыдущих исключений R3C6=2 является единственной оставшейся опцией в строка 3. Это вынужденное предположение.
После предыдущих исключений R3C6=2 является единственной оставшейся опцией в строка 3. Это вынужденное предположение.
Шаг 5 · Удалить предыдущую заливку прямоугольника.

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

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

Ветвь 2: предположим, что R7C5=4 истинно.

Ветвь 2: предположим, что R7C5=4 истинно.
Ветвь 2: предположим, что R7C5=4 истинно.
Шаг 7 · Рассуждение

R7C5=4 верно. Удалите R8C5=4.

R7C5=4 верно. Удалите R8C5=4.
R7C5=4 верно. Удалите R8C5=4.
Шаг 8 · Рассуждение

После предыдущих исключений R8C5=2 является единственной оставшейся опцией в R8C5. Это вынужденное предположение.

После предыдущих исключений R8C5=2 является единственной оставшейся опцией в R8C5. Это вынужденное предположение.
После предыдущих исключений R8C5=2 является единственной оставшейся опцией в R8C5. Это вынужденное предположение.
Шаг 9 · Рассуждение

R8C5=2 верно. Удалите R3C5=2.

R8C5=2 верно. Удалите R3C5=2.
R8C5=2 верно. Удалите R3C5=2.
Шаг 10 · Рассуждение

После предыдущих исключений R3C6=2 является единственной оставшейся опцией в строка 3. Это вынужденное предположение.

После предыдущих исключений R3C6=2 является единственной оставшейся опцией в строка 3. Это вынужденное предположение.
После предыдущих исключений R3C6=2 является единственной оставшейся опцией в строка 3. Это вынужденное предположение.
Шаг 11 · Удалить предыдущую заливку прямоугольника.

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

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

Ветвь 3: предположим, что R7C5=9 истинно.

Ветвь 3: предположим, что R7C5=9 истинно.
Ветвь 3: предположим, что R7C5=9 истинно.
Шаг 13 · Рассуждение

R7C5=9 верно. Удалите {R7C7=9, R7C8=9, R7C9=9}.

R7C5=9 верно. Удалите {R7C7=9, R7C8=9, R7C9=9}.
R7C5=9 верно. Удалите {R7C7=9, R7C8=9, R7C9=9}.
Шаг 14 · Рассуждение

После предыдущих исключений R7C8=7 является единственной оставшейся опцией в R7C8. Это вынужденное предположение.

После предыдущих исключений R7C8=7 является единственной оставшейся опцией в R7C8. Это вынужденное предположение.
После предыдущих исключений R7C8=7 является единственной оставшейся опцией в R7C8. Это вынужденное предположение.
Шаг 15 · Рассуждение

R7C8=7 верно. Удалите {R7C9=7, R9C7=7, R9C8=7}.

R7C8=7 верно. Удалите {R7C9=7, R9C7=7, R9C8=7}.
R7C8=7 верно. Удалите {R7C9=7, R9C7=7, R9C8=7}.
Шаг 16 · Рассуждение

После предыдущих исключений R7C9=8 является единственной оставшейся опцией в R7C9. Это вынужденное предположение.

После предыдущих исключений R7C9=8 является единственной оставшейся опцией в R7C9. Это вынужденное предположение.
После предыдущих исключений R7C9=8 является единственной оставшейся опцией в R7C9. Это вынужденное предположение.
Шаг 17 · Рассуждение

R7C9=8 верно. Удалите {R7C7=8, R8C7=8, R9C7=8}.

R7C9=8 верно. Удалите {R7C7=8, R8C7=8, R9C7=8}.
R7C9=8 верно. Удалите {R7C7=8, R8C7=8, R9C7=8}.
Шаг 18 · Рассуждение

После предыдущих исключений R9C1=7 является единственной оставшейся опцией в строка 9. Это вынужденное предположение.

После предыдущих исключений R9C1=7 является единственной оставшейся опцией в строка 9. Это вынужденное предположение.
После предыдущих исключений R9C1=7 является единственной оставшейся опцией в строка 9. Это вынужденное предположение.
Шаг 19 · Рассуждение

После предыдущих исключений R4C7=8 является единственной оставшейся опцией в столбец 7. Это вынужденное предположение.

После предыдущих исключений R4C7=8 является единственной оставшейся опцией в столбец 7. Это вынужденное предположение.
После предыдущих исключений R4C7=8 является единственной оставшейся опцией в столбец 7. Это вынужденное предположение.
Шаг 20 · Рассуждение

R4C7=8 верно. Удалите R4C7=5.

R4C7=8 верно. Удалите R4C7=5.
R4C7=8 верно. Удалите R4C7=5.
Шаг 21 · Рассуждение

После предыдущих исключений R4C9=7 является единственной оставшейся опцией в столбец 9. Это вынужденное предположение.

После предыдущих исключений R4C9=7 является единственной оставшейся опцией в столбец 9. Это вынужденное предположение.
После предыдущих исключений R4C9=7 является единственной оставшейся опцией в столбец 9. Это вынужденное предположение.
Шаг 22 · Рассуждение

R4C9=7 верно. Удалите R4C9=9.

R4C9=7 верно. Удалите R4C9=9.
R4C9=7 верно. Удалите R4C9=9.
Шаг 23 · Рассуждение

После предыдущих исключений R6C9=9 является единственной оставшейся опцией в столбец 9. Это вынужденное предположение.

После предыдущих исключений R6C9=9 является единственной оставшейся опцией в столбец 9. Это вынужденное предположение.
После предыдущих исключений R6C9=9 является единственной оставшейся опцией в столбец 9. Это вынужденное предположение.
Шаг 24 · Рассуждение

R6C9=9 верно. Удалите R6C9=1.

R6C9=9 верно. Удалите R6C9=1.
R6C9=9 верно. Удалите R6C9=1.
Шаг 25 · Рассуждение

После предыдущих исключений R5C7=1 является единственной оставшейся опцией в блок 6. Это вынужденное предположение.

После предыдущих исключений R5C7=1 является единственной оставшейся опцией в блок 6. Это вынужденное предположение.
После предыдущих исключений R5C7=1 является единственной оставшейся опцией в блок 6. Это вынужденное предположение.
Шаг 26 · Рассуждение

R5C7=1 верно. Удалите {R5C7=5, R5C7=7}.

R5C7=1 верно. Удалите {R5C7=5, R5C7=7}.
R5C7=1 верно. Удалите {R5C7=5, R5C7=7}.
Шаг 27 · Рассуждение

После предыдущих исключений R4C8=5 является единственной оставшейся опцией в блок 6. Это вынужденное предположение.

После предыдущих исключений R4C8=5 является единственной оставшейся опцией в блок 6. Это вынужденное предположение.
После предыдущих исключений R4C8=5 является единственной оставшейся опцией в блок 6. Это вынужденное предположение.
Шаг 28 · Рассуждение

R4C8=5 верно. Удалите {R4C5=5, R8C8=5}.

R4C8=5 верно. Удалите {R4C5=5, R8C8=5}.
R4C8=5 верно. Удалите {R4C5=5, R8C8=5}.
Шаг 29 · Рассуждение

R5C7=1 верно. Удалите {R2C7=1, R5C1=1}.

R5C7=1 верно. Удалите {R2C7=1, R5C1=1}.
R5C7=1 верно. Удалите {R2C7=1, R5C1=1}.
Шаг 30 · Рассуждение

R9C1=7 верно. Удалите R5C1=7.

R9C1=7 верно. Удалите R5C1=7.
R9C1=7 верно. Удалите R5C1=7.
Шаг 31 · Рассуждение

После предыдущих исключений R5C2=7 является единственной оставшейся опцией в строка 5. Это вынужденное предположение.

После предыдущих исключений R5C2=7 является единственной оставшейся опцией в строка 5. Это вынужденное предположение.
После предыдущих исключений R5C2=7 является единственной оставшейся опцией в строка 5. Это вынужденное предположение.
Шаг 32 · Рассуждение

R5C2=7 верно. Удалите R5C2=3.

R5C2=7 верно. Удалите R5C2=3.
R5C2=7 верно. Удалите R5C2=3.
Шаг 33 · Рассуждение

После предыдущих исключений R8C7=5 является единственной оставшейся опцией в строка 8. Это вынужденное предположение.

После предыдущих исключений R8C7=5 является единственной оставшейся опцией в строка 8. Это вынужденное предположение.
После предыдущих исключений R8C7=5 является единственной оставшейся опцией в строка 8. Это вынужденное предположение.
Шаг 34 · Рассуждение

R8C7=5 верно. Удалите {R8C7=2, R8C7=6}.

R8C7=5 верно. Удалите {R8C7=2, R8C7=6}.
R8C7=5 верно. Удалите {R8C7=2, R8C7=6}.
Шаг 35 · Рассуждение

После предыдущих исключений R1C1=1 является единственной оставшейся опцией в столбец 1. Это вынужденное предположение.

После предыдущих исключений R1C1=1 является единственной оставшейся опцией в столбец 1. Это вынужденное предположение.
После предыдущих исключений R1C1=1 является единственной оставшейся опцией в столбец 1. Это вынужденное предположение.
Шаг 36 · Рассуждение

После предыдущих исключений R7C7=6 является единственной оставшейся опцией в столбец 7. Это вынужденное предположение.

После предыдущих исключений R7C7=6 является единственной оставшейся опцией в столбец 7. Это вынужденное предположение.
После предыдущих исключений R7C7=6 является единственной оставшейся опцией в столбец 7. Это вынужденное предположение.
Шаг 37 · Рассуждение

R7C7=6 верно. Удалите R7C7=2.

R7C7=6 верно. Удалите R7C7=2.
R7C7=6 верно. Удалите R7C7=2.
Шаг 38 · Рассуждение

После предыдущих исключений R9C7=2 является единственной оставшейся опцией в блок 9. Это вынужденное предположение.

После предыдущих исключений R9C7=2 является единственной оставшейся опцией в блок 9. Это вынужденное предположение.
После предыдущих исключений R9C7=2 является единственной оставшейся опцией в блок 9. Это вынужденное предположение.
Шаг 39 · Рассуждение

R9C7=2 верно. Удалите R9C7=9.

R9C7=2 верно. Удалите R9C7=9.
R9C7=2 верно. Удалите R9C7=9.
Шаг 40 · Рассуждение

После предыдущих исключений R9C8=9 является единственной оставшейся опцией в блок 9. Это вынужденное предположение.

После предыдущих исключений R9C8=9 является единственной оставшейся опцией в блок 9. Это вынужденное предположение.
После предыдущих исключений R9C8=9 является единственной оставшейся опцией в блок 9. Это вынужденное предположение.
Шаг 41 · Рассуждение

R9C8=9 верно. Удалите R9C8=3.

R9C8=9 верно. Удалите R9C8=3.
R9C8=9 верно. Удалите R9C8=3.
Шаг 42 · Рассуждение

R1C1=1 верно. Удалите R2C3=1.

R1C1=1 верно. Удалите R2C3=1.
R1C1=1 верно. Удалите R2C3=1.
Шаг 43 · Рассуждение

После предыдущих исключений R2C5=1 является единственной оставшейся опцией в строка 2. Это вынужденное предположение.

После предыдущих исключений R2C5=1 является единственной оставшейся опцией в строка 2. Это вынужденное предположение.
После предыдущих исключений R2C5=1 является единственной оставшейся опцией в строка 2. Это вынужденное предположение.
Шаг 44 · Рассуждение

R2C5=1 верно. Удалите R2C5=5.

R2C5=1 верно. Удалите R2C5=5.
R2C5=1 верно. Удалите R2C5=5.
Шаг 45 · Рассуждение

После предыдущих исключений R9C3=3 является единственной оставшейся опцией в строка 9. Это вынужденное предположение.

После предыдущих исключений R9C3=3 является единственной оставшейся опцией в строка 9. Это вынужденное предположение.
После предыдущих исключений R9C3=3 является единственной оставшейся опцией в строка 9. Это вынужденное предположение.
Шаг 46 · Рассуждение

После предыдущих исключений R5C5=5 является единственной оставшейся опцией в столбец 5. Это вынужденное предположение.

После предыдущих исключений R5C5=5 является единственной оставшейся опцией в столбец 5. Это вынужденное предположение.
После предыдущих исключений R5C5=5 является единственной оставшейся опцией в столбец 5. Это вынужденное предположение.
Шаг 47 · Рассуждение

R5C5=5 верно. Удалите R5C5=3.

R5C5=5 верно. Удалите R5C5=3.
R5C5=5 верно. Удалите R5C5=3.
Шаг 48 · Рассуждение

R9C3=3 верно. Удалите R5C3=3.

R9C3=3 верно. Удалите R5C3=3.
R9C3=3 верно. Удалите R5C3=3.
Шаг 49 · Рассуждение

После предыдущих исключений R5C6=3 является единственной оставшейся опцией в строка 5. Это вынужденное предположение.

После предыдущих исключений R5C6=3 является единственной оставшейся опцией в строка 5. Это вынужденное предположение.
После предыдущих исключений R5C6=3 является единственной оставшейся опцией в строка 5. Это вынужденное предположение.
Шаг 50 · Рассуждение

R5C6=3 верно. Удалите R3C6=3.

R5C6=3 верно. Удалите R3C6=3.
R5C6=3 верно. Удалите R3C6=3.
Шаг 51 · Рассуждение

После предыдущих исключений R3C6=2 является единственной оставшейся опцией в R3C6. Это вынужденное предположение.

После предыдущих исключений R3C6=2 является единственной оставшейся опцией в R3C6. Это вынужденное предположение.
После предыдущих исключений R3C6=2 является единственной оставшейся опцией в R3C6. Это вынужденное предположение.
Шаг 52 · Рассуждение

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

Каждая возможная ветвь приводит к одному и тому же факту: R3C6=2 верно. После снятия всех предположений этот факт остается несомненным.
Каждая возможная ветвь приводит к одному и тому же факту: R3C6=2 верно. После снятия всех предположений этот факт остается несомненным.
Шаг 53 · Заключение

R3C6=2 принудительно выполняется по этому шаблону.

R3C6=2 принудительно выполняется по этому шаблону.
R3C6=2 принудительно выполняется по этому шаблону.

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

R3C6=2 принудительно выполняется по этому шаблону.

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

Практика

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

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