图论第5章 独立集与匹配
图论第5章

例如:
上图是3-正则图,且可以1-因子分解,但不存在Hamilton圈。
定理9 若3-正则图有割边,则不可1-因子分解。 证明 若3-正则图G可1-因子分解,因去掉G的不含割边的1-因子 后,图中每个点均为2度,从而每条边均在回路中,特别地割边 也在回路中,矛盾。 注:没有割边的3-正则图可能也没有1-因子分解,如彼得森图。
因与 S 中的顶点关联的边必与 N(S) 中的顶点关联,所以 我们可以推出E1 E2。 因此
k N S E2 E1 k S
由此可知
N S S
再根据Hall定理,可知G有一个饱和X的每个顶点的匹配M,
由于|X| = |Y|,所以M是完美匹配。
图G的一个覆盖: 指V(G)的一个子集 K,使得G的每条边都至 少有一个端点在 K 中。 G的最小覆盖: G中点数最少的覆盖。 例
|M|≤|M*|≤|
~ |≤|K|。 K
~ 由于|M|=|K |,所以 |M| = |M*|, | K | = |K|。
定理4(Kǒnig, 1931) 在偶图中,最大匹配的边数等于最小 覆盖的顶点数。 证明 设G 是具有二分类(X, Y)的偶图,M*是G的最大 匹配,用U 表示 X 中的 M* 非饱和顶点的集,用 Z 表示 由 M*交错路连接到 U 中顶点的所有顶点的集。
所以,G有完美匹配。
例 彼得森图满足推论的条件(即没有割边的 3-正则图),故它有完美匹配.
注: 有割边的3正则图不一定就没有完美匹配 。
有完美匹配
没有完美匹配
§5.4 因子分解
图G的因子: G的一个至少有一条边的生成子图; G的因子分解: 将G分解为若干个边不重的因子之并。 n-因子:指n度正则的因子。 例:1-因子的边集构成一个完美匹配。 2-因子的连通分支为一个圈。
图论的配对问题课件

x1
x2
x3
x4
x5
y1
y2
y3
y4
y5
M={(x1,y1 ),(x3,y5),(x5,y3)}
V1={x2,x5,x3};V2 ={y3,y5};
M=ME(P)={(x1,y1 ),(x2,y图3论),(的x配3对,y问2题),( x5,y5)}
(2)若X已经饱和,结束;否则转(3); 解 ((y34∈) )N在 若(VXN1中()V-V找1)2=一V2个则非停饱止和,点否x则0,任V选1=一{x点0},V2={}
图论 的配对问题
匹配问题是运筹学的重要问题之一,也是图论的重要 内容,它在所谓“人员分配问题”和“最优分配问题” 中有重要作用。 假定有一个男生有穷集合,其中每个男生认识一些女 生,在什么条件下每个男生都可以和他认识的女生配对?
类似的工作分配问题:现有n个人,m份工作,每个人 有其擅长的工作。在什么条件下每个人都可以得到一份 他擅长的工作?如何分配?
V1={x2},V2=空集
N(V1)={y2, y3}
图论 的配对问题
解 (∪条(5)从{2)z若}x0】y,到已yV饱的2和=可V,增2∪M广{中道y}必路;有P转,(y(,对z)4之;)进作】行【,增否V广1则=;V【1转求一
x1
x2
x3
x4
x5
y1
y2
y3
y4
y5
M={(x1,y1 ),(x3,y5),(x5,y3)} V1={x2},V2=空集 V1=V1∪{x5}={x2,x5}; V2=V2∪ {y3} ={y3}
x1
x2
x3
x4
x5
y1
y2
y3
y4
图论中的匹配理论和网络流问题

时间复杂度:最大匹配算法的时间复杂度 较高,为指数级别,因此在实际应用中受 到限制。
应用场景:最大匹配算法在计算机科学、 运筹学、经济学等领域有广泛的应用, 例如在解决指派问题、工作调度问题等 方面。
匹配的应用场景
计算机科学:匹配算法在计算机科学中广泛应用于图算法、数据结构等领域 物理学:在物理学中,匹配理论用于描述粒子相互作用和量子场论中的现象 经济学:匹配理论在经济学中用于研究市场均衡和劳动力市场匹配等问题 社会学:在社会学中,匹配理论用于研究婚姻匹配、教育匹配和职业匹配等现象
电力网络优化: 在网络中合理 分配电力,降 低能耗并提高 电力系统的稳
定性。
通信网络设计: 优化通信网络 的数据传输, 提高网络的吞 吐量和可靠性。
物流配送:通 过优化物流配 送网络,提高 配送效率并降 低运输成本。
网络流算法的分类
最大流算法:寻找从源点到汇点的最大流量 最小割算法:确定将源点划分为两个子集的最小割点集合 最小费用流算法:在满足容量限制和流量平衡的前提下,寻找最小费用流 最短路径算法:寻找从源点到汇点的最短路径
优化目标:最小化 总流量,使得流量 分配均匀,避免拥 堵和瓶颈
算法实现: Dijkstra算法、 Bellman-Ford算 法等
应用场景:交通网 络、通信网络、电 力网络等
多源多汇问题
定义:多个源点和 多个汇点在网络中 同时进行流量的传 输
优化目标:寻找最 优解,使得总流量 传输成本最低或传 输时间最短
最小割问题的应用:在网络流问题中,最 小割问题被广泛应用于解决流量最大化和 容量限制问题。
最小割问题的求解方法:常见的求解最小 割问题的算法有Kruskal算法和Prim算法。
最小割问题的性质:最小割问题具有NP 难解性质,即目前没有已知的多项式时 间复杂度的算法来求解最小割问题。
图论第5章

定理4(Kǒnig, 1931) 在偶图中,最大匹配的边数等于最小 覆盖的顶点数。
证明 设G 是具有二分类(X, Y)的偶图,M*是G的最大 匹配,用U 表示 X 中的 M* 非饱和顶点的集,用 Z 表示 由 M*交错路连接到 U 中顶点的所有顶点的集。
图(a)中,实线部分就是一个2-因子,它是
一个H圈:H1= v7v1v2v6v3v5v4v7。
2
P1=1(1+1)(1-1)(1+2)(1-2)(1+3)=126354 (mod 6) 3
若将1, 2, 3, 4, 5, 6绕中心按顺时针方向移 动一个位置,见图(b),则得另一个H 圈 H2= v7v2v3v1v4v6v5v7。
例 将K3,3作1-因子分解
解 我们将X的点用数字1,2,3标记,而Y的点用1’,2’,3’来标 记,用置换G来表示K3,3中X的点与Y的点间之匹配关系,即
1 2 3 G1 1 2 3
则
123
1 2 3
G2
2
3
1
1 2 3
G3
3
1
2
1’ 2’ 3’
K3,3
G1
G2
G3
定理8 具有Hamilton圈的3-正则图是1-可因子化的。 证明:因为G是3-正则图,故G的阶数是偶数。 具有偶数个顶点的圈可以分解为两个1-因子的并,从而得证。 注:1-可因子分解的3-正则图不一定有Hamilton圈。 例如:
H 的每个顶点在H中具有的度是1或2,因为它最多只 能和M的一条边以及 M′的一条边相关联。
因此 H 的每个分支或是由M和M′中的边交错组成的偶 圈,或是由M和M′中的边交错组成的路。
图论习题

《图论及其应用》习题课教材杨春编电子科技大学应用数学学院内容提要本书主要对张先迪等编的研究生《图论及其应用》教材的习题进行解答。
该书可作为研究生图论教学的参考教材。
前言现实生活中,许多问题都可归结为一个由点和线组成的图形的问题。
例如,由点代表车站,线代表铁路线的铁路网络图;点代表路口,线代表街道的城市交通图;点代表管道接头,线代表管道的自来水供水系统;点代表电路的结点,线代表结点间的电气元件的电网络图;点代表网络的结点,线代表通讯线的通讯网络、计算机网络等等。
图论正是研究这些由点和线组成的“图形”问题的一门学科。
图论起源于18世纪,其第一篇论文是由欧拉(Euler,1707—1782)于1736年所完成。
这篇论文解决了一个当时还没有解决的著名问题—哥尼斯堡(Königsberg)七桥问题(见第四章)。
这篇论文也使欧拉成为了图论和拓扑学的创始人。
图论诞生后,特别是近三十年来发展十分迅速,应用也十分广泛。
其应用已涉及物理学、化学、运筹学、计算机科学、信息论、控制论、网络理论、社会科学、以及管理科学等诸多领域。
由于图论与计算机科学紧密相联系,近若干年来,在计算机科学、计算机网络的迅猛发展下,更拓展了图论的应用发展空间。
在计算机的许多领域内,它都占有一席之地。
图论在矩阵论、群论等其它一些数学分支中,也有其重要的应用。
张先迪等编的《图论及其应用》一书精选了内容广泛、难度各易的习题,其中的大多数习题都是对图论的进一步学习是应当掌握的。
本书依序将该书的重要内容摘要列出,并将全部习题给出了详细解答。
本书所涉及到的术语、符号与该书一致。
有些习题存在多种解法,在一般情况下,只给出一种解法供参考。
由于编者水平有限及编写时间的匆忙,书中难免出现一些缺点和错误,恳请同行专家及读者提出宝贵意见和建议,以使本书得以不断改进和完善。
编者2004.7目录第一章图的基本概念1.1 图和简单图1.2 子图与图的运算1.3 路与图的连通性1.4 最短路及其算法1.5 图的代数表示及其特征1.6 极图1.7 交图与团图习题1第二章树2.1 树的概念与性质2.2 树的中心与形心2.3 生成树2.4 最小生成树习题2第三章图的连通度3.1 割边、割点和块3.2 连通度3.3 应用3.4 图的宽距离和宽直径习题3第四章欧拉图与哈密尔顿图4.1 欧拉图4.2 高效率计算机鼓轮的设计4.3 中国邮路问题4.4 哈密尔顿图4.5 度极大非哈密尔顿图4.6 旅行售货员问题4.7 超哈密尔顿图4.8 E图和H图的联系4.9 无限图中的欧拉,哈密尔顿问题习题4第五章匹配与因子分解5.1 匹配5.2 偶图的匹配与覆盖5.3 Tutte定理与完美匹配5.4 因子分解5.5 最优匹配与匈牙利算法5.6 匹配在矩阵理论中的应用习题5第六章平面图6.1 平面图6.2 一些特殊平面图及平面图的对偶图6.3 平面图的判定及涉及平面性的不变量6.4 平面性算法习题6第七章图的着色7.1 图的边着色7.2 顶点着色7.3 与色数有关的几类图7.4 完美图7.5 着色的计数,色多项式习题27.6 List着色7.7 全着色7.8 着色的应用习题7第八章Ramsey定理8.1 独立集和覆盖8.2 Ramsey定理8.3 广义Ramsey数8.4 应用习题8第一章 图的基本概念§1.1 图和简单图定义1 一个图G 定义为一个有序对(V , E ),记为G = (V , E ),其中 (1)V 是一个非空集合,称为顶点集或边集,其元素称为顶点或点;(2)E 是由V 中的点组成的无序点对构成的集合,称为边集,其元素称为边,且同一 点对在E 中可出现多次。
离散数学中的图的匹配和二分图

在离散数学中,图论是一门重要的理论基础课程,它研究的是由节点和边构成的图结构。
图的匹配和二分图是图论中的两个重要概念,它们在现实生活中有着广泛的应用。
首先,我们来介绍一下图的匹配。
图的匹配指的是在一个图中选取一些边,使得这些边彼此不相交,即任意两条边不共享同一个顶点。
图的匹配问题可以用最优化问题来描述,既需要满足匹配条件,还需要满足某种优化目标。
例如,在一个社交网络图中,选择一些用户与其他用户进行配对,使得两个不认识的用户不会被配对在一起,同时目标是使得配对用户的兴趣爱好相似度最大化。
在这个问题中,边表示用户之间是否认识,而边的权值表示兴趣爱好的相似度。
其次,我们来介绍一下二分图。
二分图是一种特殊的图结构,它可以被划分为两个独立的顶点集合,使得同一个顶点集合内的顶点之间没有边相连。
换句话说,二分图中不存在奇圈。
二分图的一个典型例子是婚姻匹配问题。
假设有n个男性和n个女性,他们之间有多种可能的配对方式,但是每个人只能与另一个不同性别的人结婚。
这时,我们可以用一个二分图来表示这个问题,其中男性和女性分别作为两个顶点集合,边表示可能的配对。
然后,我们可以使用图的匹配算法来找到一个最佳匹配方案。
图的匹配和二分图在离散数学中有着重要的研究价值和应用价值。
首先,图的匹配可以用于解决资源分配问题。
例如,在一个工厂中,有m个任务需要分配给n个员工进行处理,每个员工对某些任务有一定的能力要求,而每个任务也需要一定的时间完成。
这时,我们可以将员工和任务分别作为两个顶点集合,边的权值表示员工对任务的能力是否满足要求和任务完成时间。
然后,我们可以使用图的匹配算法来找到一个最佳的任务分配方案,使得员工的工作量最小。
其次,二分图可以用于解决社交网络分析问题。
如今,社交网络已经成为人们日常生活中重要的一部分,人们之间通过社交网络平台进行交流和连接。
我们可以使用二分图来表示社交网络的结构,其中一个顶点集合表示用户,另一个顶点集合表示用户之间的好友关系,边的权值表示用户之间的相似性度量。
图论匹配

的工作。匹配定理是他1935年在剑桥大学做讲师时发表的 结果。Hall是一名雅致的学者,对学生特别友好,当他觉 得有必要批评学生时,他都会以一种十分温和的方式建议 他们改正。 推论:若G是k (k>0)正则偶图,则G存在完美匹配。
证明:一方面,由于G是k (k>0)正则偶图,所以k|X|=k|Y|, 于是得|X| = |Y|;
E : a, c, d, f ; F : c, e ;
问:学生能找到理想工作吗? 解:如果令X={A, B, C, D, E, F, G},Y={a, b, c, d, e, f , g},X中顶点与Y中顶点连线当且仅当学生申请了该工作。于 是,得到反映学生和职位之间的状态图:
7
A : b, c ;
1993年,他获得组合与图论领域颁发的欧拉奖章。
5
贝尔热在博弈论、拓扑学领域里也有杰出贡献。在 博弈领域,他引入了Nash均衡之外的另一种均衡系统。 Nash的生活被改编成电影《美丽的心灵》,获02年奥 斯卡金像奖。 贝尔热对中国的手工艺很感兴趣。他也是一位象棋 高手,还创作过小说《谁杀害了Densmore公爵》。
M1={v6v7}
v7
M2={v6v7, v1v8}
M3={v6v7, v1v8, v3v4} M1,M2,M3等都是G的匹配。
v5
v6
v1
v8
v2
v4 G
v3
2
(2)、最大匹配 M--- 如果M是图G的包含边数最多的 匹配,称M是G的一个最大匹配。特别是,若最大匹配 饱和了G的所有顶点,称它为G的一个完美匹配。
匹配问题 (一)、图的匹配与贝尔热定理 (二)、偶图的匹配
1
(一)、图的匹配与贝尔热定理
支配集,覆盖集,独立集与匹配

最小点覆盖: {a, c, e, g}.
e
0 = 4.
f
g
vertex cover, minimal ~, least ~, vertex cover number
离散数学. W&M.
§16.1支配集, 点覆盖集, 点独立集
定理 点覆盖与点独立集互为补集:
C 为 G 的点覆盖 C = V C 为 G 的点独立集.
(3) 1 + 1 = n.
†最大匹配M 最小边覆盖M N, 最小边覆盖W 最大匹配W N.
‡不考虑有孤立点的图, 孤立点无法被饱和或覆盖.
离散数学. W&M.
§16.2边覆盖集与匹配
证 最大匹配 互不相邻, 故
M N
含 有
n1条2边1 条. G边中. W有=nM 2N1 个显非然饱为和边点覆,盖它,们且
推论 设 M 是图中的匹配, W 是边覆盖, 则 |M| |W|, 等号成立 时, M 是完美匹配, W 是最小边覆盖. † 匹配的边数不多于边覆盖的边数.
证 由定理的(1)知 1 1, 而由定义知 |M| 1 1 |W|, 于是
|M| |W|. 等号成立时, 说明 M 是最大匹配, W 是最小边覆盖. 再由定理中的(3)知
a
d W6
离散数学. W&M.
e
§16.1支配集, 点覆盖集, 点独立集
第十八章 支配集, 覆盖集, 独立集与匹配
§18.1支配集, 点覆盖集, 点独立集 §18.2边覆盖集与匹配 §18.3二部图中的匹配 §18.4图中顶点的着色 §18.5地图的着色与平面图的点着色 §17.6边着色
但
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
{x4}
{y2,y3} {y2,y3} {y2,y3}
y2饱和 y3饱和
{x4,x1} {y2} {x4,x1, x 3} {y2, y3}
注意: (1)最小支配集必是一个极小支配集,反之不然。 (2)任一支配集必含有一个极小支配集。 (3)极小支配集不唯一,最小支配集一般也不唯一。 (4)对二部图 G ( X , Y ) ,X 和 Y 都是支配集。
在国际象棋的比赛中,首 先出现了支配集的概念。1862 年,De考虑了控制整个棋盘所 需要的最少的皇后个数问题。 他指出在一个的棋盘具有处在 配置下的64个格子,在所给某 个位置的皇后控制着同行、同 列以及包含这个格子的两条斜 线上的所有格子,这种皇后的 最少个数为5,左图显示了一 种放置方法。
第五章 独立集与匹配
独立集、支配集、覆盖集、匹配
独立集
设G=<V,E>是简单图无向图, SV, S, 若S 中任何两个顶点都不相邻,则称这个顶点集合S 为图G的独立集。 若S是图G的独立集,但是任意增加一个顶点 就破坏它的独立性,则称这个独立集S为极大独 立集。 独立集S称为最大独立集,如果不存在独立集S’, 使 S’> S ,其中S为集合S的数。 G的最大独立集S的基数称为G的独立数,记作 (G)。
说明: (1)完美匹配是最大匹配,反之未必然; (2)匹配的定义与边的方向无关,故匹配是针对无向图。
(可增广路):设M是图G的匹配,P是G的一条路, 且在P中,M的边和E(G)-M的边交替出现,则称P是 G的一条交错路。若M交错路P的两个端点为M非饱 和点,则称P为M可增广路。
例:下图中虚线所示为匹配,则(2,3,5,6,9,10) 是一条交错路,而(1,2,3,5,6,8)是一条 可增广路。
证明: 设S1是G的最大独立集, S2是G的最小点覆 盖,由前面的定理知V(G)-S1是点覆盖,V(G)-S2是 独立集。因而 V(G)- (G)= V(G) -S1 (G) V(G)- (G)= V(G) –S2 (G) 所以 (G)+(G)=V(G)。
边覆盖
例:如图(a)所示,V1={x1,x2,x3,x4,x5},V2={y1,y2,y3,y4,y5} 试求图G的最大匹配。
X1 x2 x3 x4 x5x1x2x3x4
x5
y1 y2 y3 y4
图(a)
y5
y1
y2
y3
y4
y5
图(b)
解:任取初始匹配M={x2y2,x3y3,x5y5},如图(b)中虚线所 示。解题过程如下表:
8 1 7
1
7
8
2
3
6 2 3 6
4
5
4
5
G
G
支配集 设G=<V,E>是无向简单图,SV,S, 若对于xV-S,x与S里至少一个顶点相 邻,则称S是图G的支配集。 S是图G的支配集,若S的任何真子集都不 是支配集,则称S为图G的极小支配集。 S是图G的支配集,若不存在任何其他支 配集S’,使得S’ <S,则称S是图G的最 下支配集, S为图G的支配数,记作(G)。
3 2 1 4 5 9 10 6
8
7
3 2 1 4 5
10 6 9
8
7
练习
如果一个图的连通分支有奇数个结点,则称这 个连通分支为奇分支; 如果一个图的连通分支有偶数个结点,则称这 个连通分支为偶分支。 我们用 O G 表示图的奇分支个数。
例:
设G是3-正则图,且不含割边,证明: G必含有完美匹配。
任给初始匹配M
M饱和V1?
Y
停止 M为最大匹配
N
找x∈V为非饱和点 S={x},T=∅
N(S)=T?
Y
无法继续匹配 停止
N
找一顶点y∈N(S)T
y已经饱和?
Y
存在边{y,u}∈M S:=S∪{u} T:=T∪{y}
N
一条从x到y的M可 增光路P M:=M⊕P
匈牙利算法步骤: 设G是具有二部划分(V1,V2)的二分图。 (1)任给初始匹配M; (2)若M饱和V1则结束。否则转(3); (3)在V1中找一非M饱和点x,置S={x},T=; (4)若N(S)=T,则停止,否则任选一点yN(S)-T; (5)若y为M饱和点转(6),否则作 求一条从x到y的M可增广路P,置M=MP,转(2) (6)由于y是M饱和点,故M中有一边{y,u},置 S=S{u},T=T{y},转(4)。
注意:不是每个支配集都是独立集;
也不是每个最小支配集都是独立集。
2 1 8 7
3
4
5
6
9
10
12
11
支配集的实际应用背景:要在n座城市中建一 个通信系统,需在这n个城市中选其中的几 个建立通讯站,为减少造价,要使通讯站数目 最少,应如何选址? 问题解决办法:作图G:以城市作为图G的顶 点,当两城市之间有直通讯线路时,相应的两 顶点连一边,则图G的最小支配集为所求。
设G=<V,E>是无向简单图,LV,L。若 G中每个顶点都与L中某条边关联,则称L为G的 边覆盖。 如果G中的任何异于L的边覆盖L’,均有L’ L ,则称S为G的最小边覆盖。 最小边覆盖L的基数 L 称为G的边覆盖数, 记作Θ(G)。
独立集的应用举例
例:(收款台的设置问题)某大型商场为加强经营 管理,对商品的零售收入实行统一收款制度。 为了使顾客在任何一个货架前都能看到收款台, 问收款台应设置在什么地方且至少要设置多少 个收款台? 问题分析:建立简单无向图G=<V,E>,该商场两排货架 之间的通道为G的边,通道交叉处为G的顶点.为使顾客 在任何一个货架前都能看到收款台。从尽可能减少收 款台的数目来说。收款台应设在通道的交叉处。故收 款台的设置问题转化为在G中找出一个最小点覆盖或G 的一个最大独立集。
求极小支配集的一种布尔运算方法
例:求在下图的全部极小支配集。
v2 v4 v5
v1
v3
v6
匹配
匹配问题是运筹学的重要问题之一,也是图论研究 的终点内容,它提供了解决“人员分配问题”和“最优 分配问题”一种新的思想。 设G=<V,E>是无环图,ME(G),M,若M中任意两 条边都不相邻,则称M是图G的一个匹配。 若对图G的任何匹配M’ ,均有M’ <M,则称M是 图G的最大匹配,最大匹配中的边数称为匹配数记作η(G)。 设M是图G的匹配,G中与M中的边关联的顶点称为M 饱和点。 若图G的顶点都是M饱和,则称M为G的完美匹配。
例:通过矩阵平移运算,求下图G的极大独立集。
v2 v1 v3 G v6
v4
v5
团
(图G的团)设G=<V,E>是无向简单图,TV, T。若T中任意两个顶点都相邻,则称T 是图G的团。若T是图G的团,但任意增加一 个新顶点后,它就不是团,则称T是图G的 极大团。
例:求下图的极大独立集
点覆盖
设G=<V,E>, V*V, (1) V*是点覆盖(点覆盖集)——eE,vV*,使e 与v关联; (2) V*是极小点覆盖——V*的任何真子集都不是点覆 盖集; (3) 最小点覆盖——顶点数最少的点覆盖集; (4) 点覆盖数——(G)——最小点覆盖的元素个数。
图中,点覆盖数依次为3,4,7。
Q
Q
Q
Q
Q
若要求任两个皇后都不互相攻击,即 任两个皇后都不在同一行、同一列或一斜 线上,那么这种皇后的最少个数为7,下图 显示了一种放置方法。
Q
Q
Q
Q
Q
Q
Q
支配集的几个性质定理
定理:图G的支配集S是G的极小支配集当且仅当S中
的每个顶点x满足如下条件之一: (1)存在yV(G)-S使得N(y)S={x},其中N(y)为y的邻接点 集合。 (2) N(x)S=。
定理:设G=<V,E>是无向简单图,SV,S,S 是G的独立集V-S是G的点覆盖。
证:S是G的独立集G中每条边的两端点都不同 时属于S G中每条边至少有一端点在V-S中 V-S是G的点覆盖。 推论:S是G的极大独立集V-S是G的极小点覆盖。
推论:(G)+(G)=V(G)。
匈牙利算法
基本思想:
设G是具有二部划分(V1,V2)的二分图,从图G的 任意匹配M开始。若M饱和V1,则M是G的匹配。若M 不能饱和V1,则在V1中选择一个非M饱和点x,若G中 存在以x为起点的M可增广路P,则M’=MP就是比M 更大的匹配,利用M’代替M,并重复这个过程。若G 中不存在以x为起点的M可增广路,则令H是根在x的M 交错子图的顶点集,并令S=HV1,T=HV2,由前述 定理,T=NG(S),且G中不存在以x为起点的M可增广路, 此时称x为检验过的非M饱和点。对V1中其它未检验过 的非M饱和点重复该过程,直到V1中的所有非M饱和 点全部检验过为止。当整个过程结束时,由于G中不 存在M可增广路,从而M为G的最大匹配。
矩阵变换求独立集
设G=<V,E>是简单无向图,同时将 G的邻 接矩阵第i行与第j行, 第i列与第j列互换, 称为一次平移变换。 说明:平移变换不改变邻接矩阵所表示图G 的各顶点之间的关系,紧紧仅仅改变了i, j的编号。也就是说,邻接矩阵的平移变 换对应于图中结点的一个重新编号。反 之,结点的重新编号对应于邻接矩阵的 一系列平移变换。
例: 某工厂生产由六种不同颜色的纱织成的 双色布,由这个工厂所生产的双色布中,每一 种颜色至少和其他三种颜色搭配。证明可以挑 选出三种不同的双色布,它们含有所有的六种 颜色。
例:有n张纸牌,每张纸牌的正反两面都写上 1,2,…,n的某一个数。证明:如果每个数字都 恰好出现两次,那么这些纸牌一定可以这样摊 开,使朝上的面中1,2,…,n都出现。