Hierarchiesatz für NTIME überschneiden coNTIME?


8

Gilt ein Satz in der folgenden Richtung: Wenn g(n) etwas größer als f(n) , dann ist NTIME(g)coNTIME(g)NTIME(f)coNTIME(f) ?

Es ist leicht zu zeigen, dass NPcoNPNEXPcoNEXP . Beweis: Nicht annehmen. Dann

NEXPcoNEXPNPcoNPNPcoNPNEXPcoNEXP,
also NP=coNP und damit (durch Auffüllen) NEXP=coNEXP . Aber dann impliziert unsere Annahme, dass NP=NEXP , was dem Satz der nichtdeterministischen Zeithierarchie widerspricht. QED.

Aber ich sehe nicht einmal, wie man NPcoNP von NSUBEXPcoNSUBEXP , da die Diagonalisierung in dieser Einstellung schwierig erscheint.


Antworten:


1

(Dies wäre ein Kommentar gewesen, aber er wird nicht richtig gerendert, wenn ich das versuche.)

"Ich sehe nicht einmal, wie man trennt"aus der linearen Exponentenversion von QIP [2] die Linearexponentenversion von coQIP [2].UquasiLIN coUquasiLIN
[][]

Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.