Я изучал, что согласованность дуг сильнее, чем прямая проверка, но я не уверен на 100%, почему это так. Из того, что я знаю, интуитивно понятно, потому что проверка вперед только делает текущую переменную согласованной по дуге, но не заглядывает в будущее и делает согласованной по всем остальным переменным, тогда как согласованность ar перепроверяет соседей X, если X теряет значение из своей области, Главная проблема. Но что меня смущает, так это то, что если при проверке вперед выполняется согласование каждой переменной дуги, то она уже делает то, что делает согласованность дуги, так как же согласованность дуги сильнее? Мне также известно, что при проверке вперед происходит сбой, но я не понимаю, почему последовательность дуги не может потерпеть неудачу в подобной ситуации.
Это определение проверки прямой дуги из учебника - «Всякий раз, когда присваивается переменная X, процесс прямой проверки устанавливает для нее согласованность дуги»;
Спасибо!