NEXP = Σ ⟹ NEXP = MA?

Est-il connu si l'implication $\mathsf{NEXP} = \Sigma_2 \implies \mathsf{NEXP} = \mathsf{MA}$ tient?

(La question est inspirée de $\mathsf{NEXP} \subseteq \mathsf{P/poly} \Leftrightarrow \mathsf{NEXP} = \mathsf{MA}$ .)

complexity-theory time-complexity

— sdcvvc
source

Publié sur cstheory

— sdcvvc

Vous êtes arrivé quelque part? S'il s'agit d'un problème ouvert, une réponse à cet effet peut être appropriée.

— Raphael

On pourrait obtenir un autre (et pour autant que je sache, encore ouvert) question en remplaçant avec SBP S P .

Σ_{2}

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

\cap

$\cap$

_{2}

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

Ce n'est pas connu.

$NEXP = \Sigma_{2}$ signifie que et sont différents. Mais semble trop faible pour atteindre ce niveau pour attraper . $NP$ $NP^{NP}$ $MA$ $NP^{NP}$

— Pawan Kumar
source