Interaktive Beweise für coNP

9

Ich versuche, interaktive Beweissysteme zu verstehen und habe das folgende Problem als Übung ausprobiert. Wir wissen, dass und , also kommen Sie mit (leicht verständlichen) interaktiven Proof-Systemen für ?I P = P S P A C E P H.PHPSPACEIP=PSPACEPH

Ein interaktives für ist trivial, aber ich habe selbst für kein interaktives . Kennen Sie ein explizites interaktives Proof-System (mit explizit meine ich, ohne die Route zu ) für ?c o N P I P = P S P A C E c o N P.NPcoNPIP=PSPACEcoNP

Shitikanth
quelle
Können Sie klarstellen, was Sie unter interaktivem Proofsystem verstehen? Für diejenigen, die mit dem Begriff nicht vertraut sind.
jmite
3
Sogar die Einbeziehung von erfordert nicht relativierende Techniken. Der einzige bekannte Weg, dies zu zeigen, ist die Algebrisierung, wie in Yuvals Antwort. Das Anzeigen von ist lediglich eine geringfügige technische Änderung dieses Beweises. I P = P S P A C E.coNPIPIP=PSPACE
SDCVVC
2
@sdcvvc, ich denke, Ihr Kommentar ist es wert, als Antwort veröffentlicht zu werden. Es erklärt, warum es keine so einfachen Beispiele wie für NP gibt.
Kaveh

Antworten:

6

Wikipedia skizziert ein solches Beispiel. Betrachten Sie das coNP-vollständige Problem UNSAT: Wenn ein CNF für n Variablen gegeben ist, möchten wir den Prüfer davon überzeugen, dass φ nicht erfüllbar ist. Wir arithmetisieren φ zu einem Polynom p und wählen eine große Primzahl q . Sei p ( x 1 , , x k ) = 1 x k + 1 = 01 x n = 0 p ( x 1 ,φnφφpq Das Protokoll läuft wie folgt ab:

p(x1,,xk)=xk+1=01xn=01p(x1,,xn).
  1. Der Prüfer sendet dem Prüfer eine Primzahl , und diese überprüft, ob q eine Primzahl ist.q(2n,2n+1)q
  2. Der Prüfer sendet den Prüfer . Der Prüfer überprüft, ob p ( 0 ) + p ( 1 ) = 0 ist , und sendet dem Prüfer ein zufälliges r 1 .p(z)Zq[z]p(0)+p(1)=0r1
  3. Der Prüfer sendet den Prüfer . Der Prüfer überprüft, ob p ( r 1 , 0 ) + p ( r 1 , 1 ) = p ( r 1 ) ist , und sendet dem Prüfer ein zufälliges r 2 .p(r1,z)Zq[z]p(r1,0)+p(r1,1)=p(r1)r2
  4. Schließlich erhält der Prüfer und überprüft, ob er den richtigen Wert hat, indem er p direkt auswertet .p(r1,,rn)Zqp

Da der Grad von im Vergleich zu q klein ist, wird der Prüfer sie wahrscheinlich fangen, wenn der Prüfer betrügt (siehe Wikipedia für den Beweis, oder erarbeiten Sie es selbst mit dem Schwartz-Zippel-Lemma).pq

Yuval Filmus
quelle
-1

Graph-Nicht-Isomorphismus bei Beweisen, die nichts als ihre Gültigkeit oder alle Sprachen in NP liefern, haben Zero-Knowledge-Beweise , Goldreich, Micali und Wigderson, JACM, 1991.

G1,G2i{1,2}Gib{1,2}

b=i

Solidität: Für isomorphe Graphen gibt der Prüfer mit Wahrscheinlichkeit die richtige Antwort12

Vadym Fedyukovych
quelle
Bitte verweisen Sie ordnungsgemäß auf einen von Experten geprüften Artikel und eine kurze Zusammenfassung des Inhalts. Links wie der von Ihnen bereitgestellte neigen dazu, zu brechen, und dann enthält Ihre Antwort keine Informationen.
Raphael