NEXP = Σ

Apakah diketahui apakah implikasi berlaku? $\mathsf{NEXP} = \Sigma_2 \implies \mathsf{NEXP} = \mathsf{MA}$

(Pertanyaan ini diinspirasi oleh . $\mathsf{NEXP} \subseteq \mathsf{P/poly} \Leftrightarrow \mathsf{NEXP} = \mathsf{MA}$

complexity-theory time-complexity

— sdcvvc
sumber

Diposting ke cstheory

— sdcvvc

Apakah kamu mendapatkan tempat? Jika ini merupakan masalah terbuka, jawaban untuk efek itu mungkin sesuai.

— Raphael

Seseorang bisa mendapatkan pertanyaan yang berbeda (dan sejauh yang saya tahu, masih terbuka) dengan mengganti

Σ_{2}

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

\cap

$\cap$ S

_{2}

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

Ini tidak diketahui.

$NEXP = \Sigma_{2}$ maksudnya $NP$ dan $NP^{NP}$ berbeda. Tapi, $MA$ tampaknya terlalu lemah untuk mencapai yang tinggi untuk ditangkap $NP^{NP}$ .

— Pawan Kumar
sumber