NEXP = Σ

Ist bekannt, ob die Implikation gilt? $\mathsf{NEXP} = \Sigma_2 \implies \mathsf{NEXP} = \mathsf{MA}$

(Die Frage ist inspiriert von dem bekannten ) $\mathsf{NEXP} \subseteq \mathsf{P/poly} \Leftrightarrow \mathsf{NEXP} = \mathsf{MA}$

complexity-theory time-complexity

— sdcvvc
quelle

Gepostet

— sdcvvc

Bist du irgendwohin gekommen? Wenn es sich um ein offenes Problem handelt, kann eine Antwort auf diesen Effekt angebracht sein.

— Raphael

Man könnte eine andere (und meines

noch offene) Frage bekommen, indem man

mitSBP

Σ_{2}

$\Sigma_{\hspace{.03 in}2}$

\cap

$\cap$

_{2}

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

Dies ist nicht bekannt.

bedeutet, dass und unterschiedlich sind. Aber scheint zu schwach, um dieses Hoch zu erreichen, um zu fangen. $NEXP = \Sigma_{2}$ $NP$ $NP^{NP}$ $MA$ $NP^{NP}$

— Pawan Kumar
quelle