Пример последовательности дуги не подразумевает выполнимость

Question

Я читал, что согласованность дуг не подразумевает выполнимость.Приведенный пример был

X in D ∧ Y in D ∧ X ≠ Y ∧ X = Y

для доменов D с более чем одним значением.

Насколько я понимаю, для каждого из возможных значений X (из D) существуют значения Y (из того же D) так, что вышеуказанное ограничение выполнено.

Может кто-нибудь дать мне пример этого?

Answer 1

Я нашел это объяснение, и я думаю, что понял свою ошибку.

Согласованность дуги составляет около атомных ограничений

Ограничение является последовательным, если подзадача, содержащая только это ограничение и его переменные и их области:

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

Так что в моем случае атомные ограничения X ≠ Y и X = Y согласованы по дуге, где X in D ∧ Y in D и D имеют более одного значения.