机器智能-高频问题：DPLL算法&walksat算法

DPLL算法 DPLL算法是一种判断逻辑语句（CNF）是否可知足的算法。web 实际上也是枚举算法，即改进的真值表枚举算法。首先找到纯符号、递归，再找单元子句、递归，最后去除了纯符号和单元子句后的语句进行枚举。思想是只要部分符号有效就能够推导出语句有真值，而不须要讨论所有符号。算法 比枚举算法的改进 ①、及早终止算法： 若是其中任意一个文字为真则一个子句是真；若是搜索的文字都为假则一个子句为假 ②

>>阅读原文<<