您应该何时停止扩展 CSP 规划师的视野？具体来说，是否存在约束满足问题规划器的条件，即当与搜索的弧一致性在某个范围内失败时，意味着弧一致性在所有更长的范围内也将失败。
问问题
51 次
1 回答
-1
如果您的计划者非常笼统，那么答案一定是否定的。
假设您的约束系统足够通用，可以检查“该矩阵的每一行对应于图灵机的磁带，第 i 行是第 i 步之后图灵机状态的快照，最后一行显示图灵机器已停止”。
然后“我找到了一个满足约束的矩阵”对应于“这台图灵机已经停止”并且通过https://en.wikipedia.org/wiki/Halting_problem几乎是找出图灵机或其他通用的唯一方法计算已停止是播放事物并等待它是否停止。
于 2016-03-28T05:04:01.563 回答