定理128库拉托夫斯基定理.pptVIP

计算机学院 计算机科学与工程学院 冯伟森 Email：fws365@scu.edu.cn * * 计算机学院 * 主要内容 平面图 对偶图 平面图的判断 平面的点着色与图的着色 * 计算机学院 * 平面图 定义12.1　如果能把一个无向图G的所有结点和边画在平面上，使得任何两边除公共结点外没有其他交叉点，则称G为平面图，否则称G为非平面图。 v2 v1 v3 v4 (a) v5 v2 v1 v3 v4 (b) v5 * 计算机学院 * 定义12.2　设G是一个平面图，由图中的边所包围的其内部不包含图的结点和边的区域，称为G的一个面; 包围该面的诸边所构成的回路称为这个面的边界； 面r的边界的长度（边数）称为该面的度，记为D(r)。 区域面积有限的面称为有限面，区域面积无限的面称为无限面。 显然，平面图有且仅有一个无限面。 * 计算机学院 * 例12.1 在右图中有9个结点，11 条边，把平面分成4个面 r0、r1、r2、r3。其中 r0的边界为abdeheca， D(r0)＝7； r1的边界为abca，D(r1)＝3； r2的边界为becijikicb，D(r2)＝9； r3的边界为bdeb，D(r3)＝3。 r1、r2和r3是有限面，r0是无限面。 a b c d h e i j k r0 r1 r2 r3 Why? 定理12.1 若图G是平面图，则G的任何子图都是平面图。 定理12.2 若图G是非平面图，则G的任何母图也都是非平面图。 推论12.2.1 Kn（n?5）和K3,n（n?3）都是非平面图。 * 计算机学院 * v2 v1 v3 v4 (b) v5 v6 K3,3 v2 v1 v3 v4 (a) v5 K5 * 计算机学院 * 注意：若一条边不是割边，它必是两个面的公共边；割边只能是一个面的边界。两个以同一条边为公共边界的面称为相邻的面。 定理12.3 在一个平面图中，所有面度之和等于图中边数的二倍。即 1750年，欧拉发现，任何一个凸多面体，若有n个顶点、m条棱和f个面，则有n-m+f＝2。这个公式可以推广到平面图上来，称之为欧拉公式。 * 计算机学院 * n=10，m=15，f=7 n-m+f=2 * 计算机学院 * 定理12.4 设G＝V,E是连通平面图，若它有n个结点、m条边和f个面，则有 n-m+f＝2 证明：构造G的一个生成树T，则T也是一个平面 图，而它只有一个面，即外部面； 然后依次加入树补边，每加入一条树补 边，就新增加一个且仅一个内部面； 而树补边的总数为m－n+1，因此，G的面 数应为f=m－n+2，即n-m+f＝2。 推论12.4.1 对于具有k(k≥2）个连通分支的平面图G，有　n-m+f＝k+1 * 计算机学院 * 定理12.5 设G是一个(n,m)简单连通平面图，若m＞1，则有 m≤3n-6 2m≥3k，即k≤2m/3，代入欧拉公式有 整理得 m≤3n-6 证明　设G有k个面，因为G是平面图，所以G的每个面至少由3条边围成，而G中各面度之和是边数的二倍，所以 推论12.5.1 任何简单连通平面图中，至少存在一个其度不超过5的结点 * 计算机学院 * 围长：一个图的围长为它包含的最短圈的长度。 一个图若不含圈，则规定其围长为无穷大。 定理12.6 设G是一个(n,m)简单连通平面 图，其围长k＞2，则有 * 计算机学院 * 说明 定理12.5和定理12.6本身可能用处不大，但它的逆否命题却非常有用，可以用它们来判定某些图是非平面图。即一个简单连通图，若不满足 m≤3n-6 或 则一定是非平面图。但需要注意，满足上面不等式的简单连通图未必是平面图。 * 计算机学院 * 定理12.7 K5 和K3,3都是非平面图 考察5个结点的完全图K5。 因为K5是简单连通图，n＝5，m＝10，因此m＞3n-6＝3×5-6＝9，故不满足m≤3n-6。 故K5是非平面图。 我们再看图K3,3， n＝6，m＝9，围长 g=4 但 9 ≤（4×6-2×4）/（4-2）=8，不满足 第二个必要条件，所以它也是一个非平面图。 而K3,3 ，满足不等式m≤3n-6。 v2 v1 v3 v4 (b) v5 v6 K3,3 * 计算机学院 * 平面图的判断 细分：在图G的边uv上新增加一个二度结点，称为图G的细分。一条边上也可以同时增加有限个二度结点，所得的新图称为原来图的细分图。 定理12.8（库拉托夫斯基定理） 一个图是平面图的充分必要条件是它不包含与K5或K3,3细分图同构的子图。 此定理定性地说明了平面图的本质。