亚线性时间不可近似度的PCP类定理
摘要：在这篇论文中，我们提出了关于次线性时间近似难度的类似PCP定理。Abboud等人已经设计出了分布式PCP框架，用于证明次二次时间近似难度。在这里，我们试图在这个方向上更进一步。从SETH开始，我们首先找到了一个问题，称为Ext-$k$-SAT，无法在线性时间内计算，然后为这个问题设计了一个高效的类似MA协议。为了利用这个协议来证明其他问题的次线性时间近似难度，我们设计了一种新的约化方法，称为Ext约化，并且与现有的约化技术不同。我们还定义了两个新的难度类，其中的问题可以在线性时间内计算，但不能在次线性时间内有效地近似。一些问题被证明属于新定义的难度类。
作者：Hengzhao Ma, Jianzhong Li
论文ID：2107.01520
分类：Computational Complexity
分类简称：cs.CC
提交时间：2021-07-13