Optimal path and cycle decompositions of dense quasirandom graphs

Motivated by longstanding conjectures regarding decompositions of graphs into paths and cycles, we prove the following optimal decomposition results for random graphs. Let $0<p<1$ be constant and let $G\sim G_{n,p}$. Let $odd(G)$ be the number of odd degree vertices in $G$. Then a.a.s. the following hold: (i) $G$ can be decomposed into $\lfloor\Delta(G)/2\rfloor$ cycles and a matching of size $odd(G)/2$. (ii) $G$ can be decomposed into $\max\{odd(G)/2,\lceil\Delta(G)/2\rceil\}$ paths. (iii) $G$ can be decomposed into $\lceil\Delta(G)/2\rceil$ linear forests. Each of these bounds is best possible. We actually derive (i)--(iii) from `quasirandom' versions of our results. In that context, we also determine the edge chromatic number of a given dense quasirandom graph of even order. For all these results, our main tool is a result on Hamilton decompositions of robust expanders by Kuhn and Osthus.

[1]  S. Tipnis,et al.  On Path Decompositions of Graphs and Multigraphs , 2015 .

[2]  Pu Gao,et al.  Arboricity and spanning-tree packing in random graphs with an application to load balancing , 2013, SODA.

[3]  F. Harary,et al.  Covering and packing in graphs. III: Cyclic and acyclic invariants , 1980 .

[4]  Daniela Kühn,et al.  Edge‐disjoint Hamilton cycles in random graphs , 2011, Random Struct. Algorithms.

[5]  N. Alon The linear arboricity of graphs , 1988 .

[6]  Nathaniel Dean,et al.  Gallai's conjecture for disconnected graphs , 2000, Discret. Math..

[7]  D. Osthus Hamilton decompositions of regular expanders , 2016 .

[8]  Daniela Kühn,et al.  Hamiltonian degree sequences in digraphs , 2008, J. Comb. Theory, Ser. B.

[9]  Jayadev Misra,et al.  A Constructive Proof of Vizing's Theorem , 1992, Inf. Process. Lett..

[10]  Daniela Kühn,et al.  Hamilton decompositions of regular expanders: Applications , 2012, J. Comb. Theory, Ser. B.

[11]  Ian Holyer,et al.  The NP-Completeness of Edge-Coloring , 1981, SIAM J. Comput..

[12]  D. Kuhn,et al.  Proof of the 1-factorization and Hamilton Decomposition Conjectures , 2014, 1401.4183.

[13]  P. Erdos,et al.  On Some of My Conjectures in Number Theory and Combinatorics , 2022 .

[14]  Frederick Hoffman [Proceedings of the Sixteenth Southeastern Conference on Combinatorics, Graph Theory and Computing , 1983 .

[15]  Lutz Volkmann,et al.  Minimum degree conditions for the Overfull Conjecture for odd order graphs , 2003, Australas. J Comb..

[16]  Wojciech Samotij,et al.  Optimal Packings of Hamilton Cycles in Sparse Random Graphs , 2011, SIAM J. Discret. Math..

[17]  A. Hilton,et al.  Regular Graphs of High Degree are 1‐Factorizable , 1985 .

[18]  Bruce A. Reed,et al.  Linear Arboricity of Random Regular Graphs , 1990, Random Struct. Algorithms.

[19]  Daniela Kühn,et al.  Hamilton decompositions of regular expanders: a proof of Kelly's conjecture for large tournaments , 2012, ArXiv.

[20]  F. Harary COVERING AND PACKING IN GRAPHS, I. , 1970 .

[21]  P. Erdös,et al.  The Representation of a Graph by Set Intersections , 1966, Canadian Journal of Mathematics.

[22]  Daniela Kühn,et al.  Optimal covers with Hamilton cycles in random graphs , 2014, Comb..

[23]  M. Plantholt Overfull conjecture for graphs with high minimum degree , 2004 .

[24]  Béla Bollobás,et al.  Random Graphs , 1985 .

[25]  Thomas Niessen How to Find overfull Subgraphs in Graphs with Large Maximum Degree , 1994, Discret. Appl. Math..

[26]  Benny Sudakov,et al.  Decomposing Random Graphs into Few Cycles and Edges , 2014, Combinatorics, Probability and Computing.

[27]  Michael Stiebitz,et al.  Graph Edge Coloring: Vizing's Theorem and Goldberg's Conjecture , 2012 .

[28]  David Conlon,et al.  Cycle packing , 2013, Random Struct. Algorithms.

[29]  S. Hakimi On Realizability of a Set of Integers as Degrees of the Vertices of a Linear Graph. I , 1962 .