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 .
Es ist ein trivialer Polynomialzeitalgorithmus dass erfüllen der Klauseln. So können wir es besser machen als 7 / 8 + ε , wenn wir zulassen , dass Super-Polynom - Algorithmen? Welche Näherungsverhältnisse können wir mit quasi-polynomialen Zeitalgorithmen ( n O ( log n ) ) oder mit subexponentiellen Zeitalgorithmen ( 2 o ( n ) ) erreichen? Ich suche Verweise auf solche Algorithmen.