Decomposition of a complete bipartite multigraph into arbitrary cycle sizes
In a graph G, let μG(xy) denote the number of edges between x and y in G. Let λKv,u be the graph (V∪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 m1,m2,…,mn. An (M)-cycle decomposition of a graph G is a partition of the edge set into cycles of lengths m1,m2,…,mn. In this paper, we establish necessary and sufficient conditions for the existence of an (M)-cycle decomposition of λKv,u.