Es ist bekannt , dass , wenn dann . Es ist auch bekannt, dass . Es scheint, dass PCP uns nicht sagen kann, welche natürlichen Probleme nicht in . Ich frage mich, ob es möglich ist, die PCP-Charakterisierung zu verwenden, um von zu trennen .
Was sind die besten Grenzen für die Zufälligkeitskomplexität und die Abfragekomplexität so dass das Tautologieproblem in ?
cc.complexity-theory
pcp
proof-complexity
Mohammad Al-Turkistany
quelle
quelle
Antworten:
N P c o N P.coNP⊈PCP[o(n),q] NP coNP
quelle
Ich denke, das folgende Papier wird helfen: Polylogarithmisch-runde interaktive Beweise für coNP kollabieren die exponentielle Hierarchie
Es besagt, dass sofern die exponentielle Hierarchie nicht zusammenbricht. ( ist die Klasse von Sprachen mit beweglichen interaktiven Beweisen.)I P [ k ] kcoNP⊄IP[logO(1)n] IP[k] k
In Bezug auf die natürliche Beziehung zwischen interaktiven und wahrscheinlich überprüfbaren Beweisen denke ich, dass das obige Ergebnis helfen muss.
Ich schlage auch vor, einen Blick auf ein neues Probenahmeprotokoll und Anwendungen zu werfen, um kryptogaphische Primitive auf der Härte von NP zu basieren .
quelle