离散数学平面图及图的着色.ppt

第17章 平面图及图的着色 本章说明 特别说明： 本章所涉及到的图均指无向图。 17.1 平面图的基本概念 （2）是（1）的平面嵌入，（4）是（3）的平面嵌入。 2、 几点说明及一些简单结论 一般所谈平面图不一定是指平面嵌入，但讨论某些性质时，一定是指平面嵌入。 很显然：K5和K3,3都不是平面图。见P181 定理17.1 设G??G，若G为平面图，则G?也是平面图。 定理17.2 设G??G，若G?为非平面图，则G也是非平面图。 推论 Kn(n?5)和K3,n(n?3)都是非平面图。 定理17.3 若G为平面图，则在G中加平行边或环所得图还是平面图。即平行边和环不影响图的平面性。 二、平面图的面与次数（针对平面图的平面嵌入而言） 1、 定义 定义17.2 设G是平面图， G的面——由G的边将G所在的平面划分成的每一个区域。 无限面（外部面）——面积无限的面，记作R0。 有限面（内部面）——面积有限的面 ，记作R1, R2, …, Rk。 面Ri的边界——包围面Ri的所有边组成的回路组。 面Ri的次数——Ri边界的长度，记作deg(Ri)。 2、几点说明 若平面图G有k个面，可笼统地用R1, R2, …, Rk表示，不需要指出外部面。 回路组是指：边界可能是初级回路（圈），可能是简单回路，也可能是复杂回路。特别地，还可能是非连通的回路之并。 定理17.4 平面图G中所有面的次数之和等于边数m的两倍，即 三、极大平面图 1、 定义 定义17.3 若在简单平面图G中的任意两个不相邻的顶点之间加一条新边所得图为非平面图，则称G为极大平面图。 注意：若简单平面图G中已无不相邻顶点，G显然是极大平面图，如K1（平凡图）, K2, K3, K4都是极大平面图。 2、极大平面图的主要性质 定理17.5 极大平面图是连通的。(根据注意！) 定理17.6 n(n?3)阶极大平面图中不可能有割点和桥。 定理17.7 设G为n(n?3) )阶简单连通的平面图，G为极大平面图当且仅当G的每个面的次数均为3。 四、极小非平面图 定义17.4 若在非平面图G中任意删除一条边，所得图G?为平面图，则称G为极小非平面图。 由定义不难看出： K5, K3,3都是极小非平面图。 极小非平面图必为简单图。 例如：以下各图均为极小非平面图。 17.2 欧拉公式 一、欧拉公式相关定理 1、 欧拉公式 定理17.8 对于任意的连通的平面图G，有 n-m+r=2其中，n、m、r分别为G的顶点数、边数和面数。 定理17.9 对于具有k(k≥2)个连通分支的平面图G，有 n-m+r = k+1其中n，m，r分别为G的顶点数，边数和面数。 2、 与欧拉公式有关的定理 定理17.10 设G为连通的平面图，且每个面的次数至少为l(l=3)，则 G的边数与顶点数有如下关系： 推论 K5, K3,3不是平面图。 定理17.11 设G是有k(k≥2)个连通分支的平面图，各面的次数至少为l(l≥3)，则边数m与顶点数n应有如下关系： 定理17.13 设G为n(n?3)阶m条边的极大平面图，则m=3n?6。 二、一个意义重大的定理 定理17.14 设G为简单平面图，则G的最小度?(G)?5。 定理17.7 设G为n(n?3) )阶简单连通的平面图，G为极大平面图当且仅当G的每个面的次数均为3。 17.3 平面图的判断 图的同构 2、图之间的同胚 定义17.6 若两个图G1与G2同构，或通过反复插入或消去2度顶点后是同构的，则称G1与G2是同胚的。 17.4 平面图的对偶图 一、对偶图的定义 定义17.7 设G是某平面图的某个平面嵌入，构造G的对偶图G*如下： 在G的面Ri中放置G*的顶点vi* 。 设e为G的任意一条边， ?若e在G的面Ri与Rj的公共边界上，做G*的边e*与e相交，且e*关联G*的位于Ri与Rj中的顶点vi*与vj*，即e*=(vi*,vj*)，e*不与其它任何边相交。 ?若e为G中的桥且在面Ri的边界上，则e*是以Ri中G*的顶点vi*为端点的环，即e*=(vi*,vi*)。 实线边图为平面图，虚线边图为其对偶图。 从定义不难看出G的对偶图G*有以下性质： G*是平面图，而且是平面嵌入。 G*是连通图。 若边e为G中的环，则G*与e对应的边e*为桥，若e为桥，则G*中与e对应的边e*为环。 在多数情况下，G*为多重图（含平行边的图）。 同构的平面图（平面嵌入）的对偶图不一定是同构的。 二、平面图与对偶图的阶数、边数与面数之间的关系。 结论 设G*是连通平面图G的对偶图，n*、m*、r*和n、 m、r分别为G*和G的顶点数、边数和面数，则 （1）n*= r （2