亨特，H.B.III;R.E.斯特恩斯。 非常简单的布尔公式及其应用程序的复杂性。 （英语） Zbl 0696.68060号 SIAM J.计算。 19，第1号，44-70（1990）. 摘要：介绍了SAT-hard（n polylog n，n）和SAT-complete（n poly log n、n）分别表示的SAT-hard和SAT-complete模n polylog n时间和线性尺寸可约性的概念。无论是（P=NP）还是（P\neq-NP），直观地表明，每个SAT-hard（n polylog n，n）问题所需的确定时间至少与每个SAT-complete（n poly log n、n）问题需要的确定时间基本上与2CNF公式的可满足性问题相同。证明了对于非常简单的布尔公式和非常简单的Boolean方程组，（leq）、可满足性、重言式、唯一可满足性，等价性和最小化问题已经是SAT-完全的（n个polylog n，n）。这些完备性结果被用来表征格、命题演算、组合电路、有限域、环\（Z_k\）（k\（\geq2）\）、二元决策图和一元单变量程序方案的许多问题的确定性时间复杂性。其中一些硬度结果是“最佳”的。 引用于6文件 MSC公司： 65年第68季度 算法和问题复杂性分析 2015年3月1日 计算复杂性（包括隐式计算复杂性） 03G99型 代数逻辑 94立方厘米 交换理论，布尔代数的应用；布尔函数（MSC2010） 06B99号 格子 99年6月 分配格 关键词：复杂性;NP-完整性;决策问题;模运算;二元决策图;计划方案;有限格与分配格;故障检测;SAT-完整性;布尔公式;有限域 PDF格式BibTeX公司 XML格式引用 \textit{H.B.Hunt III}和\textit{R.E.Stearns}，SIAM J.Compute。19，第1号，44--70（1990；Zbl 0696.68060） 全文： 内政部 链接