数学建模——第二章匹配与覆盖.pptVIP

第二章 匹配与覆盖及其应用 2.1 匹配与覆盖 2.1.1 基本概念 定义1:设图G=(V,E),M是E的子集,若M的边互不相邻,则称M是G的一个匹配.M的边称为匹配边,E\M的边称为自由边. 若(u,v)∈M,则称u(或v)是v(或u)的配偶.若顶点v与M的一条边关联,则称v是M-饱和的;否则称为是M-非饱和的. 设M是G的一个匹配,若G的每个顶点都是M-饱和的,则称M是G的完美匹配. 设M是G的一个匹配,若不存在匹配M?,使得:|M?||M|.则称M为G的最大匹配. 定义2 设M是图G=(V,E)的匹配,称其边交错于M和E\M的路(圈)为M-交错路(圈).起点和终点都是M-非饱和点的交错路称为M-增广路. 定义3 设G=(V,E),K是V的子集合,若G的每一条边都与K的一个顶点关联,则称K是图G的一个覆盖.设K是G的一个覆盖,若不存在覆盖K?,使得:|K?||K|,则称K是一个最小覆盖. 2.1.2 性质: 定理1:设M是图G的匹配,则M是最大匹配的充分必要条件是G没有M-增广路. 注:此定理提供了求最大匹配的基本思想和方法. 定理2:设M是图G的匹配,K是覆盖,则: (1)|M|≤|K|; (2)若|M|=|K|,则M是最大匹配,是K最小覆盖. 2.1.3 二元图(二部图)的匹配 关于匹配的一般性质对二元图自然成立,但二元图的匹配还有自身的重要性质,即: 定理3 设G=(X,Y;E)是二元图,M是匹配,K是覆盖,则M,K分别是最大匹配,最小覆盖的充分必要条件|M|=|K|. 定理4 对二元图G=(X,Y;E),有: (1)G存在饱和X的每个顶点的匹配的充分必要条件是|N(S)|≥|S|, 任意S是X的子集合,其中:N(S)={v|存在 u∈S,v与u相邻} (2)G存在完美匹配的充分必要条件是|N(S)|≥|S|, 任意S是V的子集合 (3)若存在正整数t,满足任意v∈X,deg(v)≥t,任意u∈Y,deg(v)≤t,则存在饱和X的每个顶点的匹配. 推论:若G是k-正则二元图,k0,则G有完美匹配. 例1:如下图: M={(x1,y2),(x2,y3),(x3,y4)}是二元图G的最大匹配,K={x1,x2,x3}是G的最小覆盖,因为|M|=|K|=3,又因为,任意X的子集S, |N(S)|≥|S|,因此存在饱和X的所有顶点的匹配;但对于任意V的子集S,|N(S)|不大于|S|,如取S={y1,y2,y3,y4},N(S)={x1,x2,x3},显然|N(S)||S|,因此,不存在完美匹配. X Y x1 x2 x3 y1 y2 y3 y4 2.2 工作安排问题 2.2.1 工作安排问题之一:假设有: n个工人:x1,x2, …,xn; n件工作:y1,y2, …,yn 已知工人xi能胜任ki件工作(i=1,2, …,n),问能否存在一种安排使每人能分配到他能胜任的一件工作,若能,如何安排? 设:顶点集合: X={x1,x2, …,xn}; 顶点集合: Y={y1,y2, …,yn} xi与yj相邻的充分必要条件是xi能胜任工作yj 由此得到二元图G=(X,Y;E),问题转化为求二元图的完美匹配.因为|X|=|Y|,因此完美匹配即为最大匹配. 匈牙利(Hungarian)算法:求二元图的最大匹配. 基本思想:任选取一个匹配M,对X的所有M-非饱和点,寻找M-增广路,若不存在M-增广路,则M为最大匹配;若存在M-增广路,则得到M-增广路中M与非M的边互换,得到比M多一边的匹配M?,再对M?重复上述过程. 算法步骤: 设G=(X,Y;E)是一个二元图,M是任意一个匹配: (1)令S:=?,T:=?;转(2) (2)若M饱和X/S的每个顶点,则M是最大匹配,否则,取M-非饱和点u∈X/S,令S:=S∪{u};转(3) (3)若N(S)=T,转(6),否则取y∈N(S)/T.若y是-M饱和点,转(4),否则转(5) (4)存在x∈X使得(y,x)∈M,则令: S:=S∪ {x},T:=T∪{y},转(3) (5)u-y路是M-增广路,设为P,并令M:=M?P,转(1) (6)若X/S=?,则M是最大匹配,否则转(2). 例2:求下图中饱和X中每个顶点的匹配:M={x1y1}. X Y x1 x2 x3 y1 y2 y3 y4 解:从M出发执行算法的各个步骤: (1)令S:=?, T:=? (2)X中存在M-非饱和顶点x2,令:S:=S∪{x2}={x2} (3)N(S)≠T,取y2∈N(S)/T,y2是M-非饱和点,转(5) (5)x2y2路是M-增广路,设为P,令M:=M?P={x1y1,x2y2},转(1) (1)令S:=?, T: