弧度一致性（AC3）和一个挑战？

Question

在一个约束满足问题上应用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）是真的？

Answer 1

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