通过证明上限来证明下限


29

Ryan Williams最近突破性的电路复杂度下限结果提供了一种证明技术,该证明技术使用上限结果来证明复杂度下限。Suresh Venkat在回答这个问题时,在理论计算机科学中是否有任何违反直觉的结果?,提供了两个通过证明上限来建立下限的示例。

  • 证明复杂度上限的其他证明复杂度下限的有趣结果是什么?

  • P Ñ PNPP/polyPNP


应该是CW吗?
Mohammad Al-Turkistany

我喜欢它(不是CW),但我认为它是一个[soft-question]
MS Dousti

2
@Sadeq:不要以为这是一个软问题,这足够精确,可以给出明确的答案。
卡夫

Meyer的结果通过苏雷什表明,多项式电路的存在指出将证明P ñ PEXPPNP
Mohammad Al-Turkistany

Answers:


23

可以绕过这个问题,并问出通过证明上限没有证明哪些下限。几乎所有的通信复杂度下界(以及依赖于通信复杂度参数的流算法下界和数据结构下界)都通过证明通信协议可以被建设性地转化为编码方案来证明,编码的长度取决于协议的通信复杂度以及协议的下限是由于您无法使用n-1位或更少的n个编码所有n位消息。

Razborov-Smolensky电路的下界通过显示如何通过低次多项式模拟边界深度的电路来工作。

时间层次定理(尽管要获得最严格的界限,需要一个高效的通用图灵机,这是一项非平凡的算法任务)和证明使用切换引理对AC0下限进行计算(但切换引理的最清晰证明使用计数/不可压缩性/ Kolmogorov复杂度)


1
有趣的是,这是对通信复杂性下限的一个很好的总结!另一个(奇数?)候选人:拉德纳定理/对角线化。当然,没有指定界限(甚至没有问题!),但它确实显示了某些问题的超多项式下界。当然,这假设P NP,可以想象得到一个上限,即la GCT ...
Daniel Apon

14

以一种奇怪的方式,PCP定理本身就是一个通过上限证明下限的好例子。使用恒定数量的证明的探针并且仅对随机位来验证证明的“有效”随机策略导致在3SAT实例中近似满足条件的子句数的下限。logn


10
如果将NP硬度(相对于与类的分离而言)作为下限,则不需要PCP定理。约简是有效的算法,它证明了某些问题很难解决。
伊藤刚(Tsuyoshi Ito)2010年

好的,刚。但是,NP硬度的降低是“直接的”。表明解决未知问题可以解决已知的难题。此处给出的一些示例更为间接。但这当然是主观的。
Suresh Venkat

3
PCP定理的确切说明是Gap-3SAT的NP完全性。而且,我不知道您声称PCP定理是间接的是什么意思。确实,PCP定理需要NP完整性结果中最复杂的证明之一,但这是件好事吗?
伊藤刚(Tsuyoshi Ito)2010年

苏雷什(Suresh),能否请您在另一个问题(迈耶的结果和GCT)的答案中引用的两个示例的扩展版本作为新答案发布在此处?
Mohammad Al-Turkistany

有什么原因吗?我这样做没有问题,但是由于您在问题中引用了它,是否有必要这样做吗?
Suresh Venkat 2010年

12

不可压缩方法是一种基于Kolmogorov复杂度证明下界的方法。该方法的第一个应用之一是证明用单根磁带在图灵机上识别回文需要二次时间。

松散地说,此方法的思想是描述一个过程,该过程使用算法运行中包含的信息来查找输入,以解决我们在此输入上考虑的问题。过程越好,原始问题的下限越高。

当然,完整的细节可以在Li和Vitanyi的教科书中找到


11

对于“通过上限进行下限”问题,您提出了以下问题:

STOC 2010论文“如何压缩交互式通信” [BBCR10]通过演示交互式通信的改进压缩协议,为随机通信的复杂性提供了改进的直接和定理。

具体而言,由于双方计算的相互输入一些关节功能(即交互式计算场景),它们表明,传达任何协议位,揭示了的新信息,当事人可以通过使用新的协议来模拟各方位OC一世位-改进的上限。ØC一世

作为改进的协议压缩的结果,它们表明,在最坏的情况下:给定需要n个时间进行单独计算的函数,计算kf的副本至少需要FñķF时间-改进的下界。ķñ


7

这与您的要求有所不同,但是由于它是相关的,所以我想可以提一下。

Carter&Wegman(1977)引入了通用哈希的概念。该概念被许多论文使用(Sipser(1983)Stockmeyer(1983)Babai(1985)Goldwasser&Sipser(1986))来证明近似下界

直到1987年,Fortnow才使用通用哈希来证明近似上限。(实际上,提供了一个证明近似上限的协议。)


编辑:

这些不是下限结果,但无论如何它们可能有用:

NPP/polyPH=Σ2p=Π2p

NPP/polyAM=MA

coNPNP/polyPH=Σ3p=Π3p



5

这是“计算复杂性:Arora和Barak的现代方法”(第128页)中的一个示例:

ËXPØ2ñ/ñ 然后 PñP

By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.