使用投影规则的约束传播
Constraint propagation using Projection rule
我找到了这个使用投影规则的约束传播示例
我们有
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} >
请注意，您示例中的约束是 x1 >= x2，而不是 x1 > x2。
鉴于两个变量的初始域都是{1,2,3}，因此x1 >= x2和x1 != x2都不能得出任何结论。
我找到了这个使用投影规则的约束传播示例
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} >
请注意，您示例中的约束是 x1 >= x2，而不是 x1 > x2。
鉴于两个变量的初始域都是{1,2,3}，因此x1 >= x2和x1 != x2都不能得出任何结论。