Примусове мережеве

Рівень 12 · Чорний пояс

Стратегія:

Примус

Потрібно:

Примусні ланцюги

Огляд

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

Як це працює

  1. Знайдіть клітинку з кількома кандидатами.
  2. Припустіть кожного кандидата по черзі і прослідкуйте всі випливаючі наслідки (не лише один ланцюг).
  3. Якщо припущення призводить до протиріччя (неможливого стану), виключіть цей кандидат.
  4. Якщо всі припущення змушують до одного і того ж висновку, цей висновок є дійсним.

Приклад

Шукайте Примусове мережеве.

1

Примусове мережеве

Cell r1c1 has 3 candidates: {5, 6, 9}.

2

Примусове мережеве

Assume r1c1 = 6 and follow all implications through the net.

3

Примусове мережеве

This assumption leads to a CONTRADICTION (impossible state).

4

Примусове мережеве

So 6 causes a contradiction and can be eliminated from r1c1.

5

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

Поради та шаблони

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