El problema de optimización de CSP es resistente a la aproximación si es difícil de superar el factor de aproximación de una asignación aleatoria. Por ejemplo, MAX 3-LIN es resistente a la aproximación ya que una asignación aleatoria satisface fracción de las ecuaciones lineales, pero lograr un factor de aproximación es duro.
MAX CUT es un fundamental completo. Se puede formular como un problema de CSP para resolver ecuaciones lineales módulo 2 ( mod 2). Una asignación aleatoria logra un factor de aproximación de (del número total de aristas ). Haglin y Venkatesan demostraron que lograr un factor de aproximación 1/2 1/2 es duro (es decir, encontrar un corte mejor que ). Sin embargo, Hastad mostró que MAX corte no es approximable a factor de dentro del corte óptimo a menos que. Goemans y Williamson dieron un algoritmo de tiempo polinomial basado en SDP con un factor de aproximación de 0.878 (dentro del corte óptimo) que es óptimo suponiendo la Conjetura de juegos únicos. Me parece que expresar el factor de aproximación en relación con el número total de restricciones ( ) es más natural y coherente con la convención utilizada para el problema MAX 3-LIN.
¿Por qué el factor de aproximación para MAX CUT se da en relación con el tamaño del corte óptimo en lugar del número de restricciones (# de bordes)? ¿Estoy en lo cierto al concluir que MAX CUT es resistente a la aproximación cuando el factor de aproximación es relativo al número total de restricciones ( )?
fuente
Respuestas:
Si mide la aproximación como una relación entre el número de restricciones satisfechas por su algoritmo dividido por el número total de restricciones, entonces trivialmente todos los problemas de satisfacción de restricciones son incondicionalmente resistentes a la aproximación.
Por definición, un problema es resistente a la aproximación si la relación de aproximación (en el peor de los casos) de una solución aleatoria es (hasta un aditivo término) mejor posible entre las relaciones de aproximación (en el peor de los casos) logradas por todos los algoritmos de tiempo polinomiales .o(1)
Con su definición de relación de aproximación, obtiene resistencia de aproximación de Max Cut (y todos los problemas de satisfacción de restricciones) solo porque siempre puede construir instancias para las cuales la relación dada (en promedio) por una asignación aleatoria es más o menos (hasta un término) lo mismo que la proporción dada por una asignación óptima.o(1)
fuente