我正在用C++实现一个DPLL算法，如wikipedia中所述。:functionDPLL(Φ)ifΦisaconsistentsetofliteralsthenreturntrue;ifΦcontainsanemptyclausethenreturnfalse;foreveryunitclauselinΦΦ←unit-propagate(l,Φ);foreveryliterallthatoccurspureinΦΦ←pure-literal-assign(l,Φ);l←choose-literal(Φ);returnDPLL(Φ∧l)orDPLL(Φ∧not(l));但表现糟糕。在这

文章目录Ⅰ、前置知识Ⅱ、算法介绍算法思想单位传播伪代码和实现Ⅲ、应用于数独生成数独数独toCNF注意点Ⅳ、算法升级参考文献Ⅰ、前置知识文字（literal）：原子命题及其否定称为文字。其可以使用布尔变量进行表示，其值为真或假。e.g. literal p,r,q和¬p,¬r,¬q\literal\p,r,q和¬p,¬r,¬q literal p,r,q和¬p,¬r,¬q其都是文字子句（clause）子句可以是简单析取式：仅由有限个文字构成的析取式称为子句或简单析取式。e.g. p∨q∨¬r\p∨q∨¬r p∨q∨¬r即为一个子句。合取范式（ConjunctiveNormalForm,CNF）：