The Hamilton–Waterloo Problem with C16-Factors and Cm-Factors for Odd m

Li Wang
DOI: https://doi.org/10.3390/sym16030371
2024-03-20
Symmetry
Abstract:The Hamilton–Waterloo problem is a problem of graph factorization. The Hamilton–Waterloo problem HWP(H;m,n;α,β) asks for a two-factorization of a graph H containing α Cm-factors and β Cn-factors. Let Kv* denote the complete graph Kv if v is odd and Kv minus a one-factor if v is even. In this paper, we completely solve the Hamilton–Waterloo problem HWP(Kv*;m,16;α,β) for odd m≥9 and α≥15.
multidisciplinary sciences
What problem does this paper attempt to address?
The paper primarily addresses a specific instance of the Hamilton-Waterloo problem, specifically when the graph \(H\) is the complete graph \(K_v^*\) (which is the complete graph \(K_v\) when \(v\) is odd, and \(K_v\) with one perfect matching removed when \(v\) is even), containing \(C_{16}\)-factors and \(C_m\)-factors (where \(m\) is an odd number and \(m \geq 9\)). Specifically, the main result in the paper (Theorem 4) provides the necessary and sufficient conditions for the existence of \(HW(K_v^*; 16, m; \alpha, \beta)\) for any odd \(m \geq 9\), where \(\alpha + \beta = 8mt - 1\), \(t \geq 1\), except for some possible special cases, such as when \(\alpha\) is within a certain range and \(t\) is odd, or \(\alpha\) is within another range and \(t\) is even. Here, \(HW(K_v^*; 16, m; \alpha, \beta)\) represents a decomposition of the graph \(K_v^*\) that includes \(\alpha\) \(C_{16}\)-factors and \(\beta\) \(C_m\)-factors. The paper proves the above result through a constructive method and discusses related graph theory concepts and previous research findings, such as Cayley graphs, graph products, etc. Additionally, the paper proposes some auxiliary lemmas and construction methods to support its main conclusions. Finally, in the conclusion section, the authors mention future work directions, including further research on the \(2l\)-cycle and \(m\)-cycle problems, and propose a conjecture aimed at generalizing the current results to broader scenarios.