弧度一致性示例并不表示可满足性

Question

我已经读到弧的一致性并不意味着可满足性。 提供的示例是

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

对于具有多个值的域D。

我的理解是，对于X的每个可能值（来自D），都有Y的值（来自相同D），从而满足上述约束。

有人可以给我一个例子吗？

Answer 1

我找到了this的解释，我想我理解了我的错误。

弧一致性是关于原子约束

  

如果子问题仅包含一个约束，则约束是一致的   约束及其变量及其域：

     

  
• 有解决方案
  
• 有一个解决方案，当任意变量从其域中获取任意值
  

因此，在我的情况下，原子约束X ≠ Y和X = Y是弧线一致的，其中X in D ∧ Y in D和D具有多个值。