Odd cycle transversal

In graph theory, an odd cycle transversal of an undirected graph is a set of vertices of the graph that has a nonempty intersection with every odd cycle in the graph. Removing the vertices of an odd cycle transversal from a graph leaves a bipartite graph as the remaining induced subgraph.

Relation to vertex cover
A given $$n$$-vertex graph $$G$$ has an odd cycle transversal of size $$k$$, if and only if the Cartesian product of graphs $$G\square K_2$$ (a graph consisting of two copies of $$G$$, with corresponding vertices of each copy connected by the edges of a perfect matching) has a vertex cover of size $$n+k$$. The odd cycle transversal can be transformed into a vertex cover by including both copies of each vertex from the transversal and one copy of each remaining vertex, selected from the two copies according to which side of the bipartition contains it. In the other direction, a vertex cover of $$G\square K_2$$ can be transformed into an odd cycle transversal by keeping only the vertices for which both copies are in the cover. The vertices outside of the resulting transversal can be bipartitioned according to which copy of the vertex was used in the cover.

Algorithms and complexity
The problem of finding the smallest odd cycle transversal, or equivalently the largest bipartite induced subgraph, is also called odd cycle transversal, and abbreviated as OCT. It is NP-hard, as a special case of the problem of finding the largest induced subgraph with a hereditary property (as the property of being bipartite is hereditary). All such problems for nontrivial properties are NP-hard.

The equivalence between the odd cycle transversal and vertex cover problems has been used to develop fixed-parameter tractable algorithms for odd cycle transversal, meaning that there is an algorithm whose running time can be bounded by a polynomial function of the size of the graph multiplied by a larger function of $$k$$. The development of these algorithms led to the method of iterative compression, a more general tool for many other parameterized algorithms. The parameterized algorithms known for these problems take nearly-linear time for any fixed value of $$k$$. Alternatively, with polynomial dependence on the graph size, the dependence on $$k$$ can be made as small as $$2.3146^k$$. In contrast, the analogous problem for directed graphs does not admit a fixed-parameter tractable algorithm under standard complexity-theoretic assumptions.