research-article

Subexponential Algorithms for Unique Games and Related Problems

Authors:

Sanjeev Arora,

Boaz Barak,

David SteurerAuthors Info & Claims

Journal of the ACM (JACM), Volume 62, Issue 5

Article No.: 42, Pages 1 - 25

https://doi.org/10.1145/2775105

Published: 02 November 2015 Publication History

Get Access

Abstract

Subexponential time approximation algorithms are presented for the Unique Games and Small-Set Expansion problems. Specifically, for some absolute constant c, the following two algorithms are presented.

(1) An exp(kn^ϵ)-time algorithm that, given as input a k-alphabet unique game on n variables that has an assignment satisfying 1-ϵ^c fraction of its constraints, outputs an assignment satisfying 1-ϵ fraction of the constraints.

(2) An exp(n^ϵ/δ)-time algorithm that, given as input an n-vertex regular graph that has a set S of δn vertices with edge expansion at most ϵ^c, outputs a set S' of at most δ n vertices with edge expansion at most ϵ.

subexponential algorithm is also presented with improved approximation to Max Cut, Sparsest Cut, and Vertex Cover on some interesting subclasses of instances. These instances are graphs with low threshold rank, an interesting new graph parameter highlighted by this work.

Khot's Unique Games Conjecture (UGC) states that it is NP-hard to achieve approximation guarantees such as ours for Unique Games. While the results here stop short of refuting the UGC, they do suggest that Unique Games are significantly easier than NP-hard problems such as Max 3-Sat, Max 3-Lin, Label Cover, and more, which are believed not to have a subexponential algorithm achieving a nontrivial approximation ratio.

Of special interest in these algorithms is a new notion of graph decomposition that may have other applications. Namely, it is shown for every ϵ >0 and every regular n-vertex graph G, by changing at most δ fraction of G's edges, one can break G into disjoint parts so that the stochastic adjacency matrix of the induced graph on each part has at most n^ϵ eigenvalues larger than 1-η, where η depends polynomially on ϵ. The subexponential algorithm combines this decomposition with previous algorithms for Unique Games on graphs with few large eigenvalues [Kolla and Tulsiani 2007; Kolla 2010].

References

[1]

Noga Alon. 1986. Eigenvalues and expanders. Combinatorica 6, 2 (1986), 83--96.

Abstract

References

Cited By

Index Terms

Recommendations

The Unique Games Conjecture, Integrality Gap for Cut Problems and Embeddability of Negative-Type Metrics into ℓ1

Graph expansion and the unique games conjecture

Reductions between Expansion Problems

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Funding Sources

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Get Access

Login options

Full Access

View options

PDF

eReader

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations

The Unique Games Conjecture, Integrality Gap for Cut Problems and Embeddability of Negative-Type Metrics into ℓ₁