图论-第5章PPT课件.pptx

;§5.1匹配;对M2，点v1是饱和点，点v2是非饱和点。;关系：

(1)完美匹配必是最大匹配，而最大匹配不一定是完美匹配。;设M为图G的一个匹配;定理1（Berge,1957）G的匹配M是最大匹配当且仅当G不含M可扩路.（等价于：M不是最大匹配当且仅当G含M可扩路）;H的每个顶点在H中具有的度是1或2。因为它最多只能和M的一条边以及M′的一条边相关联，;贝尔热(1926---2002)法国著名数学家。他的《无限图理论及其应用》(1958)是继哥尼之后的图论历史上的第二本图论专著。他不仅在图论领域做出了许多贡献，而且四处奔波传播图论，推动了图论的普及和发展。

1993年，他获得组合与图论领域颁发的欧拉奖章。

贝尔热在博弈论、拓扑学领域里也有杰出贡献。在博弈领域，他引入了Nash均衡之外的另一种均衡系统。Nash的生活被改编成电影《美丽的心灵》，获02年奥斯卡金像奖。

贝尔热对中国的手工艺很感兴趣。他也是一位象棋高手，还创作过小说《谁杀害了Densmore公爵》。;§5.2偶图的匹配与覆盖;取图G的一个顶点子集S，令

N(S)={v|存在u∈S，且v与u相邻}

称N(S)为S的邻集。;定理2（Hall，1935）设G为具有二分类（X,Y）的偶图，则G包含饱和X的每个顶点的匹配当且仅当

|N(S)|≥|S|（2.1）

对所有S?X成立.;置S=Z∩X和

T=Z∩Y

（见图）;由（2.2）式和（2.3）式推出

|N(S)|=|T|=|S|-1|S|

这与假定（2.1）式矛盾。所以M*饱和X的所有顶点.;因与S中的顶点关联的边必与N(S)中的顶点关联，所以E1?E2;注:(1)G=(X,Y)存在饱和X每个顶点的匹配也常说成存在由X到Y的匹配。;推论：设G=V1,E,V2是一个偶图。如果满足条件

（1）V1中每个结点至少关联t条边；

（2）V2中每个结点至多关联t条边；

则G中存在从V1到V2的匹配。其中t为正整数。;图G的一个覆盖:指V(G)的一个子集K，使得G的每条边都至少有一个端点在K中。;匹配与覆盖的关系:设K是G的覆盖，M是G的匹配,则有;哥尼(K?nig，1884----1944))——第一本图论教材《有限图与无限图理??》（1936年）的撰写者。

该书对青年学者产生了很大影响，推动了图论的进一步发展。在20多年时间里，它都是世界上唯一一本图论著作。直到1958年，法国数学家贝尔热(Berge）才出版专著《无限图理论及其应用》。

哥尼早期学习拓扑学，但对图论兴趣特别大。他一直工作在布达佩斯工业大学。讲课很有激情，吸引了很多优秀学生转向图论研究。特别是，他把一起获得匈牙利国家高中数学竞赛一等奖的3个学生都吸引来研究图论，这3个学生是：Erd?s,Gallai,Turan.都是伟大的数学家。

哥尼1944年为免遭纳碎迫害，选择了自杀。;(3)定理5（Kǒnig，哥尼，1931）偶图中，最大匹配的边数等于最小覆盖的顶点数。;则G的每条边必然至少有一个端点在中，因为否则就存在一条边，其一个端点在S中，而另一个端点在Y\T中，这与N(S)＝T相矛盾。于是是G的覆盖。并且显然有;这样,此矩阵的第i行线包含1的个数就是G中点xi关联的边数，而第j列线包含1的个数就是G中点yj关联的边数，故包含了（0,1）矩阵中所有〝1〞的线的最小条数就是偶图G中的最小覆盖的点数。;而（0,1）矩阵中任意两个都不在相同线上的若干个1，就是偶图G中的一个匹配。而具有上述性质的1的最大个数，就是偶图G中最大匹配的边数，由定理5，问题得证.;§5.3Tutte定理与完美匹配;证明：设S是V的任意一个非空真子集，G1,G2,…,Gk是G-S的所有奇分支。mi(1≦i≦k)表示端点分属于S和Gi的边数。;下面分析mi;注:有割边的3正则图不一定有完美匹配;§5.4因子分解;如果一个图G能够分解为若干n因子之并，称G是可n因子分解的。;图的一个一因子实际上就是图