第63讲 二部图及其匹配.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文档。上传文档
查看更多
第63讲 二部图及其匹配.ppt

离散数学 第63讲 二部图及其匹配 第7章 几类特殊的图 7.7 二部图及其匹配 本讲内容 7.7 二部图及其匹配 在诸如人员分配、资源分配等问题的讨论中, 经常涉及到二部图及其匹配. 本节仅对简单无向图进行讨论. 1. 二部图 Definition 对于简单无向图G = (V, E), V划分为V1和V2, 任意边关联的两个节点中一个在V1中, 一个在V2中, 则称G为二部图. 小结与作业 Any Questions * * 二部图 1 匹配 2 二分图? V1和V2称为互补节点集合, 一般不唯一: 下面的定理给出了简单无向图是二部图的充要条件. Theorem 7-15 设G为阶数≥2的简单无向图,则G是二部图的充要条件是G中任意圈的长度为偶数. Proof (?) Clearly. (?) 不妨设G连通. 取v ? V, 令V1 = {u|u ? V, d(u, v)是偶数}, V2 = V - V1. 显然, 任意无向树是二部图. 有向二部图(petri net)? 三部图? 2. 匹配 Def 设G = (V, E)是任意简单无向图. 若? ? M ? E且中任何两条边都不相邻, 则称M为G的一个匹配(matching)或边独立集, M中每条边的两个节点在M中匹配. {ab, fh, id} {ab, fi, cd, hj} {af, bg, ch, di, ej} G = (V, E), W? V. (1) W中任意两个节点均不邻接: 点独立集. 极大点独立集; 最大点独立集合. (2) G[W]是完全图: 团(clique) 极大团; 最大团. 王晓东, 计算机算法设计与分析,电子工业出版社, 2001: Ch5回溯法, Ch6分支界限法(最大团问题). (a) 边数最多的匹配称为最大匹配(maximum matching), 其中的边数称为匹配数. (b) 所有节点都与M中的某边关联的匹配称为完美匹配(perfect matching). (c) 在二部图G = (V, E)中, V1和V2为互补节点集. 若M为G的一个最大匹配且 |M| = min{| V1 |, | V2|}, 则称M为G的一个完备匹配(complete matching). 当| V1 | ≤ | V2|, M也称为G的一个从V1到V2的完备匹配. 1935年Hall给出了判定二部图是否存在完备匹配的充要条件—“相异性条件”. Theorem (Hall, 1935) 设G = (V, E)是二部图, V1和V2为互补节点集, 则G中存在从V1到V2的完备匹配的充要条件是V1中的任意k(k = 1, 2, …,| V1 |)个节点至少与V2中的k个节点邻接. 利用匈牙利(Hungarian)算法(J. Edmonds, 1965)可用于求V1从V2到的完备匹配[4]. 根据Hall定理可得 Theorem 7-17 设G = (V, E)是二部图, V1和V2为互补节点集,若存在t使得如下“t条件”成立: (1) V1中的每个节点至少关联t条边; (2) V2中的每个节点至多关联t条边, 则G中存在从V1到V2的完备匹配. 下述定理给出了任意简单无向图存在完美匹配的充要条件. Theorem 7-18(Tutte) 图G = (V, E)有完美匹配的充要条件是对于任意W ? V均有O(G - W) ≤ |W|, 其中O(G - W)表示含奇数个节点的连通分支数. 二部图 匹配 习题7.7 1, 2, 3, 6 作业 ? *

文档评论(0)

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

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

1亿VIP精品文档

相关文档