ppt18 图的因子分解

0.810.60.40.20xt00.511.5210.500.51n1Email:[e-mail]图论及其应用任课教师：杨春数学科学学院0.810.60.40.20xt00.511.5210.500.51n2本次课主要内容(一)、图的一因子分解(二)、图的二因子分解(三)、图的森林因子分解图的因子分解0.810.60.40.20xt00.511.5210.500.51n3把一个图按照某种方式分解成若干边不重的子图之并有重要意义。理论上，通过分解，可以深刻地揭示图的结构特征；在应用上，网络通信中，当有多个信息传输时，往往限制单个信息在某一子网中传递，这就涉及网络分解问题。一个图分解方式是多种多样的。作为图分解的典型例子，我们介绍图的因子分解。所谓一个图G的因子Gi，是指至少包含G的一条边的生成子图。所谓一个图G的因子分解，是指把图G分解为若干个边不重的因子之并。所谓一个图G的n因子，是指图G的n度正则因子。0.810.60.40.20xt00.511.5210.500.51n4如果一个图G能够分解为若干n因子之并，称G是可n因子分解的。图G1在上图中，红色边在G1中的导出子图，是G的一个一因子；红色边在G2中的导出子图，是G的一个二因子。图G2研究图的因子分解主要是两个方面：一是能否进行分解(因子分解的存在性),二是如何分解(分解算法).(一)、图的一因子分解0.810.60.40.20xt00.511.5210.500.51n5图的一个一因子实际上就是图的一个完美匹配的导出子图。一个图能够作一因子分解，也就是它能够分解为若干边不重的完美匹配的导出子图之并。定理1K2n可一因子分解。证明：把K2n的2n个顶点编号为1，2，…,2n。作如下排列：2n132::n2n-12n-2::n+10.810.60.40.20xt00.511.5210.500.51n6图中，每行两点邻接，显然作成K2n的一个一因子。2n132::n2n-12n-2::n+1然后按照图中箭头方向移动一个位置，又可以得到K2n的一个一因子，不断作下去，得到K2n的2n-1个边不重的一因子，其并恰好为K2n。例1将K4作一因子分解。1234K4→412312340.810.60.40.20xt00.511.5210.500.51n71234423143121234例2证明：K4有唯一的一因子分解。证明：由习题5第一题知：K4只有3个不同的完美匹配。而k4的每个1因子分解包含3个不同完美匹配，所以，其1因子分解唯一。0.810.60.40.20xt00.511.5210.500.51n8例3证明：每个k(k0)正则偶图G是一可因子分解的。证明：因为每个k(k0)正则偶图G存在完美匹配，设Q是它的一个一因子，则G-Q还是正则偶图，由归纳知，G可作一因子分解。0.810.60.40.20xt00.511.5210.500.51n9定理2具有H圈的三正则图可一因子分解。证明：先从三正则图G中抽取H圈，显然剩下边构成G的一个一因子。而H圈是偶圈，它显然可以分解为两个一因子。所以G可以分解为3个一因子。注：定理2的逆不一定成立。例如：上图是三正则图，且可以一因子分解，但不存在H圈。0.810.60.40.20xt00.511.5210.500.51n10定理3若三正则图有割边，则它不能一因子分解。证明：若不然，设G的三个一因子为G1,G2,G3。不失一般性，设割边e∈G1。显然，G-G2的每个分支必然为圈。所以e在G的某个圈中，这与e是G的割边矛盾。注：没有割边的三正则图可能也没有一因子分解，如彼得森图就是如此！尽管它存在完美匹配。(二)、图的二因子分解如果一个图可以分解为若干2度正则因子之并，称G可以2因子分解。注意：G的一个H圈肯定是G的一个2因子，但是G的一个2因子不一定是G的H圈。2因子可以不连通。0.810.60.40.20xt00.511.5210.500.51n11例如，在下图中：两个红色圈的并构成图的一个2因子，但不是H圈。一个显然结论是：G能进行2因子分解，其顶点度数必然为偶数。(注意，不一定是欧拉图)定理4K2n+1可2因子分解。证明：设211221(),,,nnVKvvv作路11223iiiiiiiininPvvvvvvvv0.810.60.40.20xt00.511.5210.500.51n12下标取为1,2,…,2n(mod2n)生成圈Hi为v2n+1与Pi的两个端点连线。例4对K7作2因子分解。解：1162534Pvvvvvvv7v6v5v4v3v2v12213645Pvvvvvv3324156Pvvvvvvv7v6v5v4v3v2v1v7v6v5v4v3v2v1v7v6v5v4v3v2v10.810.60.40.20xt00.511.5210.500.51n13定理5K2n可分解为一个1因子和n-1个2因子之和。证明：设V(K2n)=｛v1,v2,…,v2n｝作n-1条路：1122311iiiiiiiininPvvvvvvvv脚标按模2n-1计算。然后把v2n和Pi的两个端点连接。例5把K6分解为一个1因子和2个2因子分解。v6v5v4v3v2v10.810.60.40.20xt00.511.5210.500.51n14解：v6v5v4v3v2v1115243Pvvvvv221354Pvvvvvv6v5v4v3v2v1v6v5v4v3v2v1定理6每个没有割边的3正则图是一个1因子和1个2因子之和。证明：因每个没有割边的3正则图存在完美匹配M，显然，G-M是2因子。0.810.60.40.20xt00.511.5210.500.51n15定理7一个连通图可2因子分解当且仅当它是偶数度正则图。证明：必要性显然。充分性：当G是n阶2正则图时，G本身是一个2因子。设当G是n阶2k正则图时，可以进行2因子分解。当G是n阶2k+2正则图时，由1891年彼得森证明过的一个结论：顶点度数为偶数的任意正则图存在一个2因子Q。所以，G-Q是2k阶正则图。由归纳假设，充分性得证。(三)、图的森林因子分解把一个图分解为若干边不重的森林因子的和，称为图的森林因子分解。0.810.60.40.20xt00.511.5210.500.51n16例如：K5的一种森林因子分解为：主要讨论：图G分解为边不重的森林因子的最少数目问题，称这个最少数目为G的荫度，记为σ(G)。纳什---威廉斯得到了图的荫度计算公式。0.810.60.40.20xt00.511.5210.500.51n17定理8图G的荫度为：()max1ssmGs其中s是G的子图Hs的顶点数，而：max()sssmEH例6求σ(K5)和σ(K3,3).2111ssmsms3321ssmsms4621ssmsms51031ssmsms()3G0.810.60.40.20xt00.511.5210.500.51n182111ssmsms3211ssmsms4421ssmsms5621ssmsms3,3()3K6921ssmsms0.810.60.40.20xt00.511.5210.500.51n19定理9()2nnK,()1rsrsKrs拜内克给出了完全图和完全偶图的最小森林因子分解。对于K2n，将其分解为n条路Pi=vivi-1vi+1vi-2vi+2…vi-nvi+n,脚标按模2n计算。对于K2n+1，先作n条路Pi=vivi-1vi+1vi-2vi+2…vi-nvi+n,脚标按模2n计算。在每条路外添上点v2n+1的n个森林因子；然后，v2n+1与v1,v2,…,v2n分别相连接得一星图，这是G的最后一个森林因子。0.810.60.40.20xt00.511.5210.500.51n20例7对K7作最小森林因子分解。v7v6v5v4v3v2v11162534Pvvvvvv2213645Pvvvvvv3324156Pvvvvvvv3v7v6v5v4v2v1v7v6v5v4v3v2v1v7v6v5v4v3v2v10.810.60.40.20xt00.511.5210.500.51n21v7v6v5v4v3v2v1例8证明：若n为偶数，且δ(G)≥n/2+1,则n阶图G有3因子。证明：因δ(G)≥n/2+1,由狄拉克定理：n阶图G有H圈C.又因n为偶数，所以C为偶圈。于是由C可得到G的两个1因子。设其中一个为F1。考虑G1=G-F1。则δ(G1)≥n/2。于是G1中有H圈C1.作H=C1∪F1。显然H是G的一个3因子。0.810.60.40.20xt00.511.5210.500.51n22例9证明：一棵树G有完美匹配当且仅当对所有顶点v∈V(G),有：o(G-v)=1。证明：“必要性”一方面：若G有完美匹配，由托特定理：O(G-v)≦1;另一方面：若树G有完美匹配，则显然G为偶阶树，于是o(G-v)≥1;所以：o(G-v)=1。“充分性”由于对任意点v∈V(G),有o(G-v)=1。0.810.60.40.20xt00.511.5210.500.51n23设Cv是G-v的奇分支，又设G中由v连到G-v的奇分支的边为vu，显然，由u连到G-u的奇分支的边也是uv。令M=｛e(v):它是由v连到G-v的奇分支的边，v∈V(G)｝则：M是G的完美匹配。vu例10证明：每个2k(k0)正则图是2可因子分解的。0.810.60.40.20xt00.511.5210.500.51n24证明：设G是2k正则连通图，V(G)=｛v1,v2,…,vn｝。则G存在欧拉环游C。由C构造偶图G1=(X,Y)如下：X=｛x1,x2,…,xn｝,Y=｛y1,y2,…,yn｝xi与yj在G1=(X,Y)中连线当且仅当vi与vj在C中顺次相连接。显然偶图G1=(X,Y)是一个k正则偶图。所以G1可以1因子分解。而G1=(X,Y)的一个1因子对应于G中一个2因子。所以G可以2因子分解。0.810.60.40.20xt00.511.5210.500.51n25例如：v3v2v5v4v7v6v8v1它的一条欧拉环游为：12864324571356781vvvvvvvvvvvvvvvvvx1x7x8x2x6y1x5x4x3y2y3y4y5y6y7y80.810.60.40.20xt00.511.5210.500.51n26x1x7x8x2x6y1x5x4x3y2y3y4y5y6y7y8v3v2v5v4v7v6v8v1124356781vvvvvvvvv0.810.60.40.20xt00.511.5210.500.51n27作业P117---118习题4：3,4,5，6，7，8，90.810.60.40.20xt00.511.5210.500.51n28ThankYou!