完全偶图的一类（1，2）-因子分解

图G的一个支撑子图F称为G的一个(1,2)因子,当F的每一个连通分支是路或圈.若G能够分解成边不交的(1,2)-因子的并,则称这样的并为G的一个(1,2)-因子分解.完全偶图Km,n存在具有最小边数和最大边数的(1,2)-因子,定理1和定理2给出了Km,n的上述(1,2)-因子分解.