NEXP = Σ

Được biết liệu hàm ý có giữ không?$\mathsf{NEXP} = \Sigma_2 \implies \mathsf{NEXP} = \mathsf{MA}$

(Câu hỏi được lấy cảm hứng từ .)$\mathsf{NEXP} \subseteq \mathsf{P/poly} \Leftrightarrow \mathsf{NEXP} = \mathsf{MA}$

Điều này không được biết đến.

có nghĩa là N P và N P N P khác nhau. Nhưng, M Một dường như quá yếu để đạt được điều đó cao để đón N P N P .$NEXP = \Sigma_{2}$$NP$$NP^{NP}$$MA$$NP^{NP}$