NEXP = ⟹ NEXP = MA?


8

Sabe-se se a implicação é válida?NEXP=Σ2NEXP=MA

(A pergunta é inspirada no conhecido .)NEXPP/polyNEXP=MA


1
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 2

Respostas:


1

Isto não é conhecido.

NEXP=Σ2 significa que e são diferentes. Mas, o parece fraco demais para atingir esse nível máximo para capturar .NPNPNPMANPNP

Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.