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 bekannt, aber später wurde ein direkterer Beweis gefunden, der nicht von PCP abhängt? Mit anderen Worten, gab es einen Fall, in dem PCP zuerst notwendig erschien, später jedoch beseitigt werden konnte?
quelle
Für das Problem der maximalen Kantendisjunktionspfade in gerichteten Graphen basierte die Arbeit von Ma & Wang (2000) auf dem Etikettendeckelproblem, das wiederum auf dem PCP-Theorem basiert. Anschließend wurde von Guruswami et al. Eine einfache Reduktion über die Härte des 2-Disjointpath-Problems gefunden . al. (2003) was ebenfalls eine verbesserte Härte ergab.
quelle
Es gibt Beispiele aus der Näherungszählung. Die ungefähre Zählung der Anzahl zufriedenstellender Zuordnungen einer NP-Beziehung kann nur schwieriger sein, als zu entscheiden, ob eine zufriedenstellende Zuordnung vorliegt. Es ist daher nicht verwunderlich, dass das PCP-Theorem nicht erforderlich ist, um die Härte für solche Probleme zu beweisen. Das PCP-Theorem bietet jedoch manchmal einen geeigneten Ausgangspunkt, z. B. für dieses Dokument, in dem die Anzahl unabhängiger Mengen in einem übersichtlichen Diagramm ungefähr gezählt wird: http://www.dcs.ed.ac.uk/home/mrj/papers/ DFJ02.pdf Später erwies sich Sly als Härteergebnis für die Zählung unabhängiger Sätze, die nur auf der Standard-NP-Härte von Max-Cut basierten: http://arxiv.org/pdf/1005.5584v1.pdf
quelle
Eine andere Antwort, die in einem etwas anderen Sinne als die vorherigen Antworten ist, ist diese Abhandlung von Uri Feige: Beziehungen zwischen durchschnittlicher Fallkomplexität und Approximationskomplexität .
Uri zeigt, dass durchschnittliche Fallannahmen das PCP-Theorem ersetzen können, um die Härte der Approximation einiger Probleme zu beweisen. Beachten Sie jedoch, dass wir nicht wissen, wie die Annahmen für den Durchschnittsfall zu beweisen sind, und wir haben einige Beweise dafür, dass wir sie auf der Grundlage von Standard-NP-Härte-Annahmen nicht beweisen können (siehe die Arbeiten von Feigenbaum-Fortnow, Bogdanov-Trevisan usw.).
quelle