Math 查找约束网络-弧一致性

我有一个关于arc一致性网络示例的问题。这与代码无关

我有一个网络R，变量X={x1，x2，x3，x4，x5，x6，x7，x8}，域D={1,2,3,4}。 这是我的限制：

我从我的教授那里得到了答案。但是我不明白C24发生了什么/为什么C24什么都没发生

我认为D2是2,3,4，D4是默认的1,2,3,4。如果x2不等于x4（C24），则x4应为1。我希望有人能帮助我

约束c（xi，xj）对于每个值A都是弧一致的iff∈Di存在一个值b∈使c（a，b）为真（反之亦然，i和j交换）

如果约束为Xixj，则情况为dI{{1,2,3}，dj= {1,2,2,4}不是弧一致的，因为没有席席∈{1，2，3}，使席＜1。要获得弧一致性，必须从Dj中消除1

但是，约束席≠ xj和Di={1,2,3}，Dj={1,2,3,4}已经有了弧的一致性，因为对于每个xj∈{1，2，3，4}存在一席∈{1，2，3}，使席≠ XJ真（每一席）∈{1,2,3}存在一个xj∈{1，2，3，4}，使席≠ xj真）。

约束c（xi，xj）对于每个值A都是弧一致的iff∈Di存在一个值b∈使c（a，b）为真（反之亦然，i和j交换）

如果约束为Xixj，则情况为dI{{1,2,3}，dj= {1,2,2,4}不是弧一致的，因为没有席席∈{1，2，3}，使席＜1。要获得弧一致性，必须从Dj中消除1

---

但是，约束席≠ xj和Di={1,2,3}，Dj={1,2,3,4}已经有了弧的一致性，因为对于每个xj∈{1，2，3，4}存在一席∈{1，2，3}，使席≠ XJ真（每一席）∈{1,2,3}存在一个xj∈{1，2，3，4}，使席≠ 是的。）

首先感谢你的评论和帮助：）但是你能再解释一下吗，因为我真的不明白你的意思。。。对不起，好的。所以，因为席∈ 在他的域（{1,2,3}）和xj中只有3个值∈ 有4（{1,2,3,4}）。如此席≠ xj是真的，因为你有3个值和4个值？而不是一边是4，另一边是for？不，这与域中元素的数量无关。首先感谢你的评论和帮助：）但是你能解释一下吗，因为我真的不明白你的意思。。。对不起，好的。所以，因为席∈ 在他的域（{1,2,3}）和xj中只有3个值∈ 有4（{1,2,3,4}）。如此席≠ xj是真的，因为你有3个值和4个值？而不是一边是4，另一边是for？不，它与域中元素的数量无关。