arXiv++ Combinatorics

In a graph $G$, let $μ_G(xy)$ denote the number of edges between $x$ and $y$ in $G$. Let $λK_{v,u}$ be the graph $(V\cup U,E)$ with $|V|=v$, $|U|=u$, and \[ μ_G(xy)=\begin{cases} λ&\mbox{if $x\in U$ and $y\in V$ or if $x\in V$ and $y\in U$}\\ 0 &\mbox{otherwise.} \\ \end{cases} \] Let $M$ be a sequence of non-negative integers $m_1,m_2,\ldots,m_n$. An $(M)$-cycle decomposition of a graph $G$ is a partition of the edge set into cycles of lengths $m_1,m_2,\ldots,m_n$. In this paper, we establish necessary and sufficient conditions for the existence of an $(M)$-cycle decomposition of $λK_{v,u}$.

Following standard terminology, $λK_v$ is a multigraph on $v$ vertices such that $λ$ edges join each pair of vertices. Let $(λ+μ)K_{v+u}-λK_v$ be the graph $(V\cup U,E)$ with $|V|=v$, $|U|=u$, and $(λ+μ)-λ=μ$ edges between the vertices $x$ and $y$ if $x$ and $y$ both lie in $V$ and $λ+μ$ edges between $x$ and $y$ otherwise. The main result of this paper establishes necessary and sufficient conditions for an $m$-path decomposition of $(λ+μ)K_{v+u}-λK_v$.