第5章 匹配.pptVIP

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第5章 匹配.ppt

第五章 匹配 5.1 匹配 5.2 独立集、团、覆盖、和匹配间的关系 5.3 偶图的匹配和覆盖 5.4 完美匹配 5.5 人员分派问题 5.6 最优分配问题 5.7 稳定匹配 5.1 匹配 匹配(matching) M ? E ? M中的边都是link,且互不相邻接。 当边uv ? M时,称u与v在M下相匹配;称M饱和(saturated) u与v。也称u与v为M-饱和的。 类似地,可给出一顶点x为M-不饱和的的定义。 M为图G的完美匹配 ? G中每个顶点都是M-饱和的。 M为图G的最大匹配(maximum matching )? … P为G中的M-交错路(M-alternating path) ? P的边交替地属于M及E\M。 P为G中的M-可扩路(M-augmenting path ) ? P为M-交错路,且起点与终点都是M-不饱和的。 定理5.1 (Berge,1957) M为G中的最大匹配 ?G中不存在M-可扩路。 证明: ? :假设G中有M-可扩路P,则 M’ = M?E(P) 也是G的匹配,且 ? M’? = ? M? +1,这与M 为最大匹配相矛盾。 ? :反证,假设M不是最大匹配,取G中任一最大匹配M*。令 H = G[ M?M*] 。 显然, dH(v) = 1 or 2 ? v ? V(H) 。 因此,H的每个分支都是一圈或路,由M及M*的边交错组成。但? M*? ? M ? ,H中一定有一分支是一条路P,且其起点与终点都是M*饱和的。从而P是G中的M-可扩路,矛盾。 习题 5.1.1 (a) 证明:每个k-方体都有完美匹配(k ? 3)。 (b) 求K2n与Kn,n中不同的完美匹配的个数。 5.1.2 证明:一树中最多只有一个完美匹配。 5.1.3 对每个k1,找出一个无完美匹配的k-正则简单图的例子。 5.1.4 两人在图G上做游戏,交替地选取不同的顶点 v0 ,v1 ,v2 ,.........,使对每个i 0 ,都有vi 与 vi-1 相邻。最后一个顶点的选择者胜。 证明:第一个选点人有一得胜策略当且仅当G没有完美匹配。 5.1.5 G的k-正则生成子图称为G的k-因子。若G存在边不重的k-因子H1,H2, ……,Hn,使得 G = H1?H2?……? Hn ,则称G为k-可因子分解的 。 (a) 证明:① Kn, n与 K2n是1-可因子分解的; ② Peterson图不是1-可因子分解的。 (b) 下面的图中哪些有2-因子: (c) 用Dirac定理若G是简单图,? ( ? 4) 是偶数,且? ? 1+?/2 ,则G有3-因子。 5.1.6*证明:K2n+1可表为n个连通的2-因子的并。 5.2 偶图的匹配和覆盖 邻集(neighbour set) N(S) (S ? V): G中所有与S中顶点相邻接的顶点集合。 定理5.2 (Hall’s theorem,1935) 在偶图G=(X,Y,E) 中G包含使X中每个顶点都饱和的匹配 ? ? N(S)? ? ? S ? ? S ? X 证明:? :显然。 ? : 反证,假设存在偶图G,它满足条件(*)但不包含使X中每个顶点都饱和的匹配。令M* 为G的最大匹配,u为X中M* 不饱和的顶点。记 Z = { v ? ? M*-交错(u,v)-路 } 由于M* 为最大匹配,由定理5.1 ,u为Z中唯一M*-不饱和顶点。令 S = Z∩X , T = Z ∩ Y 。 显然, S\U 与T 的顶点在M* 下相匹配(注意到:任一M*-边若有一端点在Z中,则其另一端一定也在Z中)。因此, ?T? = ?S? - 1 ; N(S)? T 。 但N(S)中每个顶点都有M*-交错路连到u,因此 N(S)? T , 故N(S) = T ,从而 ?N(S)? = ?T? =?S?- 1 ?S? 。 矛盾。 推论 5.2 (marriage theorem) 若G 为 k-正则 偶图(k0 ),则G有完美匹配

文档评论(0)

ganpeid + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档