On the spouse-loving variant of the Oberwolfach problem

Noah Bolohan,Iona Buchanan,Andrea Burgess,Mateja Šajna,Ryan Van Snick
DOI: https://doi.org/10.1002/jcd.21645
2024-08-01
Abstract:We prove that $K_n+I$, the complete graph of an even order with a $1$-factor duplicated, admits a decomposition into $2$-factors, each a disjoint union of cycles of length $m \geq 5$ if and only if $m \mid n$, except possibly when $m$ is odd and $n=4m$. In addition, we show that $K_n+I$ admits a decomposition into $2$-factors, each a disjoint union of cycles of lengths $m_1, \ldots, m_t$, whenever $m_1, \ldots, m_t$ are all even.
Combinatorics
What problem does this paper attempt to address?