亨特，H.B。；R.E.斯特恩斯。 单调布尔公式、分配格以及逻辑、代数结构和计算结构的复杂性。 （英语） Zbl 0605.68030号 计算机科学的理论方面，第三年。交响乐团。，奥赛/法国1986年，Lect。票据计算。科学。210, 277-290 (1986). [关于整个系列，请参见Zbl 0578.0004号.]我们改进并显著扩展了布尔公式类的可满足性、重言式、等价性和（leq）-问题的复杂性方面的已知结果。给出了公式中变量重复次数与公式决策问题复杂性之间的关系。还给出了非常简单的单调布尔公式及其蕴涵的复杂性的结果。这些结果在文献中研究的许多逻辑、计算概率和计数、代数结构、编程方案和二进制决策图中都有多种应用。假设（P\neq-NP），许多结果都是“最佳”可能的或接近“最佳”的可能。 引用于7文件 MSC公司： 65年第68季度 算法和问题复杂性分析 2015年3月1日 计算复杂性（包括隐式计算复杂性） 03B25号 理论和句子集的可决定性 关键词：决策问题的复杂性；计算概率与计数；计划方案；二元决策图 引文：Zbl 0578.0004号 PDF格式BibTeX公司 XML格式