《图论》课件第十八章.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《《图论》课件第十八章.ppt》由用户(momomo)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 图论 课件 第十八
- 资源描述:
-
1、1第十八章支配集、覆盖集、第十八章支配集、覆盖集、独立集、匹配与着色独立集、匹配与着色主要内容主要内容l 支配集、点覆盖集与点独立集支配集、点覆盖集与点独立集l 边覆盖与匹配边覆盖与匹配l 二部图中的匹配二部图中的匹配l 点着色点着色l 地图着色与平面图的点着色地图着色与平面图的点着色l 边着色边着色218.1 支配支配集、点覆盖集集、点覆盖集与点独立集与点独立集支配集与支配数支配集与支配数定义定义18.1 设设G=,V*V.(1)V*为为支配集支配集 vi V V*,vj V*,使得,使得(vi,vj)E(2)V*为为极小支配集极小支配集V*的真子集不是支配集的真子集不是支配集(3)最小支配
2、集最小支配集元素最少的支配集元素最少的支配集(4)支配数支配数 0(G)最小支配集中的元素个数最小支配集中的元素个数3极小与最小支配集之间的关系极小与最小支配集之间的关系最小支配集为极小支配集,但反之不真最小支配集为极小支配集,但反之不真.另外,极小支配集与最小支配集都可能不惟一另外,极小支配集与最小支配集都可能不惟一.又易知完全图、轮图、星形图的支配数均是又易知完全图、轮图、星形图的支配数均是1.图中,图中,(1),(2),(3)(彼得松图彼得松图)的支配数分别为的支配数分别为1,2,3.请各找出一个最小支配集请各找出一个最小支配集.(1)(2)(3)4点独立集与点独立数点独立集与点独立数定
3、义定义18.2 设设G=,V*V.(1)点独立集点独立集V*V*中顶点彼此不相邻中顶点彼此不相邻(2)V*为为极大点独立集极大点独立集V*中再加入任何顶点就不是点独中再加入任何顶点就不是点独立集立集(3)最大点独立集最大点独立集元素最多的点独立集元素最多的点独立集(4)点独立数点独立数最大点独立集中的元素个数,记为最大点独立集中的元素个数,记为 0 在图中,点独立数依次为在图中,点独立数依次为2,2,3.(1)(2)(3)5极大独立集与极小支配集极大独立集与极小支配集定理定理18.1 设设G=中无孤立点,则中无孤立点,则G的极大点独立集都是的极大点独立集都是极小支配集极小支配集.证明线索:证明
4、线索:(1)设设V*为为G的极大点独立集,证明它也是支配集的极大点独立集,证明它也是支配集.v V V*,必,必 vV*,使,使(v,v)E,否则,否则 v0 V V*不不与与V*中任何顶点相邻,则中任何顶点相邻,则V*v0仍为点独立集,这与仍为点独立集,这与V*是极大点独立集矛盾是极大点独立集矛盾.(2)证证V*是极小支配集是极小支配集.只需证只需证V*的真子集不是支配集的真子集不是支配集.特别注意,特别注意,定理定理18.1其逆不真其逆不真.6点覆盖集与点覆盖数点覆盖集与点覆盖数定义定义18.3 设设G=,V*V.(1)V*是是点覆盖集点覆盖集 e E,v V*,使,使e与与v关联关联(2
5、)V*是是极小点覆盖集极小点覆盖集V*的任何真子集都不是点覆盖集的任何真子集都不是点覆盖集(3)最小点覆盖集最小点覆盖集(或最小点覆盖或最小点覆盖)顶点数最少的点覆盖集顶点数最少的点覆盖集(4)点覆盖数点覆盖数 0(G)最小点覆盖的元素个数最小点覆盖的元素个数图中,点覆盖数依次为图中,点覆盖数依次为3,4,7.7点覆盖集与点独立集的关系点覆盖集与点独立集的关系定理定理18.2 设设G=无孤立点,无孤立点,V*V,则,则V*是点覆盖当且是点覆盖当且仅当为点独立集仅当为点独立集证证 必要性必要性.若若 vi,vj 相邻,即相邻,即(vi,vj)E,则,则V*中顶点不能覆中顶点不能覆盖盖(vi,vj
6、),这是矛盾的,这是矛盾的.充分性充分性.由于是点独立集,因而由于是点独立集,因而 e E,e的两个端点至少一的两个端点至少一个在个在V*中中.推论推论 设设G为为n阶无孤立顶点图,则阶无孤立顶点图,则V*是极小是极小(最小最小)点覆盖当点覆盖当且仅当是极大(最大)点独立集,从而有且仅当是极大(最大)点独立集,从而有 0+0=n8 18.2 边覆盖集与匹配边覆盖集与匹配边覆盖集与边覆盖数边覆盖集与边覆盖数定义定义18.4 设设G=,E*E,(1)E*为为边覆盖集边覆盖集 v V,e E,使得,使得v与与e关联关联(2)E*为为极小边覆盖极小边覆盖E*的真子集不是边覆盖的真子集不是边覆盖(3)最
7、小边覆盖最小边覆盖边数最少的边覆盖边数最少的边覆盖(4)边覆盖数边覆盖数 1最小边覆盖中元素个数最小边覆盖中元素个数 图中各图的边覆盖数依次为图中各图的边覆盖数依次为3,4,5.请各找出一个最小边覆盖请各找出一个最小边覆盖.9匹配匹配(边独立集边独立集)与匹配数与匹配数(边独立数边独立数)定义定义18.5 设设G=,E*E,(1)匹配匹配(边独立集边独立集)E*E*中各边均不相邻中各边均不相邻(2)极大匹配极大匹配E*E*中不能再加其他边了中不能再加其他边了(3)最大匹配最大匹配边数最多的匹配边数最多的匹配(4)匹配数匹配数最大匹配中的边数,记为最大匹配中的边数,记为 1 上图中各图的匹配数依
8、次为上图中各图的匹配数依次为3,3,4.10 关于匹配中的其他概念关于匹配中的其他概念定义定义18.6 设设M为为G中一个匹配中一个匹配.(1)vi 与与vj 被被M匹配匹配(vi,vj)M(2)v为为M饱和点饱和点有有M中边与中边与v关联关联(3)v为为M非饱和点非饱和点无无M中边与中边与v关联关联(4)M为为完美匹配完美匹配G中无中无M非饱和点非饱和点(5)M的的交错路径交错路径从从M与与E M中交替取边构成的中交替取边构成的G中路径中路径(6)M的的可增广交错路径可增广交错路径起、终点都是起、终点都是M非饱和点的交错非饱和点的交错路径路径(7)M的的交错圈交错圈由由M与与E M中的边交替
9、出现构成的中的边交替出现构成的G中圈中圈上图中,只有第一个图存在完美匹配上图中,只有第一个图存在完美匹配11可增广路径及交错圈可增广路径及交错圈设红色边在匹配设红色边在匹配M中,绿色边不在中,绿色边不在M中,则图中,则图(1)中的两条路中的两条路径均为可增广的交错路径;径均为可增广的交错路径;(2)中的全不是可增广的交错路中的全不是可增广的交错路径;径;(3)中是一个交错圈中是一个交错圈.不难看出,可增广交错路径中,不在不难看出,可增广交错路径中,不在M中的边比在中的边比在M中的边中的边多一条多一条.交错圈一定为偶圈交错圈一定为偶圈.(1)(2)(3)12最大匹配与最小边覆盖之间关系最大匹配与
10、最小边覆盖之间关系定理定理18.3 设设n阶图阶图G中无孤立顶点中无孤立顶点.(1)设设M为为G中一个最大匹配,对于中一个最大匹配,对于G中每个中每个M非饱和点均取非饱和点均取一条与其关联的边,组成边集一条与其关联的边,组成边集N,则,则W=M N为为G中最小中最小边覆盖边覆盖.(2)设设W1为为G中一个最小边覆盖;若中一个最小边覆盖;若W1中存在相邻的边就移中存在相邻的边就移去其中的一条,设移去的边集为去其中的一条,设移去的边集为N1,则,则M1=W1 N1为为G中中一个最大匹配一个最大匹配.(3)G中边覆盖数中边覆盖数 1与匹配数与匹配数 1满足满足 1+1=n.证明见教材证明见教材.13
11、推论推论推论推论 设设G是是n阶无孤立顶点的图阶无孤立顶点的图.M为为G中的匹配,中的匹配,W是是G中中的边覆盖,则的边覆盖,则|M|W|,等号成立时,等号成立时,M为为G中完美匹配,中完美匹配,W为为G中最小边覆盖中最小边覆盖.图中,红边为匹配图中,红边为匹配M中的边中的边.(1)中匹配是最大匹配中匹配是最大匹配.(2)中红中红边与绿边组成最小边覆盖边与绿边组成最小边覆盖W.反之,由反之,由(2)的最小边覆盖的最小边覆盖W产生产生(1)中的最大匹配中的最大匹配M.(1)(2)14最大匹配判别定理最大匹配判别定理证明线索:证明线索:必要性必要性.若含可增广交错路径,可生成比若含可增广交错路径,
12、可生成比M更大的匹配更大的匹配.充分性充分性.设设M和和M1分别为不含可增广路径的匹配和最大匹分别为不含可增广路径的匹配和最大匹配,只要证明配,只要证明|M|=|M1|即可即可.由必要性知,由必要性知,M1也不含可增广也不含可增广交错路径交错路径.设设H=GM1 M,若,若H=,M=M1,结论为真,结论为真.否否则则H.此时,此时,H中的交错圈中的交错圈(若存在若存在),其上,其上M与与M1的边的边数相等,且所有交错路径上,数相等,且所有交错路径上,M与与M1中的边数也相等(因中的边数也相等(因为为M与与M1均无可增广路径)均无可增广路径).定理定理18.4 M为为G中最大匹配当且仅当中最大匹
13、配当且仅当G中不含中不含M的可增广交的可增广交错路径错路径.1518.3 二部图中的匹配二部图中的匹配定义定义18.7 设设G=为二部图,为二部图,|V1|V2|,M是是G中中最大匹配,若最大匹配,若V1中顶点全是中顶点全是M饱和点,则称饱和点,则称M为为G中中完备匹完备匹配配.|V1|=|V2|时完备匹配变成时完备匹配变成完美匹配完美匹配.图中,红边组成各图的一个匹配,图中,红边组成各图的一个匹配,(1)中为完备匹配,中为完备匹配,(2)中匹中匹配不是完备的,配不是完备的,(2)中无完备匹配,中无完备匹配,(3中匹配是完备的,也是完中匹配是完备的,也是完美的美的.(1)(2)(3)16Hal
14、l定理定理定理定理18.5 (Hall定理定理)设二部图)设二部图G=中,中,|V1|V2|.G中存在从中存在从V1到到V2的完备匹配当且仅当的完备匹配当且仅当V1中任意中任意k(k=1,2,|V1|)个顶点至少与个顶点至少与V2中的中的k个顶点相邻个顶点相邻.本定理中的条件常称为本定理中的条件常称为“相异性条件相异性条件”.由由Hall定理立刻可知,上图中定理立刻可知,上图中(2)为什么没有完备匹配为什么没有完备匹配.定理定理18.6 设二部图设二部图G=中,中,V1中每个顶点至少关联中每个顶点至少关联t(t 1)条边,而条边,而V2中每个顶点至多关联中每个顶点至多关联 t 条边,则条边,则
展开阅读全文