Принудительная сеть

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

Техника

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

Tips

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