Aktuelle Veröffentlichungen zu NP? = CoNP-Frage

11

Ich interessiere mich für die Frage, ob NP gleich coNP ist oder nicht. Ich würde mich sehr über Ratschläge zu guten Veröffentlichungen zum Thema freuen.

Ich weiß, dass diese Frage eng mit der Frage verbunden ist, ob P gleich NP ist oder nicht (so dass, wenn NP! = CoNP, dann P! = NP).

Prost, Derek

cc.complexity-theory reference-request p-vs-np

— djkern
quelle

beachte ein gutes P =? NP-Umfragen werden dies abdecken. In der Fortnows ACM-Umfrage 2009 wird coNP nicht erwähnt, Allender 2009 enthält jedoch einige kurze Referenzen.

— VZN

10

$M$ $\phi$ $\pi$ $M(\phi, \pi) = 1$ $\phi$ von Cook und Reckhow, die Umfrage von Krajicek oder diese Vorlesungsunterlagen von Razborov.

— Sasho Nikolov
quelle

7

$\mathsf{NP}$ $\mathsf{coNP}$ $\mathsf{coNP}$

Sam Buss hat einen schönen aktuellen Artikel, der für das allgemeine Publikum lesbar ist. Vielleicht möchten Sie es überprüfen:

Samuel Buss, "Auf dem Weg zu NP-P durch Beweiskomplexität und Suche ", APAL, 2012.

— Kaveh
quelle

2

$\neq$ $\rightarrow$ $\neq$ $\stackrel{?}{=}$ $\stackrel{?}{=}$

[1] NP-harte Sätze sind exponentiell dicht, es sei denn, coNP ⊆ NP / Poly von Harry Buhrman, John M. Hitchcock (2008)

[2] Ein Statusbericht zur P vs NP-Frage Allender (2009)

— vzn
quelle

2

\subseteq

$\subseteq$

4

c o N P \subseteq N P / p o l y

$\mathrm{coNP}\subseteq\mathrm{NP}/\mathrm{poly}$

Σ_{3}^{P} = Π_{3}^{P}

$\Sigma^P_3=\Pi^P_3$