第15节 偶图与匹配.pptVIP

集合论 与图论 * 第15节 偶图与匹配 主要内容： 偶图 匹配 结婚(婚配)问题 结婚问题：已知由若干个小伙子组成的集合F，若干 个姑娘之集为G。姑娘们都渴望结婚，但也不希望媒 人介绍，随便嫁给一个她不认识或不可接受的小伙 子。实际上，每个姑娘心中都有一张可接受为配偶 的小伙子名单。问在什么条件下才能把所有的姑娘 都嫁出去？ 对这个问题，若把姑娘和小伙 子用点来表示，若某位姑娘能 接受某个小伙子，则在相应点 间连一条线，则可以得到一个 无向图G. 工作安排问题 工作安排问题：一个车间有m个工人和n件不同的工 作，每件工作只需一位工人干，而每位工人仅能熟 练地干其中的几件工作. 问在什么条件下车间主任 能为每位工人分配一件他能胜任的工作呢？ 对这个问题，若把工人和每件 工作用点来表示，若一位工人 能胜任某项工作，则在相应点 之间连一条线，则得到一个无 向图G. 偶图(二部图、双图) 定义1 G=(V, E)称为偶图，如果G的顶点集V有一个二划 分{V1, V2}，使得G的任一条边的两个端点一个在V1中， 另一个在V2中. 这个偶图有时记为((V1, V2), E). 定义1’ G=(V, E), 如果能将V分成V1和V2使得V1∪V2=V, V1∩V2=?, 且G中的每条边的两个端点都一个属于V1, 另一个属于V2. 如果?u?V1，v?V2均有{u, v}?E，则这个偶图称为 完全偶图，并记为K(m, n)或Km, n，其中?V1?=m，?V2?=n. 完全偶图 1、完全偶图Km,n有多少条边? 有mn条边. 2、完全偶图中有没有三角形? 没有三角形. 定义2 G=(V,E)是一个图，u和v是G的顶点，联结u和v的 最短路的长称为u与v之间的距离，并记为d(u,v). 如果u与v之间没有路，则定义d(u, v)=∞. 两点之间的距离 性质： (1) d(u,v)?0, 且d(u,v)=0 ? u=v. (2) d(u,v)=d(v,u). (3) d(u,v)+d(v,w)?d(u,w). 例如: a与e之间的最短路：ace，afe. d(a,e)=2, d(a,h)=? 定理1 图G为偶图的充分必要条件是它的所有圈的长度 都是偶数. 证: 必要性 设P=u1u2u3...um-1umu1是G的一个长为m的圈。 因为G=(V, E)是一个偶图，则V存在一个二划分 {V1,V2}，对于任意{u,v}?E，u?V1，v?V2， 在圈P中，若设u1?V1，那么所有圈上奇数下标的 顶点都在V1中，偶数下标的顶点全在V2中，下标m必 然是偶数，也就是这个圈的长度为偶数. 偶图的判别定理 充分性 设G的每个圈的长为偶数，需证G是偶图. 不妨设G是连通图，否则可分别考虑G的每个支. 任取G的一个顶点u，定义集合 V1={v?v?V，d(u,v)是偶数}， V2={v?v?V，d(u,v)是奇数}， 则{V1,V2}是V的一个二划分，只要证明V1中任意二顶 点间无边，同时V2中任意两顶点间也无边即可. 假设w与v是V1的两个不同顶点，并且{v,w}?E， 则令P是u与v间的最短路，Q为u与w间的最短路， u1为从u开始，P与Q的最后的一个公共顶点. 用反证法： 偶图的判别定理 因为P与Q是最短路，所以P和Q上的u到u1段也是 最短的u与u1间路. 设P中从u1到v的那一段为P1，Q中u1到w的那一段 为Q1. 因为P与Q都是偶数，因此P1与Q1有相同的奇偶性. 于是，边{v,w}， Q1，P1构成G中一个奇数长的圈， 这与已知矛盾，所以V1的任两不同顶点v与w间无边. 用完全一样的方法可证V2的任两顶点间也没边， 因此G是一个偶图. 偶图的判别定理 不是偶图 不是偶图 实 例 匹 配 定义3 设G=(V,E)是一个图，则 (1)G的任两条不相邻的边x与y称为是互相独立的. (2)若Y?E，且Y中任两条边都是互相独立的，则称Y为G的一个匹配. (显然，若Y是图G的一个匹配，则任意的v∈V， v至多与Y 中的一条边关联.) (3)设Y是图G的一个匹配，若对G的任一匹配Y ′，恒有|Y ′|≤|Y |，则称Y是图G的一个最大匹配. 定义4 设G=(V,E)是一个偶图且V=V1∪V2，对 任意x∈E，x是连接V1的一个顶点与V2的一个顶 点的边，则若存在一个 匹配Y使得 |Y|=min{|V1|，|V2|}， 则称Y是偶图G的完全匹配. 若|V1|＝|V2|，