Algoritmos de aproximación de tiempo superpolinomial para MAX 3SAT

20

El teorema de PCP que no hay algoritmo de tiempo polinómico para MAX 3SAT para encontrar una asignación satisfacer cláusulas de una fórmula 3SAT satisfiable a menos que P = N P .7/8+ϵP=NP

Existe un algoritmo de tiempo polinomial que satisface trivial de las cláusulas. Así que, ¿Podemos hacer algo mejor que 7 / 8 + ε si permitimos que los algoritmos de super-polinómicas? ¿Qué proporciones de aproximación podemos lograr con algoritmos de tiempo cuasi-polinomiales ( n O ( log n ) ) o con algoritmos de tiempo sub-exponenciales ( 2 o ( n ) )? Estoy buscando referencias a cualquiera de estos algoritmos.7/87/8+ϵnO(logn)2o(n)

Mohammad Al-Turkistany
fuente

Respuestas:

29

Uno puede obtener un aproximación para MAX3SAT que se ejecuta en 2 O ( ε n ) tiempo sin demasiados problemas. Aquí está la idea. Divida el conjunto de variables en O ( 1 / ε ) grupos de ε n variables cada uno. Para cada grupo, intente las 2 ε n formas de asignar las variables en el grupo. Para cada fórmula reducida, ejecute el Karloff y Zwick 7 / 8 : Aproximación. Salida de la asignación que satisface un número máximo de cláusulas, de todas estas pruebas.7/8+ε/82O(εn)O(1/ε)εn2εn7/8

El punto es que hay un bloque variable tal que la asignación óptima (restringida a ese bloque) ya satisface una fracción del número máximo de cláusulas satisfechas. Usted obtendrá las cláusulas adicionales exactamente correcto, y obtendrá 7 / 8 del la fracción restante del óptimo uso de Karloff y Zwick.ε7/8

Es una pregunta interesante si se puede obtener para el mismo tipo de aproximación. Existe una "Conjetura PCP lineal" de que 3SAT se puede reducir en tiempo polinómico a MAX3SAT, de modo que:2O(ε2n)

  • si la instancia de 3SAT es satisfactoria, entonces la instancia de MAX3SAT es completamente satisfactoria,
  • 7/8+ε
  • poly(1/ε)

2O(εcm)7/8+εcε2εnεm

Ryan Williams
fuente
7/8
18

Para reafirmar de alguna manera lo que Ryan Williams escribió en su último párrafo:

T(n)=2n1o(1)(7/8+1/(loglogn).000001)T(n)2o(n)7/8

Ryan O'Donnell
fuente