在对一个约束满足问题应用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时，如果变量的域缩小直到它为空，则表示约束问题没有解决方案。因此，算法应在故障状态下停止。