南方科技大学离散数学课件-第8章一些特殊的图.pptVIP

* 平面图和平面嵌入 定义 如果能将图G除顶点外边不相交地画在平面上, 则称G是平面图. 这个画出的无边相交的图称作G的平面嵌入. 没有平面嵌入的图称作非平面图. 例如 下图中(1)~(4)是平面图, (2)是(1)的平面嵌入，(4)是(3)的平面嵌入. (5)是非平面图. * 平面图和平面嵌入(续) 今后称一个图是平面图, 可以是指定义中的平面图, 又可以是指平面嵌入, 视当时的情况而定. 当讨论的问题与图的画法有关时, 是指平面嵌入. K5和K3,3是非平面图 设G ??G, 若G为平面图, 则G ?也是 平面图; 若G ?为非平面图, 则G也 是非平面图. Kn(n?5), K3,n(n?3)都是非平面图. 平行边与环不影响图的平面性. K5 K3,3 * 平面图的面与次数 设G是一个平面嵌入 G的面: 由G的边将平面划分成的每一个区域 无限面(外部面): 面积无限的面, 用R0表示 有限面(内部面): 面积有限的面, 用R1, R2,…, Rk表示 面Ri的边界: 包围Ri的所有边构成的回路组 面Ri的次数: Ri边界的长度，用deg(Ri)表示 说明: 构成一个面的边界的回路组可能是初级回路, 简单回 路, 也可能是复杂回路, 还可能是非连通的回路之并. 定理 平面图各面的次数之和等于边数的2倍. * 平面图的面与次数(续) 例1 右图有4个面, deg(R1)=1, deg(R2)=3, deg(R3)=2, deg(R0)=8. 请写各面的边界. 例2 左边2个图是同一个平面图的平面嵌入. R1在(1)中是外部面, 在(2)中是内部面; R2在(1)中是内部面, 在(2)中是外部面. 其实, 在平面嵌入中可把任何面作为外部面. * 极大平面图 定义 若G是简单平面图, 并且在任意两个不相邻的顶点之 间加一条新边所得图为非平面图, 则称G为极大平面图. 性质 若简单平面图中已无不相邻顶点，则是极大平面图. 如 K1, K2, K3, K4都是极大平面图. 极大平面图必连通. 阶数大于等于3的极大平面图中不可能有割点和桥. 设G为n(n?3)阶极大平面图, 则G每个面的次数均为3. 任何n(n?4)阶极大平面图G均有δ(G)?3. * 实例 3个图都是平面图, 但只有右边的图为极大平面图. 南方科技大学 * 第8章 一些特殊的图 8.1 二部图 8.2 欧拉图 8.3 哈密顿图 8.4 平面图 * 8.1 二部图 二部图 完全二部图 匹配 极大匹配 最大匹配 匹配数 完备匹配 * 二部图 定义 设无向图 G=V,E, 若能将V 划分成V1 和 V2 (V1?V2=V, V1?V2=?), 使得G中的每条边的两个端 点都一个属于V1, 另一个属于V2, 则称G为二部图, 记为V1,V2,E, 称V1和V2为互补顶点子集. 又若G 是简单图, 且V1中每个顶点都与V2中每个顶点相邻, 则称G为完全二部图, 记为Kr,s, 其中r=|V1|, s=|V2|. 注意: n 阶零图为二部图. * 二部图的判别法 定理 无向图G=V,E是二部图当且仅当G中无奇圈 例 下述各图都是二部图 * 匹配 设G=V,E, 匹配(边独立集): 任2条边均不相邻的边子集 极大匹配: 添加任一条边后都不再是匹配的匹配 最大匹配: 边数最多的匹配 匹配数: 最大匹配中的边数, 记为?1 例 下述3个图的匹配数 依次为3, 3, 4. * 匹配 (续) 设M为G中一个匹配 vi与vj被M匹配: (vi,vj)?M v为M饱和点: M中有边与v关联 v为M非饱和点: M中没有边与v关联 M为完美匹配: G的每个顶点都是M饱和点 例 关于M1, a,b,e,d是饱和点 f,c是非饱和点 M1不是完美匹配 M2是完美匹配 M1 M2 * 二部图中的匹配 定义 设G=V1,V2,E为二部图, |V1|?|V2|, M是G中最 大匹配, 若V1中顶点全是M饱和点, 则称M为G中V1 到V2的完备匹配. 当|V1|=|V2|时, 完备匹配变成完美 匹配. (1) (2) (3) 例 图中红边组成各图的一个匹配，(1)为完备的, 但不是完 美的; (2)不是完备的, 其实(2)中无完备匹配; (3) 是完美的. * Hall定理 定理(Hall定理) 设二部图G=V1,V2,E中，|V1|?|V2|. G中存 在从V1到V2的完备匹配当且仅当V1中任意k 个顶点至少与V2 中的k个顶点相邻(k=1,2,…,|V1|). 由Hall定理不难证明, 上一页图