能否将P = NP放大到超过P = PH?


54

描述复杂性方面,Immerman具有

推论7.23。以下条件是等效的:
1. P = NP。
2.在有限的有序结构上,FO(LFP)= SO。

可以认为这是将P = NP“放大”为(大概)较大复杂度类的等效语句。请注意,SO捕获多项式时间层次结构PH,而FO(LFP)捕获P,因此可以将其视为P = NP且P = PH。

(其中有趣的部分是,对于任何包含NP的CC类,P = NP表示P = PH; P = CC表示P = NP是微不足道的。Immerman简单地指出“如果P = NP则PH = NP” ,大概是因为P = NP可以与PH的oracle定义一起使用,以归纳地表明整个层次结构都崩溃了。)

我的问题是:

这样可以将P = NP放大多少?

特别地,什么是最大的已知类CC',使得P = NP表示P = CC',最小的类CC',使得P = NP意味着CC = NP?这将使P = NP被等效问题CC = CC'代替。P似乎是一个相当强大的类,它似乎为试图将其与NP分离的参数提供了很少的“摆动空间”:该摆动空间可以放大多远?

我当然也会对一个表明P = PH是这种方法的局限性的论点感兴趣。


编辑:注意密切相关的问题为什么P = NP并不暗示P = AP(即P = PSPACE)?这集中于另一个方向,为什么我们没有证明P = PSPACE的证据。卡夫(Kaveh)和彼得·索尔(Peter Shor)的回答认为,固定轮换的次数是关键。另一个相关的问题是一个决策问题,该决策问题在PH中未知,但如果P = NP则在P中会提出候选问题;尽管这些类在某种程度上是人为的(感谢伊藤刚义指出),但那里的答案也可以用来构造该问题的答案。在更一般的设置中,exptime的崩溃和交替限制的图灵机 询问交替层次结构中任何级别的局部崩溃是否会引起多项式时间层次结构中的向上崩溃。



17
作为正规化是什么语言P中,如果P = NP,里根引入了复杂性H级语言的一种方式在H中当且仅当L是P中Ø相对于每个Oracle Ø使得p Ø = NP Ø。因此,如果语句P = NP ,则L在H中LOOOOL P相对化。PH ħ交替时间ø 登录登录Ñ p ö ÿ。从户田的定理,有的在户田的定理引理的,这也是事实使得h PØ d q P为每 q。(基本上,任何满足P O = NP O的预言都给出H的新上限。是否H = PH是开放的。)L(O(loglogn),poly)modqPqOO
Russell Impagliazzo 2011年

4
@罗素:谢谢!该评论听起来像一个答案。
安德拉斯·萨拉蒙

5
H

3
令f(n)是任何无界函数。H不包含在交替时间(F(N),聚),如果你能证明P = NP意味着P =交替时间(F(N),聚)则NP不同于L.
兰斯·福尔瑙

Answers:


6

从Russell Impagliazzo的评论中

PP=NPHLHLPOOPO=NPOLHP=NPLPPHHAltTime(O(lglgn),poly)HPmodqPqPO=NPOHH=PH

从Lance Fortnow的评论中

f(n)HAltTime(f(n),poly)P=NPP=AltTime(f(n),poly)NPL

H


1
f(n)=lglgn

3
我对某事感到困惑。为什么乔什·格罗霍(Josh Grochow)对这个主题的早期问题(cstheory.stackexchange.com/a/2039/1575)的回答也基本上没有回答里根的问题?即,为什么不给出一个语言L的例子,即通过相对论的论点,如果P = NP,则语言L在P中,而在PH!= NP中,语言L不在PH中?并且为什么它不能显示出如果P!= NP,那么H严格大于PH?
Scott Aaronson

3
实际上,我可能会想到一个答案。在Grochow的构造中,语言L的确切定义是否将取决于预言O?
Scott Aaronson

1
PO=NPOLLOOPONPOLO2Σ
约书亚·格罗夫

5

ΣkPk

MxyNP

Cook(M,n,t)Ms(n,t)polyMnt

P=NPAppoly

siisi+1=sp(si)kq(n)=(sp)k(n)n 是作为输入给出的TQBF公式的大小。

kq(n)polyP

kω(1)q(n)n2O(k)k=lglgnk=lgn


C

TP=NPP=C
TZFCPNP

CHHPP=NP


BPP=PPIP=PSpace

我还发现,只有一种正确的方法可以使问题复杂性类相对化,这会引起很多误解(例如,将相对化视为扩展类对复杂性类的功能操作,相对化是对计算模型的修改,而不是一类函数或语言)。我认为将相对化视为经过修改的(交互式)计算框架更为有用。这样,存在许多使复杂度等级相对化的有用方法(在其有意的意义上)。要从相对化框架中获取有关非相对应设置的任何信息,我们需要某种与非标准分析中转换原理相似的转换原理。请注意,为类选择某种特定的相对化方法来保留类之间的已知关系并不能给我们带来转移的原则(这是文献中通常用来确定什么是“正确的”类相对化的主要标准)。


我同意“以某种方式将相对性视为交互式计算框架会更有用”。也就是说,相对论的表述可以通过首先提供机器(具有交互式oracle访问)并允许对手选择oracle语言的情况来使理解相对直观。然后,人们切换到首先使用一种(复杂的)oracle语言的情况,现在可以将计算机适应特定oracle给出的环境。
Thomas Klimpel
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.