A.在尋找完所有解圖之后,再判斷解圖的一致性。 B.首先找一個任意解圖,再檢驗其一致性,看是否是一致解圖。如果這個候選解圖不一致,則繼續(xù)搜索直到找到一個一致解圖為止。 C.在擴展局部的候選解圖前,就進行一致性的檢驗,修剪不一致的局部候選解圖,致使效率提高。 D.建立規(guī)則連接圖結構,從而提高系統(tǒng)的求解效率。