機器智能-高頻問題：DPLL算法&walksat算法

DPLL算法 DPLL算法是一種判斷邏輯語句（CNF）是否可知足的算法。web 實際上也是枚舉算法，即改進的真值表枚舉算法。首先找到純符號、遞歸，再找單元子句、遞歸，最後去除了純符號和單元子句後的語句進行枚舉。思想是隻要部分符號有效就能夠推導出語句有真值，而不須要討論所有符號。算法 比枚舉算法的改進 ①、及早終止算法： 若是其中任意一個文字爲真則一個子句是真；若是搜索的文字都爲假則一個子句爲假 ②

>>阅读原文<<