O teorema da hierarquia para NTIME interseção coNTIME?


8

Um teorema ao longo das seguintes linhas é válido: Se é um pouco maior que , então ?g(n)f(n)NTIME(g)coNTIME(g)NTIME(f)coNTIME(f)

É fácil mostrar que , pelo menos. Prova: Suponha que não. Então então e, portanto, (por preenchimento) . Mas então nossa suposição implica que , contradizendo o teorema da hierarquia de tempo não determinístico. QED.NPcoNPNEXPcoNEXP

NEXPcoNEXPNPcoNPNPcoNPNEXPcoNEXP,
NP=coNPNEXP=coNEXPNP=NEXP

Mas nem vejo como separar de , pois a diagonalização parece complicada nessa configuração.NPcoNPNSUBEXPcoNSUBEXP


Respostas:


1

(Isso seria um comentário, mas não será renderizado corretamente quando eu tento.)

"Eu nem vejo como separar"a partir de o linear-expoente versão de QIP [2] a versão de expoente linear de coQIP [2].UquasiLIN coUquasiLIN
[][]

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.