关于完全多部图KnC3,Cj,C2k强制分解.docVIP

关于完全多部图KnC3,Cj,C2k强制分解 　　 摘 要：关于完全多部图Kn(t)的{C3,Cj,C2k}-强制分解，是指将Kn(t)分解为长为3或和的圈。本文证明了完全多部图Kn(t)的{C3,C5,C6}-强制分解存在的必要条件也是充分的。 　　关键词;完全多部图；强制分解；分解 　　 1 引言 　　 用Kn(t)表示以X=∪Xi(i=1,2,…,n)为顶点集的完全n部图，其中Xi(i=1,2,…,n)是n个两两不相交的t元集，其中顶点a∈Xi及b∈Xj在Kn(t)中相邻当且仅当i≠j。符号Ck表示长为k的圈，记为(a1,a2,…,ak)。给定图G，B是图G的一族互不同构的子图，若B中子图的边集形成E(G)的一个划分且每个子图与某一图Fj（1≤j≤r）同构，则称B是图G的一个{F1,F2,…,Fr}-分解。若对任意Fi(i=1,2,…,r)，B中至少有一个子图与Fi同构，则称B为G的一个{F1,F2,…,Fr}-强制分解。本文将给出Kn(t)的{C3,C5,C6}-强制分解的存在的充要条件。 　　 定理Kn(t)的{C3,C5,C6}-强制分解存在的充要条件为： 　　 （1）当t=1时，n≥9且n≡1(mod2)；（2）当t=2k+1时,n也为大于等于3的奇数； 　　 （3）当t=2k为偶数时，n≥3且(n,t)≠(3,2)。k=1,2,3…. 　　 2基本引理 　　 引理1 如果Km(2)的{C3，C5}-强制分解存在，则K2m+1的{C3,C5 }-分解存在。 　　 引理2 n≥4,K={4,5,6,7,8,9,10,11,12,14,15,18,19,23},则Kn(t)存在{ Km(t):m∈K}-分解。 　　 引理3 如果Kn(t)的Ck-分解存在，则对任意的正整数m，Kn(mt)的Ck-分解存在。 　　 引理4 对任意大于1的奇数n,Kn(t)的{K3(t),K5(t)} -分解存在。 　　 引理5 t1为奇数时，Kn(t)\Kn(1t)的Kn(3)\Kn(1t),Kn(5)\Kn(15)-分解存在。 　　 3定理的证明 　　 必要性：若Kn(t)的{C3,C5,C6}-强制分解存在。因圈Ck的顶点u的度数为2，要使Kn(t)强制分解成某些特定圈，必有Kn(t)的每个顶点度数都为偶数，且对任意u∈Kn(t),d(u)=(n-1)t，故(n-1)t≡0(mod2)，或当t为奇数时,n也必须为奇数.因为二部图不包含奇圈,所以又有n≥3。由Kn(t)的边数知存在p,q,r∈N。使得n(n-1)t2=2(3p+5q+6r),通过简单计算可证明,其中当(n,t)=(3,2)和3≤n≤7时,Kn(t)的{C3,C5,C6}-强制分解不存在，得证。 　　 充分性：情形1:t=1时，n≥9且n≡1(mod2)当时； 　　 (i)当1≤n≤7时,Kn显然不存在{C3,C5,C6}-强制分解。 　　 (ii)当n≥9时,显然K(n-1)/2(2)的{C3,C5,C6}-强制分解存在。在K(n-1)/2(2)中再添加一个新顶点，且该新增顶点分别与大小为2的(n-1)/2个顶点类构作C3,这样可得到(n-1)/2个C3,所以Kn的{C3,C5,C6}-强制分解存在。综上，t=1时，n≥9且n≡1(mod2)时，Kn的{C3,C5,C6}-强制分解存在。 　　 情形2:t=2k+1时，n也为大于1的奇数，k∈N*； 　　 由引理4,要证明Kn(t)存在强制分解,只需证K3(t)和K5(t)的{C3,C5,C6}-强制分解存在。 　　 1.K3(t)的{C3,C5,C6}-强制分解的情形 　　 (i)t=3时,记完全K3(3)的顶点集为{1,4,7}∪{2,5,8}∪{3,6,9}，则可如下构作其{C3,C5,C6}-强制分解:(1,2,3),(8,1,6),(1,5,3,7,9),(2,7,5,9,4),(8,4,6,2,9),(3,4,5,6,7,8). 　　 (ii)t=5时,可先证明K3(3)\K3(1)的{C3,C5,C6}-强制分解存在.这里以{a,4,7}∪{b,5,8}∪{c,6,9}记K3(3)\K3(1)的顶点,其中K3(1)的顶点为{a,b,c},因此,K3(3)\K3(1)的{C3,C5,C6}-强制分解可如下得到：(8,a,6),(a,5,c,7,9),(b,7,5,9,4),(8,4,6,b,9),(c,4,5,6,7,8),又因为K3(5)可分解为K3(3),K3(2),K3(3)\{K3(3),K3(2)},由前面的分析可知K3(5)存在{C3,C5,C6}-强制分解。 　　 (iii)当t5时,设K3(t)的第i个顶点类为{ai1,ai2,…ait},其