Towards Sharp Inapproximability For Any 2-CSP

We continue the recent line of work on the connection between semidefinite programming-based approximation algorithms and the Unique Games Conjecture. Given any boolean 2-CSP (or more generally, any boolean 2-CSP with real-valued “predicates”), we show how to reduce the search for a good inapproximability result to a certain numeric minimization problem. Furthermore, we give an SDP-based approximation algorithm, and show that the approximation ratio of this algorithm on a certain restricted type of instances is exactly the inapproximability ratio yielded by our hardness result. We conjecture that the restricted type required for the hardness result is in fact no restriction, which would imply that these upper and lower bounds match exactly. This conjecture is supported by all existing results for specific 2-CSPs. As an application, we show that MAX 2-AND is Unique Games-hard to approximate within 0.87435. This improves upon the best previous hardness of αGW + ≈ 0.87856, and c...

• Type: Conference
• Year: 2007
• Where: FOCS
• Authors: Per Austrin
• Keywords: Approximation Algorithm, FOCS 2007, Semidefinite Programming-based Approximation, Theoretical Computer Science, Unique Games Conjecture