# Subexponential Algorithms for Unique Games and Related Problems

@article{Arora2010SubexponentialAF, title={Subexponential Algorithms for Unique Games and Related Problems}, author={Sanjeev Arora and Boaz Barak and David Steurer}, journal={2010 IEEE 51st Annual Symposium on Foundations of Computer Science}, year={2010}, pages={563-572} }

We give a sub exponential time approximation algorithm for the \textsc{Unique Games} problem. The algorithms run in time that is exponential in an arbitrarily small polynomial of the input size, $n^{\epsilon}$. The approximation guarantee depends on~$\epsilon$, but not on the alphabet size or the number of variables. We also obtain a sub exponential algorithms with improved approximations for \textsc{Small-Set Expansion} and \textsc{Multicut}. For \textsc{Max Cut}, \textsc{Sparsest Cut}, and… Expand

#### Supplemental Content

#### Figures and Topics from this paper

#### Paper Mentions

#### 218 Citations

Designing FPT Algorithms for Cut Problems Using Randomized Contractions

- Computer Science, Mathematics
- SIAM J. Comput.
- 2016

It is shown that one can in polynomial time solve instances of Unique Games where the number of edges allowed not to be satisfied is upper bounded by $O(\sqrt{\log n})$ to optimality, which improves over the trivial $O(1)$ upper bound. Expand

Mildly Exponential Time Approximation Algorithms for Vertex Cover, Uniform Sparsest Cut and Related Problems

- Computer Science, Mathematics
- ArXiv
- 2018

The Sum-of-Squares hierarchy can be adapted to provide `fast', but still exponential time, approximation algorithms for several problems in the regime where they are believed to be NP-hard. Expand

Subexponential Algorithms for dto-1 Two-Prover Games and for Certifying Almost Perfect Expansion

- 2010

A question raised by the recent subexponential algorithm for Unique Games (Arora, Barak, Steurer, FOCS 2010) is what other “hard-looking” problems admit good approximation algorithms with… Expand

Approximating Unique Games Using Low Diameter Graph Decomposition

- Mathematics, Computer Science
- APPROX-RANDOM
- 2017

It is shown that it is possible to apply the low diameter graph decomposition technique on the constraint graph directly, rather than to work on the label extended graph as in previous algorithms for Unique Games. Expand

Improved Parameterized Algorithms for Constraint Satisfaction

- Computer Science, Mathematics
- ArXiv
- 2010

A faster parameterized algorithm for deciding whether $m/2+k/2$ equations can be simultaneously satisfied over ${\mathbb F}_2$ and obtaining non-trivial hybrid algorithms for every Max $c$-CSP. Expand

Lasserre Hierarchy, Higher Eigenvalues, and Approximation Schemes for Graph Partitioning and Quadratic Integer Programming with PSD Objectives

- Mathematics, Computer Science
- 2011 IEEE 52nd Annual Symposium on Foundations of Computer Science
- 2011

An approximation scheme for optimizing certain Quadratic Integer Programming problems with positive semi definite objective functions and global linear constraints is presented, and an algorithm for independent sets in graphs that performs well when the Laplacian does not have too many eigenvalues bigger than $1+o(1). Expand

Lasserre Hierarchy, Higher Eigenvalues, and Approximation Schemes for Quadratic Integer Programming with PSD Objectives

- Computer Science, Mathematics
- Electron. Colloquium Comput. Complex.
- 2011

An approximation scheme for optimizing certain Quadratic Integer Programming problems with positive semidefinite objective functions and global linear constraints, and an algorithm for independent sets in graphs that performs well when the Laplacian does not have too many eigenvalues bigger than $1+o(1)$. Expand

Spectral Algorithms for Unique Games

- Computer Science, Mathematics
- 2010 IEEE 25th Annual Conference on Computational Complexity
- 2010

A new algorithm for Unique Games is given which is based on purely spectral techniques, in contrast to previous work in the area, which relies heavily on semidefinite programming (SDP), and is able to recover a good assignment given a highly satisfiable instance of Unique Games. Expand

Mildly Exponential Time Approximation Algorithms for Vertex Cover, Balanced Separator and Uniform Sparsest Cut

- Computer Science, Mathematics
- APPROX-RANDOM
- 2018

The Sum-of-Squares hierarchy can be adapted to provide "fast", but still exponential time, approximation algorithms for several problems in the regime where they are believed to be NP-hard. Expand

On Quadratic Programming with a Ratio Objective

- Mathematics, Computer Science
- ICALP
- 2012

Two results are given that indicate that QP-Ratio is hard to approximate to within any constant factor: one is based on the assumption that random instances of Max k-AND areHard to approximate, and the other makes a connection to a ratio version of Unique Games. Expand

#### References

SHOWING 1-10 OF 80 REFERENCES

Optimal Inapproximability Results for MAX-CUT and Other 2-Variable CSPs?

- Mathematics, Computer Science
- SIAM J. Comput.
- 2007

This paper shows a reduction from the Unique Games problem to the problem of approximating MAX-CUT to within a factor of $\alpha_{\text{\tiny{GW}}} + \epsilon$ for all $\ep silon > 0$, and indicates that the geometric nature of the Goemans-Williamson algorithm might be intrinsic to the MAX- CUT problem. Expand

Subexponential Algorithms for dto-1 Two-Prover Games and for Certifying Almost Perfect Expansion

- 2010

A question raised by the recent subexponential algorithm for Unique Games (Arora, Barak, Steurer, FOCS 2010) is what other “hard-looking” problems admit good approximation algorithms with… Expand

Spectral Algorithms for Unique Games

- Computer Science
- Computational Complexity Conference
- 2010

This talk presents a purely spectral algorithm that is able to distinguish (in quasi-polynomial time) highly satisfiable instances of UG on underlying graphs that have been proved to be hard for a natural semidefinite programming relaxation for Unique Games (integrality gap instances), giving evidence that spectral techniques might be a more powerful tool for approximation algorithms than SDPs. Expand

Near-optimal algorithms for unique games

- Mathematics, Computer Science
- STOC '06
- 2006

This work presents significantly improved approximation algorithms for unique games that are based on rounding a natural semidefinite programming relaxation for the problem and their performance almost matches the integrality gap of this relaxation. Expand

Improved Algorithms for Unique Games via Divide and Conquer

- Computer Science
- Electron. Colloquium Comput. Complex.
- 2010

Two new approximation algorithms for Unique Games based on new methods for partitioning graphs by cutting small fractions of edges when the graph can be embedded in a suitable metric space are presented. Expand

Lasserre Hierarchy, Higher Eigenvalues, and Approximation Schemes for Graph Partitioning and Quadratic Integer Programming with PSD Objectives

- Mathematics, Computer Science
- 2011 IEEE 52nd Annual Symposium on Foundations of Computer Science
- 2011

An approximation scheme for optimizing certain Quadratic Integer Programming problems with positive semi definite objective functions and global linear constraints is presented, and an algorithm for independent sets in graphs that performs well when the Laplacian does not have too many eigenvalues bigger than $1+o(1). Expand

Lasserre Hierarchy, Higher Eigenvalues, and Approximation Schemes for Quadratic Integer Programming with PSD Objectives

- Computer Science, Mathematics
- Electron. Colloquium Comput. Complex.
- 2011

An approximation scheme for optimizing certain Quadratic Integer Programming problems with positive semidefinite objective functions and global linear constraints, and an algorithm for independent sets in graphs that performs well when the Laplacian does not have too many eigenvalues bigger than $1+o(1)$. Expand

Playing Random and Expanding Unique Games

- 2007

In this work, we present a spectral algorithm that finds good assignments for instances of Unique Games when the underlying graph has some significant expansion and the constraints are arbitrary… Expand

Optimal algorithms and inapproximability results for every CSP?

- Computer Science, Mathematics
- STOC
- 2008

A generic conversion from SDP integrality gaps to UGC hardness results for every CSP is shown, which achieves at least as good an approximation ratio as the best known algorithms for several problems like MaxCut, Max2Sat, MaxDiCut and Unique Games. Expand

Which Problems Have Strongly Exponential Complexity

- Mathematics
- 2001

For several NP-complete problems, there have been a progression of better but still exponential algorithms. In this paper, we address the relative likelihood of sub-exponential algorithms for these… Expand