在一个约束满足问题上应用Arc-Consistency(AC3)算法时,如果一个变量的域为空,下一步是什么？

1) halt.

2) do backtrack.

3) start from another initial state.

4) it depends on that we are in which step.

解决方案(4).我认为(1)是正确的,因为它意味着我们找不到任何一致的任务并停止.任何人都可以形容为什么(4)是真的？

最佳答案 使用
particular algorithm,如果变量的域缩小直到它为空,则表示约束问题没有解决方案.因此算法应该在故障状态下停止.