Форсувальна мережа

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

Стратегія:

Форсування

Огляд

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

Як це працює

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

Приклад

Початкова позиція

Шукайте Форсувальна мережа.

1

Розгалужуйте за кожним кандидатом r1c1

Клітинка r1c1 має 3 кандидатів: {1, 3, 9}.

2

Припустимо, що r1c1 — це 1

Припустіть, що r1c1 = 1, і простежте всі наслідки по мережі.

3

Ця гілка веде до суперечності

Це припущення призводить до суперечності, тож ця гілка неможлива.

4

Виключити 1 з r1c1

Отже, 1 спричиняє суперечність і може бути виключене з r1c1.

5

Результат

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

Поради та закономірності

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