電弧一致性（AC3）和一項挑戰？

Question

在對一個約束滿足問題應用弧一致性（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，如果變量的域縮小到空，那麼這意味着約束問題沒有解決方案。因此算法應該停止在故障狀態。