莱恩·威廉姆斯 SAT和相关问题的归纳时空下限。 （英语） Zbl 1125.68060号 计算。复杂性 15，第4期，433-470（2006）. 摘要：我们改进了多项式层次中显式问题下界的间接对角化参数。我们的贡献总结如下。1.我们提出了一种技术，该技术一致改进了亚多项式（（n^{o（1）}）空间RAM和随机访问输入的顺序单带机上的非确定性和交替计算的最常见非线性时间下限。我们获得了布尔可满足性（SAT）的改进下界，以及所有从SAT得到有效约简的NP-完全问题，以及常数（k\geq 2）的（Sigma_{k}）-SAT。例如，使用\（n^{\sqrt{3}}\）时间和子多项式空间的随机访问机器无法求解SAT。2.我们展示了间接对角化如何导致有界不确定性计算的时空下限。对于随机存取和多带图灵机模型，我们证明了对于所有（k\geq1），存在一个常数（c_{k}>1），使得具有（n^{1/k}）非确定性比特的线性时间不包含在确定性比特中^{{c}_{k} }\）时间与次多项式空间。这是用来证明在（n^{k\cdot{c}}_{k}}}）时间和次多项式空间中运行的确定性多带图灵机不能解决具有（n^）输入和（n^}}大小的布尔电路的可满足性。 引用于4文件 MSC公司： 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 关键词：时间空间权衡;下限;多项式时间层次;可满足性;对角化;有界不确定性 PDF格式BibTeX公司 XML格式引用 \textit{R.Williams}，计算。复杂性15，No.4，433--470（2006；Zbl 1125.68060） 全文： 内政部