принудительные цепи не являются угадыванием, когда используются как метод доказательства. Вы временно исследуете каждую ветвь из выбранной начальной точки, логически распространяете каждую ветвь и оставляете только выводы, которые поддерживаются всеми ветвями, или выводы, вынужденные противоречием.

Ключевое отличие от угадывания — обязательство. Догадка выбирает одну ветвь и продолжает так, будто она верна. Цепочка форсинга сравнивает все значимые ветви из начальной точки и действует только тогда, когда сравнение что-то доказывает.

принудительные цепи менее изящны, чем техники на основе шаблонов, но их выводы доказуемо верны, когда все ветви проверены точно.

Начните с бивалентной ячейка {A, B}. Распространите следствия для каждой ветви. Сравните результаты.

Противоречие: одна ветвь неверна, значит, ячейка должна быть другим кандидатом.

Сходимость к размещению: обе ветви вынуждают одну и ту же цифру в одной и той же удалённой ячейка.

Сходимость к исключению: обе ветви исключают одного и того же кандидата из одной и той же ячейка.

Начните с 2-3 позиций цифры в доме. Исследуйте каждую позицию как ветвь. Те же три типа выводов.

Форсинг ячейка эффективен, когда бивалентные ячейки имеют далеко идущие следствия. Форсинг по региону эффективен, когда позиция цифры даёт сильные каскадные эффекты.

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

Логика идентична. Отличается только число ветвей.

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

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

Противоречие: ветвь приводит к недопустимому состоянию. Это предположение ложно. Самый распространённый тип.

Сходимость по размещению: все ветви вынуждают одну и ту же цифру в одной и той же ячейка. Менее распространённый, но решающий.

Сходимость по исключению: все ветви исключают одного и того же кандидата из одной и той же ячейка. Самый тонкий тип.

Последнее логическое средство. Применяется после того, как методы на основе шаблонов и более чистые цепочки не сработали.

Сначала пробуются принудительные цепи с 2-3 ветвями. Сети форсинга с 3-6 ветвями обходятся дороже и обычно откладываются на потом. Оба варианта — Уровень 12 (Экстремальный).

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

Методы на основе шаблонов выявляют структурные связи и более элегантны. Но существуют допустимые головоломки, требующие логики уровня форсинга. Методы форсинга — это страховочная сеть, которая ловит все головоломки, с которыми не справляются методы на основе шаблонов.

Самый приятный подход: сначала испробовать все методы на основе шаблонов и лишь затем прибегнуть к форсингу, когда головоломка действительно этого требует.

принудительные цепи и сети форсинга — одни из самых мощных логических методов, на Уровне 12 (Экстремальный). Они исследуют каждую ветвь из выбранной начальной точки, распространяют последствия и сравнивают результаты. Выводы приходят через противоречие, сходимость по размещению или сходимость по исключению. Это последнее средство перед перебором методом грубой силы; при расширении без практических ограничений они становятся полным доказательством поиска, но ограниченный форсинг в человеческом стиле остаётся целенаправленным продвинутым методом.