来自罗素-诺维格：
如果 CSP 是 k-一致的并且也是 (k-1)-一致的，(k-2)-一致的，则 CSP 是强 k-一致的。. . 一直到 1-一致。
一个 CSP 如何在没有 (k - 1)-一致的情况下保持 k-一致？对于这种情况，我想不出任何反例。任何帮助，将不胜感激。
k 一致性是否总是意味着 (k - 1) 一致性？
人工智能
线性代数
2021-11-06 08:52:20
1个回答
将 P 定义为 CSP，其中 X、Y 是变量，两者的域都是 {1,2,3,4}，标准形式的条件是：
- 节点条件 X<4
- 弧条件 X=Y
P 是 2 一致的（弧一致的），因为对于任何 X 值，都可能找到满足弧条件 X=Y 的 Y 值。
然而，P 不是 1-consistent (node-consistent) 因为存在一个不能满足节点条件 x<4 的 X 值 (X=4)。
由于这些原因，这个问题是 2 一致的，但不是强 2 一致的。
显然，将这个示例转换为强 2 一致问题很简单，只需将域缩减为 {1,2,3}。
其它你可能感兴趣的问题