计算复杂性的方案理论方法。III. SETH
摘要：存在无限多个$n\in \mathbb{Z}^+$，对于任意常数$\epsilon > 0$，任何确定性算法解决$k$- extsf{SAT}，对于$k\geq 3$至少需要执行$(2^{k-\frac{3}{2}-\epsilon})^{\frac{n}{k+1}}$次操作，其中$n$是$k$- extsf{SAT}实例中变量的数量。
作者：Ali c{C}ivril
论文ID：2305.05415
分类：Computational Complexity
分类简称：cs.CC
提交时间：2023-05-10