NEXP = Σ ⟹ NEXP = MA?

È noto se l'implicazione vale? $\mathsf{NEXP} = \Sigma_2 \implies \mathsf{NEXP} = \mathsf{MA}$

(La domanda è ispirata al noto .) $\mathsf{NEXP} \subseteq \mathsf{P/poly} \Leftrightarrow \mathsf{NEXP} = \mathsf{MA}$

complexity-theory time-complexity

— sdcvvc
fonte

Pubblicato in cstheory

— sdcvvc

Sei arrivato da qualche parte? Se si tratta di un problema aperto, una risposta a tale effetto potrebbe essere appropriata.

— Raffaello

Si potrebbe ottenere una diversa domanda (per quanto ne so, ancora aperta e) sostituendo con SBP S P .

Σ_{2}

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

\cap

$\cap$

_{2}

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

Questo non è noto

$NEXP = \Sigma_{2}$ significa che e sono diversi. Ma sembra troppo debole per raggiungere un livello così alto da catturare . $NP$ $NP^{NP}$ $MA$ $NP^{NP}$

— Pawan Kumar
fonte