Probabilistisch überprüfbare Beweise
Ich kenne viele Ergebnisse, die das PCP-Theorem verwenden (hauptsächlich zur Approximation von Algorithmen), aber ich bin nie auf eine klare Erklärung des PCP-Theorems (dh, dass ).N P = P C P (O(log( n ) ) , O ( 1 ) )NP=PCP(O(log(n)),O(1))\mathsf{NP} = \mathsf{PCP}(O(\log(n)),O(1)) Was sind dafür...
Angenommen, und G 2 sind zwei ungerichtete Graphen in der Scheitelmenge { 1 , … , n } . Die Graphen sind dann und nur dann isomorph, wenn es eine Permutation Π gibt, so dass G 1 = Π ( G 2 ) , oder formal, wenn es eine Permutation Π gibt, so dass ( i , j ) genau dann eine Kante in G 1 ist wenn ( Π (...
Eine wichtige Anwendung des PCP-Theorems ist, dass es Ergebnisse vom Typ "Härte der Approximation" liefert. In relativ einfacheren Fällen kann man eine solche Härte ohne PCP nachweisen. Gibt es jedoch einen Fall, in dem die Härte des Approximationsergebnisses zuerst mit dem PCP-Theorem bewiesen...
Das PCP - Theorem besagt , dass es kein Polynomialzeitalgorithmus für MAX 3SAT eine Zuordnung zu finden befriedigend Klauseln einer erfüllbar 3SAT Formel , es sei denn P = N P .7/8+ϵ7/8+ϵ7/8+ \epsilonP=NPP=NPP = NP Es ist ein trivialer Polynomialzeitalgorithmus dass erfüllen der Klauseln. So können...
Wie kann man zeigen, in welcher Beziehung "Unique Games Conjecture" und "PCP Theorem" zueinander stehen? Wie erklärt man, dass "Unique Games Conjecture" eine stärkere Form des "PCP-Theorems"
Das probabilistische Beweissystem wird allgemein als Einschränkung von , wobei Arthur nur Zufallsbits verwenden und nur untersuchen kann Bits des von Merlin gesendeten Proof-Zertifikats (siehe http://en.wikipedia.org/wiki/Interactive_proof_system#PCP
Das Auftragspflegeproblem (oder "Auftrag in einer Liste pflegen") besteht darin, die folgenden Vorgänge zu unterstützen: singleton: Erstellt eine Liste mit einem Element und gibt einen Zeiger darauf zurück insertAfter: einen Zeiger auf ein Element gegeben, fügt ein neues Element danach ein und gibt...
Der parallele Pretitionssatz von Raz ist ein wichtiges Ergebnis bei PCP, Inapproximation usw. Der Satz ist wie folgt gegliedert. Ein Spiel , wobei S , T , A , B endliche Mengen sind, π eine Verteilung auf S × T ist und das Prädikat V : S × T × A × B ist → { 0 , 1 } . Definiere den Wert des Spiels v...
Ich lese den Beweis von hier und bin auf ein technisches (aber entscheidendes) Problem gestoßen. Ich weiß, dass dies ziemlich spezifisch und der Kontext problematisch ist, aber ich konnte es selbst nicht herausfinden. Auf den Seiten 51 und 55 ändern sie nach der Präsentation der "Standard"...
Eine äquivalente Formulierung des PCP-Theorems lautet: Für Max 3-SAT ist es -schwer, zwischen erfüllbaren Formeln und Formeln zu unterscheiden, bei denen höchstens r- Bruch der Klauseln erfüllbar sind (für einige r < 1 ).NPNPNPrrrr < 1r<1r\lt 1 Gibt es ein bekanntes Dichotomie-Theorem, das...
Was folgt, mag dumm erscheinen (und das spiegelt wahrscheinlich mein schlechtes Verständnis wider - bitte nehmen Sie es mit mir auf) Ich hatte eine Frage zum PCP-Theorem. Wir wissen, dass nach den ersten drei Schritten nämlich. Gradreduzierung, Expanderisierung und Lückenverstärkung, wir haben...
In den meisten probabilistischen Beweissystemen (z. B. PCP-Theorem) werden die Fehlerwahrscheinlichkeiten normalerweise auf der Seite der falsch-positiven Ergebnisse definiert, dh eine typische Definition könnte folgendermaßen aussehen: Wenn ist, akzeptiert der Prüfer immer, aber in In anderen...
Das PCP-Theorem besagt, dass jedes Entscheidungsproblem in NP probabilistisch überprüfbare Beweise hat (oder äquivalent dazu, dass es ein vollständiges und quasi-schalldichtes Beweissystem für Theoreme in NP gibt, das eine konstante Abfragekomplexität und logarithmisch viele zufällige Bits...
Das Buch von Arora und Barak enthält in Kapitel Anmerkungen zu PCP Wir stellen fest, dass Dinurs allgemeine Strategie etwas an die Zick-Zack-Konstruktion von Expander-Graphen und den in Kapitel 20 beschriebenen deterministischen Logspace-Algorithmus von Reingold für ungerichtete Konnektivität...
Ich studiere die Unique Games Conjecture und die berühmte Reduktion von Khot et al. Auf Max-Cut. In ihrer Arbeit und anderswo im Internet verwenden die meisten Autoren (was für mich ist) eine implizite Äquivalenz zwischen der MAX-CUT-Reduktion und der Erstellung bestimmter Tests für lange Codes....
Was sind die bekanntesten asymptotischen Obergrenzen für die Größe probabilistisch überprüfbarer Beweise? Idealerweise suche ich nach einer zeitgemäßen Umfrage zu dieser umfassenden Frage, aber wenn es keine gibt, bin ich besonders an der Unannäherbarkeit von 3-SAT interessiert. Sei 7/8 + ε-3-SAT...
Im Gradreduktionsschritt von Dinurs Beweis wird der Eingabegraph in einen Graphen transformiert indem jeder Scheitelpunkt durch einen Satz von Scheitelpunkten, , ersetzt wird, so dass und Auferlegen eines Grad-d-Expander-Graphen auf die für alle . Dies macht einem regulären Graphen von d 1 und die...
Ich habe ein paar Fragen zur Quantum PCP-Vermutung: Was ist die Aussage der Quanten-PCP-Vermutung? Welche Implikationen hätte der Quanten-PCP-Satz für die Simulation von Hamiltonianern? Wird angenommen, dass die Übernahme von Irit Dinurs Beweis des klassischen PCP-Theorems wahrscheinlich zu einem...
Es ist bekannt , dass , wenn P=NPP=NPP=NP dann CoNP=PCP[O(log(n)),O(1)]CoNP=PCP[O(log(n)),O(1)]CoNP= PCP[O(log(n)),O(1)] . Es ist auch bekannt, dass NEXP=PCP[poly(n),poly(n)]NEXP=PCP[poly(n),poly(n)]NEXP=PCP[poly(n),poly(n)]. Es scheint, dass PCP uns nicht sagen kann, welche natürlichen Probleme...