离散第22讲 平面图.pptVIP

第22讲 平面图 理工大学指挥自动化学院 * 共30度，所以有15条边，9-15+r=2 =8 V1=v2 ,e1+e2=n(n-1)/2 M=3n-6 n(n-1)/2=6n-12 必须n11 * PowerPoint Template_Sub 1 二分图 2 平面图 3 树 平面图 《离散数学》第22讲 Page 134 to 139 问题的提出 原料库1 原料库2 原料库3 施工点A 施工点C 施工点B -*- 第22讲 平面图 问题的提出 K3,3 能否在一个平面上图示出来，使得各边仅在顶点处相交，在其他地方都不相交 -*- 第22讲 平面图 平面图的概念 定义：无向图G称为平面图，如果G 可以在一个平面上图示出来，而使各边仅在顶点处相交。否则称G为非平面图。 -*- 第22讲 平面图 非平面图 完全二分图K3,3 K5 -*- 第22讲 平面图 平面图的面 定义：平面连通图中各边所界定的区域称为平面图的面。界定各面的闭的拟路径称为面的边界，它的长度称为面的度。 分类：有界的区域称为有界面，无界的区域称为无界面。 -*- 第22讲 平面图 r1 r2 r3 示例 界定面的闭的拟路径： r1： (v1, v2 , v5 , v1)， 度为3 r2： (v2, v3, v4, v5 , v2)， 度为4 r3： (v1, v2, v3, v4, v5, v1)，度为5 v1 v2 v3 v4 v5 V2 V1 r1 r2 界定面的闭的拟路径： r1： (v2, v2)， 度为1 r2： (v1, v2, v2, v1 ) ，度为3 -*- 第22讲 平面图 示例 v6 v7 v8 v5 v4 v3 v2 v1 -*- 第22讲 平面图 示例 界定面的闭的拟路径： r1： (v1, v1)， 度为1 r2： (v2, v3, v2)， 度为2 r3： (v4, v5, v8, v4)， 度为3 r4： (v5, v6, v7, v6, v8, v5)，度为5 r5： (v1, v1, v2, v3, v4, v5, v6, v8, v4, v3, v2, v1)，度为11 v6 v7 v8 v5 v4 v3 v2 v1 r5 r1 r2 r3 r4 -*- 第22讲 平面图 极大平面图 定义：给定平面简单图G，如果在G中添加任一边(该边既不是环，也不是重边)后所得的图均不是平面图，则称G为极大平面图。 -*- 第22讲 平面图 极大平面图性质 定理9-3：极大平面图所有有界面都是三度的面，无界面也是三度的。即所有面的边界均为K3。 证：反设极大平面图有4度的面，其边界为(v1, v2, v3, v4, v1)。若该面为无界面，那么可在无界面内联结(v2, v4)；若该面为有界面，那么可在有界面内联结(v2, v4)。联结后所产生的图均仍为平面图，这与平面图的极大性冲突。 例如： v1 v2 v3 v4 -*- 第22讲 平面图 极大平面图性质 证：设v是极大平面图G 的任一顶点。考虑G-v 。G-v是一平面图，v原在G-v的一个面内。由于G为一简单图，G-v的这个面的边界上至少有3个顶点。由G 的极大平面性，v与这些顶点之间都有边关联，因此v至少是3度的顶点。 定理9.4：顶点个数n≥4的极大平面图中，顶点的最小度数不少于3。 -*- 第22讲 平面图 欧拉公式 定理9.5：设G为一平面连通图，n为顶点数，m为其边 数，r为其面数，那么 n–m+r = 2。（欧拉公式） 例： n=4 m=6 r=4 n–m+r = 2。 -*- 第22讲 平面图 欧拉公式 --证明 证明：对边数m归纳。 当m = 0时G为一孤立顶点，n=1，m=0，r=1，从而n – m + r = 2。 设边数小于m的平面连通图均满足欧拉公式，现考虑G(边数m0)，在G中任意去掉一边e得到图G’。下面对e的情况分别进行讨论 欧拉公式证明 G’ e G1 G2 e G’ (1) e为一环，那么G’的顶点数、边数、面数 分别是n’ = n , m’= m – 1 , r’= r – 1 据归纳假设，n’ – m’ + r’ = 2。因而 n – (m-1) + r – 1 = 2 即 n – m + r = 2 -*- 第22讲