The vertex cover problem is one of the most important and intensively studied combinatorial optimization problems. Khot and Regev [32,33] 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 inapproximability result for the problem is due to Dinur and Safra [17,18]: vertex cover is NP-hard to approximate within a factor 1.3606.We prove the following unconditional result about linear programming (LP) relaxations of the problem: every LP relaxation that approximates vertex cover within a factor 2 − ε has superpolynomially many inequalities. As a direct consequence of our methods, we also establish that LP relaxations (as well as SDP relaxations) that approximate the independent set problem within any constant factor have super-polynomial size.
ContributionWe consider the general model of LP relaxations as in [13], see also [10]. Given an n-vertex graph G = (V, E), a system of linear inequalities Ax b in R d , where d ∈ N is arbitrary, defines an LP relaxation of vertex cover (on G) if the following conditions hold:Linear objective: For every vertex-costs c ∈ R V + , we have an affine function (degree-1 polynomial)
Consistency: For all vertex coversFor every vertex-costs c ∈ R V + , the LP min{ f c (x) | Ax b} provides a guess on the minimum cost of a vertex cover. This guess is always a lower bound on the optimum.We allow arbitrary computations for writing down the LP, and do not bound the size of the coefficients. We only care about the following two parameters and their relationship: the size of the LP relaxation, defined as the number of inequalities in Ax b, and the (graph-specific) integrality gap which is the worst-case ratio over all vertex-costs between the true optimum and the guess provided by the LP, for this particular graph G and LP relaxation.This framework subsumes the polyhedral-pair approach in extended formulations [8]; see also [43]. We refer the interested reader to the surveys [15,28] for an introduction to extended formulations; see also Section 4 for more details.In this paper, we prove the following result about LP relaxations of vertex cover and, as a byproduct, independent set. 1 Theorem 1.1. For infinitely many values of n, there exists an n-vertex graph G such that: (i) Every size-n o(log n/ log log n) LP relaxation of vertex cover on G has integrality gap 2 − o(1); (ii) Every sizen o(log n/ log log n) LP relaxation of independent set on G has integrality gap ω(1).This solves an open problem that was posed both by Singh [51] and Chan, Lee, Raghavendra and Steurer [13]. In fact, Singh conjectured that every compact (that is, polynomial size), symmetric extended formulation for vertex cover has integrality gap at least 2−ε. We prove that his conjecture holds, even if asymmetric extended formulations are allowed. 2 Our result for the independent set problem is even stronger than Theorem 1.1, as we are also able to rul...