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

Головна відмінність від вгадування полягає в зобов'язаності. Вгадування вибирає одну гілку і продовжує, ніби вона є істинною. Ланцюг примусу порівнює всі відповідні гілки з початкової точки і діє лише тоді, коли порівняння доводить щось.

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

Почніть з бізначення Клітинка {A, B}. Поширте наслідки для кожного напрямку. Порівняйте результати.

Суперечність: один напрямок є недійсним, тому Клітинка має бути іншим кандидатом.

Збіг у розміщенні: обидва напрямки примушують однакову цифру в одне віддалене Клітинка.

Збіг у виключенні: обидва напрямки виключають одного й того ж кандидата з одного й того ж Клітинка.

Почніть з позиції цифри 2-3 у клітинці. Дослідьте кожну позицію як гілку. Ті самі три типи виведення.

Клітинка примусовий ефективний, коли бізначені клітинки мають далекосяжні наслідки. Область примусовий ефективний, коли позиція цифри має сильний каскадний ефект.

Клітинка Сітка примусу: клітини з 3-6 варіантами. Сітка примусу регіону: клітини з 4-6 позиціями для цифри. Більше гілок, більше витрати, але можна знайти висновки, які Примусні ланцюги не може.

Логіка однакова. Відрізняється лише кількість гілок.

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

Коли дві гілки доходять до однакового висновку різними шляхами, збіг доводить висновок з впевненістю.

Суперечність: гілка призводить до недійсного стану. Це припущення хибне. Найпоширеніше.

Збіг за розміщенням: всі гілки примушують однакову цифру в одне й те саме Клітинка. Менш поширено, але вирішальне.

Збіг за виключенням: всі гілки виключають одну й ту саму кандидату з одного й того самого Клітинка. Найбільш тонкий тип.

Останній логічний вихід. Застосовується після невдачі методів на основі шаблонів і чистих ланцюгів.

Спроби Примусні ланцюги з 2-3 гілками здійснюються спочатку. Примусові мережі з 3-6 гілками є більш витратними і зазвичай застосовуються пізніше. Обидва мають рівень 12 (екстремальний).

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

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

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

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