Abstract:The vertex cover problem is a fundamental and widely studied combinatorial optimization problem. It is known that its standard linear programming relaxation is integral for bipartite graphs and half-integral for general graphs. As a consequence, the natural rounding algorithm based on this relaxation computes an optimal solution for bipartite graphs and a $2$-approximation for general graphs. This raises the question of whether one can interpolate the rounding curve of the standard linear programming relaxation in a beyond the worst-case manner, depending on how close the graph is to being bipartite. In this paper, we consider a simple rounding algorithm that exploits the knowledge of an induced bipartite subgraph to attain improved approximation ratios. Equivalently, we suppose that we work with a pair $(G, S)$, consisting of a graph with an odd cycle transversal. If $S$ is a stable set, we prove a tight approximation ratio of $1 + 1/\rho$, where $2\rho -1$ denotes the odd girth (i.e., length of the shortest odd cycle) of the contracted graph $\tilde{G} := G /S$ and satisfies $\rho \in [2,\infty]$. If $S$ is an arbitrary set, we prove a tight approximation ratio of $\left(1+1/\rho \right) (1 - \alpha) + 2 \alpha$, where $\alpha \in [0,1]$ is a natural parameter measuring the quality of the set $S$. The technique used to prove tight improved approximation ratios relies on a structural analysis of the contracted graph $\tilde{G}$. Tightness is shown by constructing classes of weight functions matching the obtained upper bounds. As a byproduct of the structural analysis, we obtain improved tight bounds on the integrality gap and the fractional chromatic number of 3-colorable graphs. We also discuss algorithmic applications in order to find good odd cycle transversals and show optimality of the analysis.

Integrality Gap of the Vertex Cover Linear Programming Relaxation

Computing the Integer Programming Gap

Constant Factor Lasserre Integrality Gaps for Graph Partitioning Problems.

Integrality Gaps of Linear and Semi-definite Programming Relaxations for Knapsack

Relaxations and cutting planes for linear programs with complementarity constraints

Complexity of linear relaxations in integer programming

Parameterized Vertex Integrity Revisited

Bounds on Erd{ő}s - Faber - Lovász Conjecture - the Uniform and Regular Cases

Sparsity and integrality gap transference bounds for integer programs

Gap Functions and Existence Results for Generalized Vector Variational Inequalities

Polyhedral Aspects of Feedback Vertex Set and Pseudoforest Deletion Set

The generalized vertex cover problem and some variations

On Column-restricted and Priority Covering Integer Programs

Round and Bipartize for Vertex Cover Approximation

The Bidirected Cut Relaxation for Steiner Tree has Integrality Gap Smaller than 2

On the Integrability of Strongly Regular Graphs

Counting vertices of integral polytopes defined by facets

New Upper Bounds on Linear Coloring of Planar Graphs

Structural Parameterizations of Vertex Integrity

Inverse of the Gomory Corner Relaxation of Integer Programs

Vertex-minor-closed classes are $χ$-bounded