梁志和
Alspach 提出如下猜想:"设$n$是奇数并且
每个$m_1,m_2,\cdots,m_h$都是大于等于3而小于等于$n$的整数. 若$\sum\limits_{i=1}^h m_i$=$n(n-1)/2$, 则
$K_n$ 可以分解成圈 $C_{m_1},C_{m_2},\cdots,C_{m_h}$." 用记号
$C(m_1^{n_1}m_2^{n_2}\cdots m_s^{n_s})$表示由$n_i$个$m_i$长圈, $i=1,2,\cdots,s$组成的2-正则图. 设
$\Gamma=\{C((2m_i)^{n_i}\cdots(2m_s)^{n_s}) \mid i\in [1,s]\}$.
研究了循环$(K_v,\Gamma)$-分解的构造方法及其存在性问题, 并且证明了Alspach 猜想的一些特殊情况.