您应该在什么时候停止扩大CSP的范围

Question

什么时候应该停止扩展CSP计划器的范围？具体来说，约束满足问题规划器是否存在一个条件，即当与搜索的弧一致性在某个范围内失败时，意味着弧一致性也将在所有更长的范围内失败。

Answer 1

如果你的规划师很一般，答案必须是否定的。

假设你的约束系统足够通用，它可以检查"这个矩阵的每一行对应于图灵机的磁带，第i行是步骤i之后图灵机状态的快照，最后一行显示图灵机已经停止"。

然后"我找到了一个满足约束的矩阵"对应于"这个图灵机已经停止"https://en.wikipedia.org/wiki/Halting_problem找出图灵机或其他通用计算是否已经停止的唯一方法是播放并等待它是否停止。