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 gute Papiere / Bücher?
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 …
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 wurde, dh das Ergebnis war vorher nicht …
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 wir es besser machen …
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" ist?
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 ).PCP[f(n),g(n)]PCP[f(n),g(n)]\mathcal{PCP}[f(n),g(n)]MAMA\mathcal{MA}f(n)f(n)f(n)g(n)g(n)g(n) 1990 haben Babai, Fortnow und Lund jedoch bewiesen, dass , es ist also nicht gerade eine Einschränkung. Was sind die Parameter ( ) …
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 einen Zeiger auf das neue Element zurück …
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 × …
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 alle Max CSPs danach klassifiziert, ob sie …
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" -Verifizierer die Verifizierer, um …
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 einen Beschränkungsgraphen mit verbesserter Lücke und großer Alphabetgröße …
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 Fällen beträgt die Wahrscheinlichkeit einer Ablehnung mindestens 1/2.x∈Lx∈Lx \in L Gibt es ein Problem …
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 3-SAT mit dem Versprechen, dass die Instanz erfüllbar ist, …
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. Aufgrund meiner eigenen Unklarheit über …
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 erinnert, was darauf hindeutet, dass weitere Verbindungen zwischen diesen verschiedenen Forschungsbereichen warten. …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.