Hajós' cycle conjecture for small graphs
Irene Heinrich, Marco V. Natale, Manuel Streicher · arXiv (Cornell University) · 2017
Hajós' conjecture states that an Eulerian graph of order n can be decomposed into at most (n-1)/2 edge-disjoint cycles. We describe preprocessing steps, heuristics and integer programming techniques that enable us to verify Hajós' conjecture for all Eulerian graphs with up to twelve nodes.