关于Win猜想的两个结果

设G是2n个顶点的简单图,k为不小于-1的整数,若G中每一对不相邻的顶点u和v,都有d(u)+d(v)≥2n+k,则称G为Ore k-型图。S.Win^[1]给出下面的猜想:若G是Ore k-型图,则G有k+2个边不相交的1-因子。其中k≤2n-4。本文证明了k=2n-4和k=2n-5时Win猜想是成立的。