NEXP = ⟹ NEXP = MA?

Sabe-se se a implicação é válida? $\mathsf{NEXP} = \Sigma_2 \implies \mathsf{NEXP} = \mathsf{MA}$

(A pergunta é inspirada no conhecido .) $\mathsf{NEXP} \subseteq \mathsf{P/poly} \Leftrightarrow \mathsf{NEXP} = \mathsf{MA}$

complexity-theory time-complexity

— sdcvvc
fonte

Postado em cstheory

— sdcvvc

Você chegou a algum lugar? Se for um problema em aberto, uma resposta para esse efeito pode ser apropriada.

— Raphael

Pode-se obter uma pergunta diferente (tanto quanto eu sei, ainda em aberto e) substituindo com PAS S P .

Σ_{2}

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

\cap

$\cap$

_{2}

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

Isto não é conhecido.

$NEXP = \Sigma_{2}$ significa que e são diferentes. Mas, o parece fraco demais para atingir esse nível máximo para capturar . $NP$ $NP^{NP}$ $MA$ $NP^{NP}$

— Pawan Kumar
fonte