No Small Linear Program Approximates Vertex Cover within a Factor 2 -- e

  title={No Small Linear Program Approximates Vertex Cover within a Factor 2 -- e},
  author={Ahmad Bazzi and Samuel Fiorini and Sebastian Pokutta and Ola Svensson},
  journal={2015 IEEE 56th Annual Symposium on Foundations of Computer Science},
The vertex cover problem is one of the most important and intensively studied combinatorial optimization problems. Khot and Regev [30], [31] proved that the problem is NP-hard to approximate within a factor 2 - ε, assuming the Unique Games Conjecture (UGC). This is tight because the problem has an easy 2-approximation algorithm. Without resorting to the UGC, the best in approximability result for the problem is due to Dinur and Safra [16], [17]: vertex cover is NP-hard to approximate within a… 

Figures from this paper

A Tight Approximation Algorithm for the Cluster Vertex Deletion Problem

This work gives the first $2-approximation algorithm for the cluster vertex deletion problem, based on the local ratio technique and the management of true twins, with a novel construction of a 'good' cost function on the vertices at distance at most $2 from any vertex of the input graph.

Affine reductions for LPs and SDPs

The reduction mechanism is a minor restriction of classical hardness reductions requiring an additional independence assumption and it allows for reusing many hardness reductions that have been used to show inapproximability in the context of PCP theorems.

Average case polyhedral complexity of the maximum stable set problem

A super-polynomial lower bound is obtained all the way from p =Ωlog6+εnn to p = o1logn, and the upper bound is close to this as there is only an essentially quadratic gap in the exponent.

The matching problem has no small symmetric SDP

The matching problem can be expressed compactly in a framework such as semidefinite programming (SDP) that is more powerful than linear programming but still allows efficient optimization, and any symmetric SDP for the matching problem has exponential size.

New limits of treewidth-based tractability in optimization

It is proved that treewidth is the only graph-theoretical parameter that yields tractability for a wide class of optimization problems, a fact well known in Graphical Models in Machine Learning and in Constraint Satisfaction Problems, which here the authors extend to an approximation setting in Optimization.

Limits of Treewidth-based tractability in Optimization

This work proves that treewidth is the only graph-theoretical parameter that yields tractability in a wide class of optimization problems, a fact well known in Graphical Models in Machine Learning and here it is extended to Optimization.

Integrality Gap of the Vertex Cover Linear Programming Relaxation

Fixed cardinality stable sets

Strong reductions for extended formulations

AbstractWe generalize the reduction mechanism for linear programming problems and semidefinite programming problems from Braun et al. (Inapproximability of combinatorial problems via small LPs and

The k-Observer Problem on d-regular Graphs

This work focuses on undirected d-regular graphs, where every node has a maximal constant degree of d and presents the first algorithm with an better approximation factor than k+1 for k-Observe, and leads to a 3-approximation for k=2.



Integrality gaps of 2 - o(1) for Vertex Cover SDPs in the Lovész-Schrijver Hierarchy

It is shown that a large family of LP and SDP based algorithms fail to produce an approximation for Vertex Cover better than 2.36, and an integrality gap of 2 - o(lfloor)for Vertex cover SDPs obtained by tightening the standard LP relaxation with Omega(radiclog n/ log log n) rounds of LS+.

Inapproximability of Combinatorial Problems via Small LPs and SDPs

This work defines a consistent reduction mechanism that degrades approximation factors in a controlled fashion and which, at the same time, is compatible with approximate linear and semidefinite programming formulations.

An information complexity approach to extended formulations

An optimal and unconditional lower bound against linear programs for clique that matches Hastad's celebrated hardness result is proved and an information theoretic framework is developed to approach these questions and is used to prove the main result.

The matching polytope has exponential extension complexity

By a known reduction this also improves the lower bound on the extension complexity for the TSP polytope from 2Ω(√n) to 2 Ω(n).

Vertex cover might be hard to approximate to within 2-epsilon

Lower Bounds on the Size of Semidefinite Programming Relaxations

It is proved that SDPs of polynomial-size are equivalent in power to those arising from degree-O(1) sum-of-squares relaxations, and this result yields the first super-polynomial lower bounds on the semidefinite extension complexity of any explicit family of polytopes.

Optimal Sherali-Adams Gaps from Pairwise Independence

This work shows that if the set of assignments accepted by P contains the support of a balanced pairwise independent distribution over the domain of the inputs, then such a problem on n variables cannot be approximated better than the trivial (random) approximation, even using ***(n ) levels of the Sherali-Adams LP hierarchy.

Tight integrality gaps for Lovasz-Schrijver LP relaxations of vertex cover and max cut

It is proved that the integrality gap of Vertex Cover remains at least 2-ε after Ω<sub>ε</sub> (n) rounds, and that the integration gap of Max Cut remains at most 1/2 +ε after € afterΩ(sub)ε(n), where n is the number ofvertices.

SDP Integrality Gaps with Local̀ 1-Embeddability Subhash Khot

This work constructs integrality gap instances for SDP relaxation of the M AXI UM CUT and the SPARSEST CUT problems and obtains an optimal gap of α−1 GW − ε, whereαGW is the Goemans-Williamson constant [GW95] and ε > 0 is an arbitrarily small constant.

Approximate Constraint Satisfaction Requires Large LP Relaxations

It is shown that for these problems, polynomial-sized linear programs are exactly as powerful as programs arising from a constant number of rounds of the Sherali-Adams hierarchy.