Als «pcp» getaggte Fragen

Probabilistisch überprüfbare Beweise

2
Geben uns gute PCPs für NP gute PCPs für die gesamte Polynomhierarchie?
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 verwendet). Die „Volksweisheit“, die den PCP-Satz umgibt (wobei die Bedeutung von PCP für die …
1
Gradreduktionsschritt in Dinurs Beweis des PCP-Theorems
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 Konstruktion stellt sicher, dass sich die …
2
Quanten-PCP und Simulationshärte von Hamiltonianern
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 Beweis der Quantum-PCP-Vermutung führt? Welchen Hintergrund wird benötigt, um Artikel über …
2
PCP-Theorem und Beweiskomplexität?
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 nicht in NPNPNP . Ich frage mich, ob es möglich ist, die PCP-Charakterisierung zu verwenden, um CoNPCoNPCoNP von zu trennen NPNPNP. …
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.