Примус

Чи це вгадування? Постановка питання Примусні ланцюги

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

Клітинка Ланцюг примусу

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

Ланцюг примусового діяння (ланцюг примусового діяння за цифрою)

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

Примусова мережа: Розширення кількості гілок

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

Двигун поширення

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

Три типи виводів

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

Коли використовувати примусові прийоми

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

Філософське зауваження щодо елегантності та повноти

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

Огляд

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