Распространение ограничений с использованием правила проекции

Question

Я нашел этот пример распространения ограничений с использованием правила проекции У нас есть

C = { x1 ≠ x2, x1 ≥ x2 }

< C; x1 ∈ {1,2,3}, x2 ∈ {1,2,3} >

Они говорят, что применение правила распространения не дает никакого упрощения.

Я не уверен, почему это так.Разве мы не должны получить?

< C; x1 ∈ {2,3}, x2 ∈ {1,2} >

Другие шаги в примере имеют смысл, например,

< C; x1 ∈ {2}, x2 ∈ {1,2,3} >

производит

< C; x1 ∈ {2}, x2 ∈ {1} >

Answer 1

Обратите внимание, что ограничение в вашем примере x1 >= x2, а не x1 > x2.

Учитывая, что начальные домены {1,2,3} для обеих переменных, ни x1 >= x2, ни x1 != x2 не могут бытьиспользовал, чтобы делать какие-либо выводы.