27-平面图.pptVIP

平面图 离散数学 第27讲 上一讲内容的回顾 根树的基本概念 各种特殊的根树 有序二叉树 Huffman树与二进编码 二叉树的遍历 中序、先序和后序 逆波兰表示 平面图 图的平面嵌入 平面图和非平面图 平面图的必要条件：欧拉公式 适用于简单图的欧拉公式推论 平面图的充分必要条件-Kuratowski定理 平面图的定义 在平面上画出一个图G的图形，若该图形中任意两边均不在当中相交，则称该图形是G的一个平面嵌入，有称为平图。 若图G存在平面嵌入，则G称为平面图。 图G是否平面图，与其一个图形表示无关。 注意： 无回路的图一定是 平面图。 若G的某个子图是 非平面图，G也是。 非连通图可以对连 通分支分别讨论。 一个平面图的例子 同构变换 典型的非平面图 Jordan定理：平面上一条封 闭曲线J 将平面分为“内部”和 “外部”两部分，分别位于内 部和外部的两个顶点之间的 连线必然与J 相交。 平图中的面 每个平图将平面分割为一个无限(开放)区域与若干个(也可能是0个)封闭区域，分别称为外部面和内部面。 面的度数等于构成面边界的边数(注意：悬挂边算2度) 平图中面的度数之和等于图中边数的两倍。 平面图的一个必要条件 欧拉公式：若G是连通平面图，则对G的任一平图有n+r=m+2 其中：n=|VG|, m=|EG|, r是平图中的面数(包括无限区域)。 证明：对m进行归纳。 奠基 当m=0, G是平凡图：n=1, r=1。 当m=1, 必为下列两中情况之一： G=K2, n=2, r=1。 G是一个环，n=1, r=2。 平面图的一个必要条件（续） 欧拉公式：若G是连通平面图，则对G的任一平图有n+r=m+2 其中：n=|VG|, m=|EG|, r是平图中的面数(包括无限区域)。 假设当m=k-1时结论成立。 当m=k: I. 若G中含1次顶点v, 令G=G-v, 显然：n=n-1, m=m-1, r=r，因此：n+r=n+r+1=m+2+1=m+2 II. 若G中无1次顶点，G中必含回路，设e是回路上任一边，令G‘=G-e, 显然：n’=n, m‘=m-1, r’=r-1，因此： n+r=n+r+1=m+2+1=m+2 简单连通平面图的必要条件 (实际上，当平图画不出时，欧拉公式很难直接使用) 欧拉公式的推论：若G是简单连通平面图(n?3), 则m?3n-6。 证明：至少3个顶点的简单图G中，面的最小度数是3，?3r?2m, 根据欧拉公式：3r=3m+6-3n, ?3m+6-3n?2m, 即：m?3n-6。 K5不是平面图：在K5中，n=5, m=10, 3n-6=9。 简单连通二步平面图的必要条件 欧拉公式的另一个推论：若G是简单连通平面图(n?3), 且G是二步图，则m?2n-4。 证明：与上面类似，只需注意，简单连通二步图(n?3)中，最小面次数是4。 K3,3不是平面图：在K3,3中，n=6, m=9, 2n-4=8。 (注意：K3,3满足m?3n-6)。 简单连通平面图的最小顶点次数 若G是简单连通平面图，则?G?5。 证明： 当n?5, 显然。 若n?6, 注意：n·?G ? ?d(v) = 2m, 根据欧拉公式的推论：n·?G ? 6n-12, ??G ? 6-12/n, 因此：?G 6 极大平面图 定义：设G是简单平面图，若在G中任意不相邻顶点之间加一条边，所得图是非平面图，则G称为极大平面图。 极大平面图的连通性 极大平面图是连通图。(显然两个连通分支之间加一条边不影响原来图的可平面性) n?3的极大平面图不含割点和割边。 极大平面图的特征 设G是n?3的简单连通平面图， 则G是极大平面图 当且仅当 G的每个面均为3次。 ? 假设，G是极大平面图，显然G中不可能有小于3次的面。假设存在一个面Ri, 满足deg(Ri)3, 设该面的边界上顶点依次是v1, v2, v3, v4,…,vt(t?4)，必有v1v3?EG, v2v4?EG,(否则在该面内部加一条边，仍旧是平面图，与G的极大性矛盾)，但v1v3, v2v4只能在Ri以外，所以它们必相交，这与G是平面图矛盾。?不存在次数大于3的面。 ? 假设G中每个面均是3次，则2m=3r(这里m是G中边数，r是面数)，?G连通，可以将上述等式代入欧拉公式n+r=m+2(n是G中顶点数)，得：m=3n-6。假设G不是极大平面图，一定可以找到一对不相邻的顶点u,v, 使得G=G+uv仍是简单平面图，但在G中：m3n+6，这与欧拉公式的推论矛盾，?G是极大平面图。 同胚图 基本动作