NEXP = Σ ⟹ NEXP = MA?

¿Se sabe si la implicación es válida? $\mathsf{NEXP} = \Sigma_2 \implies \mathsf{NEXP} = \mathsf{MA}$

(La pregunta está inspirada en la conocida .) $\mathsf{NEXP} \subseteq \mathsf{P/poly} \Leftrightarrow \mathsf{NEXP} = \mathsf{MA}$

complexity-theory time-complexity

— sdcvvc
fuente

Publicado en cstheory

— sdcvvc

¿Llegaste a alguna parte? Si es un problema abierto, una respuesta a ese efecto puede ser apropiada.

— Raphael

Uno podría obtener una pregunta diferente (y que yo sepa, aún abierta) reemplazando

Σ_{2}

$\Sigma_{\hspace{.03 in}2}$ con la PAS

\cap

$\cap$ S

_{2}

$_{\hspace{.02 in}2}$ P .

Esto no se sabe.

$NEXP = \Sigma_{2}$ significa que $NP$ y $NP^{NP}$ son diferentes. Pero, $MA$ parece demasiado débil para alcanzar esa altura para atrapar $NP^{NP}$ .

— Pawan Kumar
fuente