Forcing Net

Уровень 12 · Чёрный пояс

Стратегия:

Форсинг

Обзор

Forcing Net расширяет принудительные цепи, одновременно прослеживая все следствия каждого кандидата, а не только отдельные цепочки. Это создаёт разветвлённую сеть следствий, способную находить более глубокие противоречия и общие результаты.

Как это работает

  1. Найдите ячейка с несколькими кандидатами.
  2. Поочерёдно предположите каждого кандидата и проследите ВСЕ вытекающие последствия (не только одну цепочку).
  3. Если предположение приводит к противоречию (невозможному состоянию), исключите этого кандидата.
  4. Если все предположения приводят к одному и тому же выводу, этот вывод верен.

Пример

Начальная позиция

Ищите Forcing Net.

1

Ветвите по каждому кандидату r1c1

Ячейка r1c1 имеет 3 кандидатов: {1, 3, 9}.

2

Предположим, что r1c1 — это 1

Предположите, что r1c1 = 1, и проследите все следствия по сети.

3

Эта ветвь ведёт к противоречию

Это предположение приводит к противоречию, поэтому эта ветвь невозможна.

4

Исключить 1 из r1c1

Значит, 1 вызывает противоречие и может быть исключено из r1c1.

5

Результат

Результат после применения техники.

Советы и шаблоны

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