什么时候应该停止拓展CSP的视野？

Question

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

Answer 1

如果您的计划者非常一般，答案必须是否定。

假设您的约束系统足够通用，可以检查“此矩阵的每一行对应于图灵机的磁带，而行i是图灵机状态的快照，在步骤i之后，最后一行显示图灵机已停止“。

然后“我发现一个满足约束的矩阵”对应于“这个图灵机已停止”和https://en.wikipedia.org/wiki/Halting_problem几乎唯一的方法来找出图灵机或其他一般计算是否已经停止是玩的东西，等着看它是否停止。