The Erdos-Gallai cycle decomposition conjecture (Erdos Problem #184)
Theorem 1.1: an absolute constant exists such that the edges of every finite simple graph on vertices partition into at most simple cycles and single edges. Corollary 1.2: every Eulerian graph partitions into at most cycles, and under a quasirandom cut condition into cycles. The constant is not computed or optimized; the conjectured sharp values (Erdos suggested ;…