Near-Optimal Algorithms for Maximum Constraint Satisfaction

COMPUTER SCIENCE/DISCRETE MAT H I
Topic:Near-Optimal Algorithms for Maximum Constraint Satisfaction
Speaker:Konstantin Makarychev
Affiliation:Princeton University
Date:Monday, March 26
Time/Room:12:15pm - 1:15pm/West Building Lecture Theatre

We present approximation algorithms for the maximum constraint satisfaction problem with k variables in each constraint (MAX k-CSP). Given a (1-epsilon) satisfiable 2CSP our first algorithm finds an assignment of variables satisfying a 1 - O(sqrt(epsilon)) fraction of all constraints. The best previously known result, due to Zwick, was 1 - O(epsilon^{1/3}). The second algorithm finds a (c k/2^k) approximation for the MAX k-CSP problem (where c > 0.44 is an absolute constant). This result improves the previously best known algorithm by Hastad, which had an approximation guarantee of (k/(2^k log k)). Both results are optimal assuming the Unique Games Conjecture and are based on rounding natural semidefinite programming relaxations. We also believe that our algorithms and their analysis are simpler than those previously known.