用ｇ（Ｇ）表示图Ｇ的围长。Ｓ（ｋ＿１，ｋ＿２）表示两个非１度顶点分别为ｋ＿１，ｋ＿２的重星。在［２］中证明了：（２ｋ＋１）─正则图Ｇ是Ｓ（ｋ＋１，ｋ＋１）─可分解的充分必要条件是图Ｇ含有１─因子。本文证明的主要结......