TR11-027 Authors: Venkatesan Guruswami, Johan Håstad, Rajsekar Manokaran, Prasad Raghavendra, Moses Charikar

Publication: 2nd March 2011 07:12

Downloads: 3778

Keywords:

We prove that, assuming the Unique Games Conjecture (UGC), every problem in the class of ordering constraint satisfaction problems (OCSP) where each constraint has constant arity is approximation

resistant. In other words, we show that if $\rho$ is the expected fraction of constraints satisfied by a random ordering, then obtaining a $\rho'$ approximation, for any $\rho' > \rho$ is UG-hard.

For the simplest ordering CSP, the \mas (MAS) problem, this implies that obtaining a $\rho$-approximation, for any constant $\rho > 1/2$ is UG-hard. Specifically, for every constant $\eps > 0$ the following holds: given a directed graph $G$ that has an acyclic subgraph consisting of a fraction $(1-\eps)$ of its edges, it is UG-hard to find one with more than $(1/2+\eps)$ of its edges.

Note that it is trivial to find an acyclic subgraph with $1/2$ the edges, by taking either the forward or backward edges in an arbitrary ordering of the vertices of $G$. The MAS problem has been well studied and beating the random ordering for MAS has been a basic open problem.

An OCSP of arity $k$ is specified by a subset $\Pi \subseteq S_k$ of permutations on $\{1, 2, \dots, k\}$. An instance of such an OCSP is a set $V$ and a collection of constraints each of which is an ordered $k$-tuple of $V$. The objective is to find a global linear ordering of $V$ while maximizing the number of constraints ordered as in $\Pi$. A random ordering of $V$ is expected to satisfy a $\rho = \frac{|\Pi|}{k!}$ fraction. We show that, for any fixed $k$, it is hard to obtain a $\rho'$-approximation for $\Pi$-OCSP for any $\rho' > \rho$. The result is in fact stronger: we show that for every $\Lambda \subseteq \Pi \subseteq S_k$, and an arbitrarily small $\eps$, it is hard to distinguish instances where a $(1 -\eps)$ fraction of the constraints can be ordered according to $\Lambda$; from instances where at most a $\rho + \eps$ fraction can be ordered as in $\Pi$. A special case of our result is that the {\em Betweenness} problem is hard to approximate beyond a factor $1/3$. The results naturally generalize to OCSPs which assign a payoff to the different permutations.

Finally, our results imply (unconditionally) that a simple semidefinite relaxation for MAS does not suffice to obtain a better approximation.