45th Annual IEEE Symposium on Foundations of Computer Science (2004)

Rome, Italy

Oct. 17, 2004 to Oct. 19, 2004

ISSN: 0272-5428

ISBN: 0-7695-2228-9

pp: 146-154

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/FOCS.2004.49

Subhash Khot , Institute for Advanced Study

Guy Kindler , Rutgers University

Elchanan Mossel , University of California at Berkeley

Ryan O'Donnell , Institute for Advanced Study

ABSTRACT

<p>In this paper we give evidence suggesting that MAXCUT is NP-hard to approximate to within a factor of α_GW + ε, for all ε > 0, where α_GW denotes the approximation ratio achieved by the Goemans-Williamson algorithm [14], α_GW ≈ .878567. This result is conditional, relying on two conjectures: a) the Unique Games conjecture of Khot [24]; and, b) a very believable conjecture we call the Majority Is Stablest conjecture. These results indicate that the geometric nature of the Goemans-Williamson algorithm might be intrinsic to the MAX-CUT problem.</p> <p>The same two conjectures also imply that it is NP-hard to β + e)-approximate MAX-2SAT, where β ≈ .943943 is the minimum of ({{2 + \frac{2}{\pi }\theta )} \mathord{\left/ {\vphantom {{2 + \frac{2}{\pi }\theta )} {(3 - \cos (\theta ))}}} \right. \kern-\nulldelimiterspace} {(3 - \cos (\theta ))}} on (\frac{\pi }{2},\pi ). Motivated by our proof techniques, we show that if the MAX-2CSP and MAX-2SAT problems are slightly restricted — in a way that seems to retain all their hardness — then they have (α_GW - ε)- and (β - ε)-approximation algorithms, respectively.</p> <p>Though we are unable to prove the Majority Is Stablest conjecture, we give some partial results and indicate possible directions of attack. Our partial results are enough to imply that MAX-CUT is hard to (\frac{3}{4} + \frac{1}{{2\pi }} + \varepsilon )-approximate (≈ .909155), assuming only the Unique Games conjecture. We also discuss MAX-2CSP problems over non-boolean domains and state some related results and conjectures. We show, for example, that the Unique Games conjecture implies that it is hard to approximate MAX-2LIN(q) to within any constant factor.</p>

INDEX TERMS

null

CITATION

S. Khot, E. Mossel, R. O'Donnell and G. Kindler, "Optimal Inapproximability Results for Max-Cut and Other 2-Variable CSPs?,"

*45th Annual IEEE Symposium on Foundations of Computer Science(FOCS)*, Rome, Italy, 2004, pp. 146-154.

doi:10.1109/FOCS.2004.49

CITATIONS

SEARCH