On the Corrádi-Hajnal Theorem and a question of Dirac
In 1963, Corrádi and Hajnal proved that for all and , every graph on vertices with minimum degree contains disjoint cycles. The bound is sharp. Here we characterize those graphs with that contain disjoint cycles. This answers the simple-graph case of Dirac's 1963 question on the characterization of -connected graphs with no disjoint cycles. Enomoto and Wang refined the Corrádi-Hajnal Theorem, proving the following Ore-type version: For all and , every graph on vertices contains disjoint cycles, provided that for all distinct nonadjacent vertices . We refine this further for and : If is a graph on vertices such that for all distinct nonadjacent vertices , then has vertex-disjoint cycles if and only if the independence number and is not one of two small exceptions in the case . We also show how the case follows from Lovász' characterization of multigraphs with no two disjoint cycles.