离散第8讲 第一单元复习.pptVIP

第21讲 二分图 理工大学指挥自动化学院 * PowerPoint Template_Sub 1 二分图 2 平面图 3 树 二分图 《离散数学》第21讲 Page 130 to 134 基本概念 定义：无向图G=V，E称为二分图，如果有非空集合X，Y使X∪Y=V，X∩Y= ?，且对每一e?E，e={x, y}，x?X，y?Y。此时常用X，E，Y表示二分图G。 若对X中任一 x 及Y中任一 y 恰有一边e?E，使e ={x, y}, 则称 G 为完全二分图。 当?X? = m，?Y? = n时，完全二分图G 记为Km,n。 -*- 第21讲 二分图 示例 (a)二分图 (b)二分图 (c)完全二分图K3,3 (d)非二分图 (e)非二分图 -*- 第21讲 二分图 二分图的判定 定理：无向图G为二分图的充分必要条件为G至少有两个顶点且其所有回路的长度为偶数。 证：先证必要性。 设G为二分图X，E，Y。由于X，Y非空，故G至少有两个顶点。若C为G中任一长度为k 的回路，令 C = ( v0,v1,v2,…,vk-1,v k = v0 ) 其中诸vi ( i = 0,1,…,k)必定相间出现于X 及Y 中，显然 {v0,v2,v4,…, vk = v0} ? X {v1,v3,v5,…, vk-1} ? Y 因此k 必为偶数，从而C 中有偶数条边。 -*- 第21讲 二分图 二分图的判定 再证充分性。 设G的所有回路具有偶数长度，且G中不少于两个顶点。假设G连通，否则可对其每个连通分支作如下讨论。 令G的顶点集为V, 边集为E, 现构造两个集合X,Y，使X，E，Y = G。取v0?V, 置 X = {v ? v = v0或v到v0有偶数长度的通路} Y = V-X X非空。现证Y非空，且没有任何边的两个端点都在X或都在Y中. （1）因为G连通，所以v0至少有一个相邻顶点，设相邻顶点 为v1，那么v1?Y（为什么？）；故Y不空。 -*- 第21讲 二分图 二分图的判定 （2）设有边{u, v}, 使u?X，v?X。证明一定存在奇数长度的回路，与题设矛盾。故不可能有边{u, v}使u, v均在X中。 因为u?X，v?X，所以v0到u有偶数长度的通路，或u = v0；v0到v有偶数长度的通路，或v = v0。这样，无论何种情况，连同边{u, v}均有一条从v0到v0的奇数长度的闭的拟路径，在此闭的拟路径中一定存在奇数长度的回路。同理可证“没有任何边的两个端点全在Y中”。 u v v0 v0 v0 -*- 第21讲 二分图 匹配 定义: 设G = X, E, Y为二分图，M?E，如果M中的任意二条边都没有公共端点，则说M是G的一个匹配。 G的所有匹配中边数最多的匹配称为最大匹配。 如果X(Y)中任一顶点均为匹配M中边的端点，那么称M为X(Y) -完全匹配。 若M既是X-完全匹配又是Y-完全匹配，则称M为G的完全匹配。 -*- 第21讲 二分图 匹配的性质 1) 最大匹配总是存在但未必唯一； 2) X(或Y) -完全匹配及G的完全匹配必定是最大的, 反之不然； 3) X(或Y) -完全匹配未必存在，若存在则为最大匹配。 X Y X Y -*- 第21讲 二分图 求取最大匹配 术语：设G = X, E, Y为二分图，M是G的一个匹配 M中边的端点称为M-顶点，其它顶点称为非M-顶点。 M中的边称为匹配边；其它边称为非匹配边。 设P是G中以vk为起点，vh为终点的一条通路，如果vh、vk均为非M-顶点，且P中非匹配边与匹配边交替出现，则称P为G关于匹配M的一条交替链。当某边(u,v)的两端点均为非M-顶点时，(u,v)也称为交替链。 -*- 第21讲 二分图 交替链 M-顶点 非M-顶点 匹配边 非匹配边 -*- 第21讲 二分图 交替链 交替链 -*- 第21讲 二分图 交替链 多了一条匹配边！ -*- 第21讲 二分图 求取最大匹配 匈牙利算法 算法基本思想——不断寻找交替链，每找到一条交替链即将其中的匹配边和非匹配边对换，从而增加一条匹配边，直至从初始匹配扩充为最大匹配 -*- 第21讲 二分图 匈牙利算法 (1) 首先用(*)标记X中的所有非M-顶点，然后交替进行下列步骤(2)和(3)。 (2) 选取一个刚标记过