TY - JOUR

T1 - Sharpening an Ore-type version of the Corrádi–Hajnal theorem

AU - Kierstead, Henry

AU - Kostochka, A. V.

AU - Molla, T.

AU - Yeager, E. C.

PY - 2016/12/22

Y1 - 2016/12/22

N2 - Corrádi and Hajnal (Acta Math Acad Sci Hung 14:423–439, 1963) proved that for all (Formula presented.) and (Formula presented.), every (simple) graph G on n vertices with minimum degree (Formula presented.) contains k disjoint cycles. The degree bound is sharp. Enomoto and Wang proved the following Ore-type refinement of the Corrádi–Hajnal theorem: For all (Formula presented.) and (Formula presented.), every graph G on n vertices contains k disjoint cycles, provided that (Formula presented.) for all distinct nonadjacent vertices x, y. Very recently, it was refined for (Formula presented.) and (Formula presented.): If G is a graph on n vertices such that (Formula presented.) for all distinct nonadjacent vertices x, y, then G has k vertex-disjoint cycles if and only if the independence number (Formula presented.) and G is not one of two small exceptions in the case (Formula presented.). But the most difficult case, (Formula presented.), was not handled. In this case, there are more exceptional graphs, the statement is more sophisticated, and some of the proofs do not work. In this paper we resolve this difficult case and obtain the full picture of extremal graphs for the Ore-type version of the Corrádi–Hajnal theorem. Since any k disjoint cycles in a 3k-vertex graph G must be 3-cycles, the existence of such k cycles is equivalent to the existence of an equitable k-coloring of the complement of G. Our proof uses the language of equitable colorings, and our result can be also considered as an Ore-type version of a partial case of the Chen–Lih–Wu Conjecture on equitable colorings.

AB - Corrádi and Hajnal (Acta Math Acad Sci Hung 14:423–439, 1963) proved that for all (Formula presented.) and (Formula presented.), every (simple) graph G on n vertices with minimum degree (Formula presented.) contains k disjoint cycles. The degree bound is sharp. Enomoto and Wang proved the following Ore-type refinement of the Corrádi–Hajnal theorem: For all (Formula presented.) and (Formula presented.), every graph G on n vertices contains k disjoint cycles, provided that (Formula presented.) for all distinct nonadjacent vertices x, y. Very recently, it was refined for (Formula presented.) and (Formula presented.): If G is a graph on n vertices such that (Formula presented.) for all distinct nonadjacent vertices x, y, then G has k vertex-disjoint cycles if and only if the independence number (Formula presented.) and G is not one of two small exceptions in the case (Formula presented.). But the most difficult case, (Formula presented.), was not handled. In this case, there are more exceptional graphs, the statement is more sophisticated, and some of the proofs do not work. In this paper we resolve this difficult case and obtain the full picture of extremal graphs for the Ore-type version of the Corrádi–Hajnal theorem. Since any k disjoint cycles in a 3k-vertex graph G must be 3-cycles, the existence of such k cycles is equivalent to the existence of an equitable k-coloring of the complement of G. Our proof uses the language of equitable colorings, and our result can be also considered as an Ore-type version of a partial case of the Chen–Lih–Wu Conjecture on equitable colorings.

KW - Disjoint cycles

KW - Equitable coloring

KW - Minimum degree

UR - http://www.scopus.com/inward/record.url?scp=85006851580&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85006851580&partnerID=8YFLogxK

U2 - 10.1007/s12188-016-0168-8

DO - 10.1007/s12188-016-0168-8

M3 - Article

AN - SCOPUS:85006851580

SP - 1

EP - 37

JO - Abhandlungen aus dem Mathematischen Seminar der Universitat Hamburg

JF - Abhandlungen aus dem Mathematischen Seminar der Universitat Hamburg

SN - 0025-5858

ER -