使用投影规则进行约束传播

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均不能得出任何结论。