Integrality gaps for Sherali-Adams relaxations
Proceedings of the forty-first annual ACM symposium on Theory of computing
On Hardness of Pricing Items for Single-Minded Bidders
APPROX '09 / RANDOM '09 Proceedings of the 12th International Workshop and 13th International Workshop on Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques
Predicting positive and negative links in online social networks
Proceedings of the 19th international conference on World wide web
SDP gaps for 2-to-1 and other label-cover variants
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming
Improved rounding for parallel repeated unique games
APPROX/RANDOM'10 Proceedings of the 13th international conference on Approximation, and 14 the International conference on Randomization, and combinatorial optimization: algorithms and techniques
How to play unique games on expanders
WAOA'10 Proceedings of the 8th international conference on Approximation and online algorithms
Towards Sharp Inapproximability for Any 2-CSP
SIAM Journal on Computing
Proceedings of the forty-third annual ACM symposium on Theory of computing
Restricted common superstring and restricted common supersequence
CPM'11 Proceedings of the 22nd annual conference on Combinatorial pattern matching
Beating the Random Ordering Is Hard: Every Ordering CSP Is Approximation Resistant
SIAM Journal on Computing
On LP-based approximability for strict CSPs
Proceedings of the twenty-second annual ACM-SIAM symposium on Discrete Algorithms
Improved parameterized algorithms for above average constraint satisfaction
IPEC'11 Proceedings of the 6th international conference on Parameterized and Exact Computation
Parameterized complexity of maxsat above average
LATIN'12 Proceedings of the 10th Latin American international conference on Theoretical Informatics
The feedback arc set problem with triangle inequality is a vertex cover problem
LATIN'12 Proceedings of the 10th Latin American international conference on Theoretical Informatics
Constraint satisfaction problems parameterized above or below tight bounds: a survey
The Multivariate Algorithmic Revolution and Beyond
Sorting noisy data with partial information
Proceedings of the 4th conference on Innovations in Theoretical Computer Science
WINE'12 Proceedings of the 8th international conference on Internet and Network Economics
Computing a profit-maximizing sequence of offers to agents in a social network
WINE'12 Proceedings of the 8th international conference on Internet and Network Economics
Parameterized complexity of MaxSat Above Average
Theoretical Computer Science
Hi-index | 0.00 |
We prove that approximating the Max. Acyclic Subgraphproblem within a factor better than 1/2 is Unique Gameshard. Specifically, for every constant $\eps$ 0 thefollowing holds: given a directed graph $G$ that has anacyclic subgraph consisting of a fraction $(1-\eps)$ of itsedges, if one can efficiently find an acyclic subgraph of$G$ with more than $(1/2+\eps)$ of its edges, then the UGCis false. Note that it is trivial to find an acyclicsubgraph with $1/2$ the edges, by taking either the forwardor backward edges in an arbitrary ordering of the verticesof $G$. The existence of a $\rho$-approximation algorithmfor \rho 1/2$ has been a basic open problem for a while.Our result is the first tight inapproximability result foran ordering problem. The starting point of our reduction isa directed acyclic subgraph (DAG) in which every cut isnearly-balanced in the sense that the number of forward andbackward edges crossing the cut are nearly equal; such DAGswere constructed by Charikar et al. Using this, we are ableto study Max. Acyclic Subgraph, which is a constraintsatisfaction problem (CSP) over an unbounded domain, byrelating it to a proxy CSP over a bounded domain. The latteris then amenable to powerful techniques based on theinvariance principle.Our results also give a super-constant factorinapproximability result for the Feedback Arc Set problem.Using our reductions, we also obtain SDP integrality gapsfor both the problems.