AC3算法和回溯

Question

我曾嘗試使用下面的方法解決的問題CSP：

1. 運行AC3，減少可變區
2. 使用簡單回溯找到解決辦法。

它對我所有的測試工作都非常好，但是我的一個朋友問我：「如果最初的AC-3不會減少什麼？這意味着我將在回溯的每一步都運行AC-3。

我有一種感覺，它在這種情況下對我沒有多大幫助，但是在某處我已經看到AC-3可以同時使用，但沒有進一步解釋。我能獲得更多關於此的信息嗎？ PS：其實我無法忍受每次運行AC-3，因爲它運行了大約2秒鐘。但是我出於好奇而提出這個問題，當我解決一些其他問題時它會很有用。

Answer 1

由於這個問題已經死了大約一個月，我想我會自己回答。在回溯的每一步中運行AC-3確實有好處。我曾經遇到過這樣的問題，其中最初的AC-3並沒有減少很多，但隨後的一些固定變量的成功得多。