离散数学第2版课件作者王元元离散第21讲二分图.pptVIP

第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 中有偶数条边。 二分图的判定 再证充分性。 设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