离散数学 第2版 作者 王元元 离散第22讲 平面图.ppt

第22讲 平面图 平面图 问题的提出 问题的提出 平面图的概念 非平面图 平面图的面 定义：平面连通图中各边所界定的区域称为平面图的面。界定各面的闭的拟路径称为面的边界，它的长度称为面的度。 分类：有界的区域称为有界面，无界的区域称为无界面。 示例 示例 示例 极大平面图 定义：给定平面简单图G，如果在G中添加任一边(该边既不是环，也不是重边)后所得的图均不是平面图，则称G为极大平面图。 极大平面图性质 定理9-3：极大平面图所有有界面都是三度的面，无界面也是三度的。即所有面的边界均为K3。 证：反设极大平面图有4度的面，其边界为(v1, v2, v3, v4, v1)。若该面为无界面，那么可在无界面内联结(v2, v4)；若该面为有界面，那么可在有界面内联结(v2, v4)。联结后所产生的图均仍为平面图，这与平面图的极大性冲突。 例如： 极大平面图性质 证：设v是极大平面图G 的任一顶点。考虑G-v 。G-v是一平面图，v原在G-v的一个面内。由于G为一简单图，G-v的这个面的边界上至少有3个顶点。由G 的极大平面性，v与这些顶点之间都有边关联，因此v至少是3度的顶点。 欧拉公式 定理9.5：设G为一平面连通图，n为顶点数，m为其边 数，r为其面数，那么 n–m+r = 2。（欧拉公式） 欧拉公式 --证明 欧拉公式 --证明 欧拉公式 --证明 欧拉公式推论 定理9.6：如果平面连通图G的每个面的边界都具有长度l (l≥3)，那么m=l(n-2)/(l-2)，其中m为G的边数， n为G的顶点数。 证：设G有k个面。由于每一条边或者是两个面的边界， 或者是一个面的两条边界，因此 l · k = 2m 或 k =2m/l 将k代入欧拉公式，得 n – m + 2m/l = 2 解出m得m=l(n-2)/(l-2) 欧拉公式推论 定理9.7：设G为一平面连通简单图，其顶点数n≥3，其边数为m，那么m≤3n-6。 证：在G上添加边，使之成为一个极大平面图G’。 据定理9.3，G’所有面的边界长度为3，因此G’的边数 m’=3(n-2)/(3-2)= 3n – 6 故 m≤m’ = 3n – 6 欧拉公式推论 定理9-8：设G为一平面简单连通图，其顶点数n≥4，边数 为m，且G不以K3为其子图，那么 m≤2n–4。 证：由于G是不以K3为子图的简单图，因此G的每个面的边界长度不小于4。 同定理9.6 之证明，G的k个面的边界长度总和应为2m， 而根据题设又知4k不超过这一总和，因此 4k≤2m 或 k≤m/2 据欧拉公式有 2 = n – m + k ≤ n – m + m/2= n – m/2 即 m ≤ 2n – 4 欧拉公式推论 例：证明K3,3是非平面图。 证：设K3,3是平面图。 显然K3,3 不以K3 为其子图，又K3,3 是连通简单图， 因而定理9.8适用之。于是 9 ≤ 2?6 – 4 = 8 矛盾，故K3,3非平面图。 欧拉公式推论 定理9-9：顶点数n不少于4的平面连通简单图G，至少 有一个顶点的度数不大于5。 证：反设G的所有顶点的度数均大于5,因而G的所有顶 点的度数之和至少是6n。若m为G的边数，那么据定 理9.7 有 3n – 6 ≥ m 故 6n – 12 ≥ 2m ≥ 6n 矛盾，故G至少有一个顶点的度不超过5。 平面图的判定 对边e的切割操作：设G中有边e = {u,v},对边e作切割操作是指：取消边e；增加顶点w，以及边e1 = {u,w}，边e2 = {w,v}。 对顶点v的贯通操作：设G中有二度顶点v，它是e1= {u, v},e2= {v,w}的共同端点。对顶点v作贯通操作是指：取顶点v以及边e1,e2；增加边e = {u,w} 。 切割与贯通是互逆的，两者常