Publicaciones recientes sobre NP? = Pregunta coNP

11

Estoy interesado en la pregunta de si NP es igual a coNP o no. Agradecería mucho algunos consejos sobre buenas publicaciones para leer sobre el tema.

Para el registro, sé que esta pregunta está íntimamente relacionada con la pregunta de si P es igual a NP o no (de modo que si NP! = CoNP entonces P! = NP).

Saludos, Derek

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

— djkern
fuente

nota alguna buena P =? Las encuestas de NP cubrirán esto. La encuesta de Fortnows ACM 2009 no menciona coNP pero Allender 2009 tiene algunas referencias breves.

— vzn

10

$M$ $\phi$ $\pi$ $M(\phi, \pi) = 1$ $\phi$ por Cook y Reckhow, la encuesta de Krajicek, o estas notas de lectura de Razborov.

— Sasho Nikolov
fuente

7

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

Sam Buss tiene un bonito artículo reciente que puede leer el público en general. Es posible que desee verificarlo:

Samuel Buss, " Towards NP-P via Proof Complexity and Search ", APAL, 2012.

— Kaveh
fuente

2

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

[1] Los conjuntos NP-Hard son exponencialmente densos a menos que coNP ⊆ NP / poly de Harry Buhrman, John M. Hitchcock (2008)

[2] Un informe de estado sobre la pregunta P vs NP Allender (2009)

— vzn
fuente

2

\subseteq

$\subseteq$

44

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$