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

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

Техніка

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

Tips

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