NEXP =Σ

含意が成り立つかどうかはわかっていますか？ $\mathsf{NEXP} = \Sigma_2 \implies \mathsf{NEXP} = \mathsf{MA}$

（この質問は、よく知られているからヒントを得ています。） $\mathsf{NEXP} \subseteq \mathsf{P/poly} \Leftrightarrow \mathsf{NEXP} = \mathsf{MA}$

complexity-theory time-complexity

— sdcvvc
ソース

cstheoryに

— sdcvvc

どこに行きましたか？それが未解決の問題である場合、その影響に対する回答が適切な場合があります。

— ラファエル

を置き換えることで、別の（そして私の知る限り、まだオープンな）質問を得ることができます

Σ_{2}

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

\cap

$\cap$

_{2}

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

これは不明です。

を意味及び異なっています。しかし、は弱すぎてを捕まえるにはその高さに到達できないようです。 $NEXP = \Sigma_{2}$ $NP$ $NP^{NP}$ $MA$ $NP^{NP}$

— パワンクマール
ソース