我在理解DPLL算法时遇到了一些问题,我想知道是否有人可以向我解释,因为我认为我的理解是不正确的.
我理解它的方式是,我采用一些文字,如果某些每个子句都为真,则模型为真,但如果某个子句为假,则模型为假.
我通过查找一个单元子句递归检查模型,如果有一个我设置了该单元子句的值使其成为真,则更新模型.删除现在为true的所有子句并删除现在为false的所有文字.
如果没有单位子句,我选择任何其他文字并为该文字指定值使其成立并使其成为假,然后再次删除现在为真的所有子句以及现在为假的所有文字.
algorithm artificial-intelligence
algorithm ×1
artificial-intelligence ×1