artificial-intelligence - 弧一致性的例子并不意味着可满足性

Question

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

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

对于具有多个值的域 D。

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

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

标签： artificial-intelligenceconstraint-programmingconstraint-satisfaction

Answer 1

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

弧一致性是关于原子约束的

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

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

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