Integrality Gap of the Vertex Cover Linear Programming Relaxation
Mohit Singh

TL;DR
This paper characterizes the integrality gap of the vertex cover LP relaxation, linking it to the fractional chromatic number of the graph, providing a precise mathematical relationship.
Contribution
It establishes a exact formula for the integrality gap of the vertex cover LP relaxation based on the fractional chromatic number, a novel theoretical insight.
Findings
Integrality gap equals 2 - 2/χ^f(G) for any graph G.
Connects the integrality gap to fractional chromatic number.
Provides a precise characterization of LP relaxation performance.
Abstract
We give a characterization result for the integrality gap of the natural linear programming relaxation for the vertex cover problem. We show that integrality gap of the standard linear programming relaxation for any graph G equals where denotes the fractional chromatic number of G.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsComplexity and Algorithms in Graphs · Advanced Graph Theory Research · Vehicle Routing Optimization Methods
Integrality Gap of the Vertex Cover Linear Programming Relaxation
Mohit Singh
H. Milton Stewart School of Industrial and Systems Engineering,
Georgia Institute of Technology, Atlanta, GA Groseclose 410,H. Milton Stewart School of Industrial and Systems Engineering, 755 Ferst Avenue, Atlanta GA. Email:[email protected].
Abstract
We give a characterization result for the integrality gap of the natural linear programming relaxation for the vertex cover problem. We show that integrality gap of the standard linear programming relaxation for any graph equals where denotes the fractional chromatic number of .
Keywords: Vertex Cover, Linear Programming, Integrality Gap, Chromatic Number.
1 Introduction
Given a vertex-weighted graph with weights , the vertex cover problem asks for a minimum weight subset of vertices such that each edge has at least one endpoint in . The vertex cover problem is NP-hard [3] and a 2-approximation algorithm was given by Nemhauser and Trotter [1].
Mathematical programming techniques have been extensively studied for the vertex cover problem. The following is a natural integer linear program for the vertex cover problem. We denote by the convex hull of all integer feasible vertex covers which is the convex hull of the feasible solutions to following the integer linear program.
[TABLE]
Relaxing the integrality constraints we obtain a linear program. We denote to be the polyhedron of all feasible solutions to the following linear programming relaxation to the vertex cover problem.
[TABLE]
The polyhedron has been studied extensively. It is known that is integral if and only if is bipartite. This follows as a corollary of the Hungarian method [4]. Nemhauser and Trotter [1] show that is half-integral, i.e., for any extreme point of , we must have for each . This result directly implies a 2-approximation for the problem by selecting each vertex with non-zero value in an optimal solution to the linear program. Surprisingly, this long standing result has not been improved despite extensive study and is optimal assuming the Unique Games Conjecture [7]. Moreover, there are no polynomial sized linear programs that approximate the value of the vertex cover better than factor of [9].
In this paper, we study the polyhedron and give a complete characterization of the integrality gap of the linear program. Our characterization will also point out which instances are harder for the vertex cover problem. Surprisingly, we obtain a strong connection between the integrality gap of the linear program and another parameter of the graph known as fractional chromatic number of the graph.
1.1 Definitions and Preliminaries
The integrality gap of vertex cover LP relaxation is defined as
[TABLE]
.
We also use the following result which is folklore and also occurs explicitly in Goemans [2]. A polyhedron is called blocking type if for any and , we have .
Lemma 1.1
[2]** Given a blocking type polyhedron and its relaxation , the integrality gap of this relaxation
[TABLE]
Observe that, since is a relaxation of , i.e. , we must have .
Given a graph , let be the set of all independent sets in . The fractional chromatic number is defined as the optimal value of the following linear program.
[TABLE]
Observe that where is the chromatic number of graph . Moreover, unless . We assume that for rest of the paper.
2 Main Result
We prove the following result relating the integrality gap of the vertex cover linear programming relaxation and the fractional chromatic number of .
Theorem 2.1
Given a graph the integrality gap of vertex cover LP relaxation .
Before we give the proof of Theorem 2.1, we make a few observations regarding the implications of the theorem. Since if and only if is bipartite we obtain that , i.e., is integral if and only if is bipartite. As observed earlier, this implication is also a corollary of the Hungarian method. If is planar then and we obtain that .
The following corollary shows that it is NP-hard to approximate the integrality gap and thus also ruling out a PTAS for approximating the integrality gap of the natural LP relaxation for the vertex cover problem.
Corollary 1
Computing the integrality gap of the vertex cover linear programming relaxation is NP-hard. Moreover, there exists a constant such that it is NP-hard to approximate the integrality gap within a factor of .
Proof.
Since the fractional chromatic number and the chromatic number are within a factor of of each other (see for example Theorem 64.13 [8]), it is NP-hard to approximate the fractional chromatic number to a factor better than for some [5]. As a corollary, we also obtain that it is NP-hard to compute the integrality gap of the vertex cover problem exactly.
We now show that it is even NP-hard to approximate the integrality gap within a factor of for some constant . Khot [6] implies that there exist constants such that it is NP-hard to distinguish whether the fractional chromatic number of a graph is at most or at least . But observe that when the fractional chromatic number of is at most , then and when the fractional chromatic number of is more than , then we have . Therefore, it is NP-hard to distinguish whether or and thus ruling out a -approximation where . ∎
We now give the proof of the main result.
Proof of Theorem 2.1: We first prove that .
Let be any extreme point of . Lemma 1.1 implies that it is enough to show that . Nemhauser and Trotter [1] imply that for each . Let
[TABLE]
and let be the graph induced by .
Let be the fractional chromatic number of and let denote an optimum solution achieving the optimum value of .
Claim 1
For each , is a vertex cover in and is a vertex cover in .
Proof.
Since is an independent set in , is a vertex cover in .
Now, consider any edge . If then is covered by . Else, if both endpoints of are in , then and it is covered by . Else, it has at least one endpoint in . But, then it must have the other endpoint in as where . ∎
For any set , we denote to be the indicator vector of set . Thus, for each . Let . Clearly, since .
Claim 2
.
Proof.
Consider any component of the two vectors in the above inequality. If , both the LHS and the RHS are [math] and the inequality holds. For any , the LHS is while the RHS is at most and the inequality holds.
Now, let . The component in the LHS corresponding to is
[TABLE]
The RHS of the inequality is
[TABLE]
where the first inequality holds as and the last inequality uses the fact that as is a induced subgraph of . ∎
Thus from Lemma 1.1, we have .
Now, we prove that . We show this by constructing a cost function for the vertices of and showing that any integral solution is at least times the objective of the linear program. To construct the cost function we again use the following linear program, for the fractional chromatic number of graph defined in (1)-(3). Its dual is given as follows.
[TABLE]
Let be an optimum solution to the dual linear program. Strong duality implies that the value of is . Now, consider the cost function , where . Consider as a fractional vertex cover solution defined as for each . Observe that it is a feasible solution in . Hence, we obtain that
[TABLE]
.
Let be an optimal vertex cover solution in under the cost function and let . Clearly, is an independent set. Hence,
[TABLE]
where the last inequality holds as from the fact that is an independent set. Hence,
[TABLE]
as claimed.
3 Acknowledgement
This research is supported in part by National Science Foundation grant CCF-1717947.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] G. L. Nemhauser and L. E. Trotter, Vertex packings: Structural properties and algorithms , Mathematical Programming, Volume 8, Issue - 1, pp: 232 - 248, 1975.
- 2[2] M. X. Goemans, Worst-case comparison of valid inequalities for the TSP , Mathematical Programming, Volume 69, Issue - 1, pp: 335 - 349, 1995.
- 3[3] Karp, Richard M., Reducibility among combinatorial problems , Complexity of computer computations. Springer, Boston, MA, 1972. 85-103.
- 4[4] Kuhn, Harold W., The Hungarian method for the assignment problem , Naval Research Logistics (NRL) 2.1‐2 (1955): 83-97.
- 5[5] Bellare, Mihir and Sudan, Madhu, Improved non-approximability results , Proceedings of the twenty-sixth annual ACM symposium on Theory of computing, 1994.
- 6[6] Khot, Subhash. Improved inapproximability results for maxclique, chromatic number and approximate graph coloring. Proceedings of Foundations of Computer Science, 2001.
- 7[7] Khot, Subhash and Oded Regev, Vertex cover might be hard to approximate to within 2 − ϵ 2 italic-ϵ 2-\epsilon . Journal of Computer and System Sciences 74.3 (2008): 335-349.
- 8[8] Schrijver, Alexander, Combinatorial optimization: polyhedra and efficiency. Vol. 24. Springer Science and Business Media, 2003.
