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

Paper Mentions

Designing FPT Algorithms for Cut Problems Using Randomized Contractions
TLDR
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
TLDR
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
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 withExpand
Approximating Unique Games Using Low Diameter Graph Decomposition
TLDR
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
TLDR
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
  • V. Guruswami, A. Sinop
  • Mathematics, Computer Science
  • 2011 IEEE 52nd Annual Symposium on Foundations of Computer Science
  • 2011
TLDR
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
TLDR
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
  • A. Kolla
  • Computer Science, Mathematics
  • 2010 IEEE 25th Annual Conference on Computational Complexity
  • 2010
TLDR
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
TLDR
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
TLDR
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
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 80 REFERENCES
Optimal Inapproximability Results for MAX-CUT and Other 2-Variable CSPs?
TLDR
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
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 withExpand
Spectral Algorithms for Unique Games
  • A. Kolla
  • Computer Science
  • Computational Complexity Conference
  • 2010
TLDR
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
TLDR
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
TLDR
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
  • V. Guruswami, A. Sinop
  • Mathematics, Computer Science
  • 2011 IEEE 52nd Annual Symposium on Foundations of Computer Science
  • 2011
TLDR
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
TLDR
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
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 arbitraryExpand
Optimal algorithms and inapproximability results for every CSP?
TLDR
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
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 theseExpand
...
1
2
3
4
5
...