Paul Walton jun，普多姆。;辛西娅·布朗（Cynthia A.Brown）。 纯文字规则和多项式平均时间。 （英语） 兹比尔0575.68060 SIAM J.计算。 14, 943-953 (1985). 对于一个简单的合取范式谓词参数化模型，我们证明了Davis-Putnam过程的简化版本可以在多项式平均时间内解决许多参数值的可满足性问题。设v是变量的数量，t（v）是谓词中子句的数量，p（v）给定的文字出现在子句中的概率（p（v）对于所有文字都是相同的）。设\（\epsilon\）是任何小的正常数，n是任何大的正整数。然后，对于大v（1）t（v）\（leq n \）ln v，当下列任一条件成立时，仅使用回溯和纯文字规则的Davis-Putnam程序版本使用问题大小中多项式的平均时间；（2） t（v）\（\geq\exp（\epsilon v）\）；（3） p（v）\（\geq\epsilon\）；或（4）p（v）\（leq n（ln\）\（v/v）^{3/2}\）。直到最近，情况（1）和（4）的最佳界是t（v）\（leq（ln）ln v）/（ln 3）和p（v）\（leq\exp（-v/ln）lin v）。这些结果表明，纯文字规则适用于的问题类型与回溯适用的问题类型大不相同。我们目前的知识表明，t（v）略大于v，p（v）稍大于（v^{-1}）的随机问题集特别难以求解。 引用于2评论引用于14文件 MSC公司： 68页第10页 搜索和排序 第68季度25 算法和问题复杂性分析 关键词：平均时间;搜索;Davis-Putnam程序的简化版本;可满足性问题;回溯;纯文字规则 PDF格式BibTeX公司 XML格式引用 \textit{P.W.Purdom jun.}和\textit{C.A.Brown}，SIAM J.Compute。14、943--953（1985年；Zbl 0575.68060） 全文： 内政部