Beating the random assignment on constraint satisfaction problems of bounded degree

with Boaz Barak, Ankur Moitra, Ryan O'Donnell, Prasad Raghavendra, Oded Regev, Luca Trevisan, Aravindan Vijayaraghavan, David Witmer, John Wright. APPROX 2015.

PDF

abstract

We show that for any odd kk and any instance I\mathcal I of the MAX kk-LIN constraint satisfaction problem, there is an efficient algorithm that finds an assignment satisfying at least a 12+Ω(1/D)\tfrac{1}{2} + \Omega(1/\sqrt{D}) fraction of I\mathcal I’s constraints, where DD is a bound on the number of constraints that each variable occurs in. This improves both qualitatively and quantitatively on the recent work of Farhi, Goldstone, and Gutmann (2014), which gave a quantum algorithm to find an assignment satisfying a 12+Ω(D3/4)\tfrac{1}{2} + \Omega(D^{-3/4}) fraction of the equations.

For arbitrary constraint satisfaction problems, we give a similar result for “triangle-free” instances; i.e., an efficient algorithm that finds an assignment satisfying at least a μ+Ω(1/D)\mu + \Omega(1/\sqrt{D}) fraction of constraints, where μ\mu is the fraction that would be satisfied by a uniformly random assignment.