Cycle Decompositions of $K_{\lowercase{n,n}}-I$

Jun Ma,Liqun Pu,Hao Shen
DOI: https://doi.org/10.1137/050626363
IF: 0.868
2006-01-01
SIAM Journal on Discrete Mathematics
Abstract:Let $K_{n,n}$ denote the complete bipartite graph with $n$ vertices in each bipartition set and $K_{n,n}-I$ denote $K_{n,n}$ with a 1-factor removed. An $m$-cycle system of $K_{n,n}-I$ is a collection $T$ of $m$-cycles such that each edge of $K_{n,n}-I$ is contained in a unique $m$-cycle of $T$. In this paper, it is proved that the necessary and sufficient conditions for the existence of an $m$-cycle system of $K_{n,n}-I$ are $n\equiv 1 \({\rm mod} \ 2)$, $m\equiv 0 \ ({\rm mod} \ 2)$, $4\leq m \leq 2n$, and $n(n-1)\equiv 0\ ({\rm mod}\ m)$.
What problem does this paper attempt to address?