Approximate Constraint Satisfaction Requires Large LP Relaxations

David Steurer, Cornell University

Monday, December 2, 2013

4:00pm, 5130 Upson Hall



We prove super-polynomial lower bounds on the size of linear programming relaxations for approximation versions of constraint satisfaction problems.  We show that for these problems, general polynomial-sized linear programs are exactly as powerful as those arising from the Sherali-Adams hierarchy.

Concrete consequences are that polynomial-sized linear programming relaxation cannot achieve better than 1/2-approximations for MAX-CUT, 7/8-approximations for MAX-3SAT, or 3/4-approximations for MAX-2SAT.

Our techniques bring together two formerly disparate lines of research.  On the one hand, there has been a recent sequence of exciting lower bounds on the size of extended formulations for various polytopes that arise in combinatorial optimization.  At the same time, researchers have extensively studied the power of specific LP relaxations, e.g., from the Sherali-Adams hierarchy, for approximating NP-hard problems.

Joint work with Siu On Chan, James R. Lee, and Prasad Raghavendra.