Odd cycle transversal

<h2 id="relation-to-vertex-cover">Relation to vertex cover</h2>
<p>A given 
  
    
      
        n
      
    
    {\displaystyle n}
  
-vertex graph 
  
    
      
        G
      
    
    {\displaystyle G}
  
 has an odd cycle transversal of size 
  
    
      
        k
      
    
    {\displaystyle k}
  
, if and only if the <a href="/facts/Cartesian_product_of_graphs/wC4JJdyU">Cartesian product of graphs</a> 
  
    
      
        G
        ◻
        
          K
          
            2
          
        
      
    
    {\displaystyle G\square K_{2}}
  
 (a graph consisting of two copies of 
  
    
      
        G
      
    
    {\displaystyle G}
  
, with corresponding vertices of each copy connected by the edges of a <a href="/facts/Perfect_matching/LmtRYLgK">perfect matching</a>) has a <a href="/facts/Vertex_cover/WK86bJvf">vertex cover</a> of size 
  
    
      
        n
        +
        k
      
    
    {\displaystyle 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
        ◻
        
          K
          
            2
          
        
      
    
    {\displaystyle 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.<a class="footnote-ref" id="fnref:2" href="#fn:2"><sup>2</sup></a>
</p>
<h2 id="algorithms-and-complexity">Algorithms and complexity</h2>
<p>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 <a href="/facts/NP-hard/mQeNPv4R">NP-hard</a>, as a special case of the problem of finding the largest induced subgraph with a <a href="/facts/Hereditary_property/J64xYUGG">hereditary property</a> (as the property of being bipartite is hereditary). All such problems for nontrivial properties are NP-hard.<a class="footnote-ref" id="fnref:3" href="#fn:3"><sup>3</sup></a><a class="footnote-ref" id="fnref:4" href="#fn:4"><sup>4</sup></a>
</p><p>The equivalence between the odd cycle transversal and vertex cover problems has been used to develop <a href="/facts/Fixed-parameter_tractable/RoyaJGgJ">fixed-parameter tractable</a> 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
      
    
    {\displaystyle k}
  
. The development of these algorithms led to the method of <a href="/facts/Iterative_compression/e2hal3GL">iterative compression</a>, a more general tool for many other parameterized algorithms.<a class="footnote-ref" id="fnref:5" href="#fn:5"><sup>5</sup></a> The parameterized algorithms known for these problems take nearly-linear time for any fixed value of 
  
    
      
        k
      
    
    {\displaystyle k}
  
.<a class="footnote-ref" id="fnref:6" href="#fn:6"><sup>6</sup></a> Alternatively, with polynomial dependence on the graph size, the dependence on 
  
    
      
        k
      
    
    {\displaystyle k}
  
 can be made as small as 
  
    
      
        
          2.3146
          
            k
          
        
      
    
    {\displaystyle 2.3146^{k}}
  
.<a class="footnote-ref" id="fnref:7" href="#fn:7"><sup>7</sup></a>
In contrast, the analogous problem for <a href="/facts/Directed_graph/YBdfQ0um">directed graphs</a> does not admit a fixed-parameter tractable algorithm under standard complexity-theoretic assumptions.<a class="footnote-ref" id="fnref:8" href="#fn:8"><sup>8</sup></a>
</p>
<h2 id="see-also">See also</h2>
<ul><li><a href="/facts/Maximum_cut/9rulcdeW">Maximum cut</a>, equivalent to asking for a minimum set of edges whose removal leaves a bipartite graph</li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1"><p>Cygan, Marek; Fomin, Fedor V.; Kowalik, Lukasz; Lokshtanov, Daniel; Marx, Dániel; Pilipczuk, Marcin; Pilipczuk, Michal; Saurabh, Saket (2015), Parameterized Algorithms, Springer, pp. 64–65, doi:10.1007/978-3-319-21275-3, ISBN 978-3-319-21274-6, MR 3380745 <a href="978-3-319-21274-6" target="_blank">978-3-319-21274-6</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li>
<li id="fn:2"><p>Cygan, Marek; Fomin, Fedor V.; Kowalik, Lukasz; Lokshtanov, Daniel; Marx, Dániel; Pilipczuk, Marcin; Pilipczuk, Michal; Saurabh, Saket (2015), Parameterized Algorithms, Springer, pp. 64–65, doi:10.1007/978-3-319-21275-3, ISBN 978-3-319-21274-6, MR 3380745 <a href="978-3-319-21274-6" target="_blank">978-3-319-21274-6</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li>
<li id="fn:3"><p>Garey, Michael R.; Johnson, David S. (1979), "GT21: Induced subgraph with property Π", Computers and Intractability: A Guide to the Theory of NP-completeness, W. H. Freeman, p. 195 <a href="/wiki/Michael_Garey" target="_blank">/wiki/Michael_Garey</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li>
<li id="fn:4"><p>Yannakakis, Mihalis (1978), "Node-and edge-deletion NP-complete problems", Proceedings of the 10th ACM Symposium on Theory of Computing (STOC '78), pp. 253–264, doi:10.1145/800133.804355 <a href="/wiki/Mihalis_Yannakakis" target="_blank">/wiki/Mihalis_Yannakakis</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li>
<li id="fn:5"><p>Cygan, Marek; Fomin, Fedor V.; Kowalik, Lukasz; Lokshtanov, Daniel; Marx, Dániel; Pilipczuk, Marcin; Pilipczuk, Michal; Saurabh, Saket (2015), Parameterized Algorithms, Springer, pp. 64–65, doi:10.1007/978-3-319-21275-3, ISBN 978-3-319-21274-6, MR 3380745 <a href="978-3-319-21274-6" target="_blank">978-3-319-21274-6</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></p></li>
<li id="fn:6"><p>Kawarabayashi, Ken-ichi; Reed, Bruce (2010), "An (almost) linear time algorithm for odd cycles transversal", Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, Philadelphia, PA: SIAM, pp. 365–378, CiteSeerX 10.1.1.215.2581, doi:10.1137/1.9781611973075.31, ISBN 978-0-89871-701-3, MR 2809682 <a href="978-0-89871-701-3" target="_blank">978-0-89871-701-3</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></p></li>
<li id="fn:7"><p>Lokshtanov, Daniel; Narayanaswamy, N. S.; Raman, Venkatesh; Ramanujan, M. S.; Saurabh, Saket (2014), "Faster parameterized algorithms using linear programming", ACM Transactions on Algorithms, 11 (2): Art. 15, 31, arXiv:1203.0833, doi:10.1145/2566616, MR 3283570 <a href="/wiki/ArXiv_(identifier)" target="_blank">/wiki/ArXiv_(identifier)</a> <a href="#fnref:7" class="footnote-back-ref">↩</a></p></li>
<li id="fn:8"><p>Lokshtanov, Daniel; Ramanujan, M. S.; Saurabh, Saket; Zehavi, Meirav (2017), Parameterized complexity and approximability of directed odd cycle transversal, arXiv:1704.04249, Bibcode:2017arXiv170404249L <a href="/wiki/ArXiv_(identifier)" target="_blank">/wiki/ArXiv_(identifier)</a> <a href="#fnref:8" class="footnote-back-ref">↩</a></p></li>
</ol>

Odd cycle transversal open-in-new

Odd cycle transversal