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.

A Precise Condition for Independent Transversals in Bipartite Covers

Reconfiguration of Independent Transversals

An Asymptotically Sharp Bound on the Maximum Number of Independent Transversals

Approximate packing of independent transversals in locally sparse graphs

Degree criteria and stability for independent transversals

A Hall-type condition for path covers in bipartite graphs

A general approach to transversal versions of Dirac-type theorems

A necessary and sufficient condition for $k$-transversals

On Perfectly Friendly Bisections of Random Graphs

On density conditions for transversal trees in multipartite graphs

Round and Bipartize for Vertex Cover Approximation

On blockers and transversals of maximum independent sets in co-comparability graphs

Finding Almost-Perfect Graph Bisections.

Semidefinite approximations for bicliques and biindependent pairs

Graphs of low average degree without independent transversals

Invertible families of sets of bounded degree

Bipartite Graphs And Coverings

New Invariants for Partitioning a Graph into 2-connected Subgraphs

A spectral condition for spanning trees with restricted degrees in bipartite graphs

Approximately: Independence Implies Vertex Cover