二、平面图的特找出一个图是平面图的充分必要条件的研.pptVIP

二、平面图的特征 找出一个图是平面图的充分必要条件的研究曾经持续了几十年, 直到 1930 年库拉托斯基 (Kuratowski) 给出了平面图的一个非常简洁的特征。 首先介绍剖分的概念： 给定图G的一个剖分是对G实行有限次下述过程而得到的图: 删去它的一条边{u,v}后添加一个新的点w以及新的边{w,u}和{w,v}。 也就是说在G的边上插入有限个点便得到 G的一个剖分。 下图中给出了K5的一个剖分。 定理：(1)若图G的一个子图是Kn的剖分，则G中至少有n个顶点度数大于等于n-1； (2)若图G的一个子图是Kn,n的剖分，则G中至少有2n个顶点度数大于等于n。 例：G=(V,E)，|V|=7，若G中含有K5的剖分，则 不含有K5或K3,3的剖分. 定理 6.3 (库拉托斯基定理):图G是平面图当且仅当它的任何子图都不是K5或 K3,3的剖分。 上例中G是非平面图，而 是平面图 此定理告诉我们： (1)一个图是平面图，则不含有K5的剖分，也不含有K3,3的剖分。 (2)若图G不含有K5的剖分，也不含有K3,3的剖分。则G一定是平面图。 (3)若图G含有K5的剖分，则G一定不是平面图；若图G含有K3,3的剖分，则G一定不是平面图。 (4)若图G不是平面图，则或者G含有K5的剖分，或者G含有K3,3的剖分。 库拉托斯基定理虽然很漂亮, 但是在具体判定一个图是不是平面图时,这个定理并不能起作用。因此以后仍有许多这方面的研究工作。 在这里几何对偶常简称为对偶。 由定义可知,若G是连通平面图, 则G*也是连通平面图,而且G和G*的顶点数, 面数和边数有下列简单的关系。 定理 6.4：设G是有n个顶点,e条边,f个面的连通平面图;又设G的几何对偶G*有n*个顶点,e*条边,f*个面,则 n*=f,e*=e,f*=n。 由于平面图G的对偶G*也是平面图, 同样可对G*作几何对偶,记为G**。若G是连通的, 则G**与G之间有一个特别简单的关系, 如下所述。 定理 6.5：G是连通平面图当且仅当 G**同构于G。 由定义 6.3 的过程可知, 平面图G的任何两个几何对偶必同构。 又平面图G1与G2同构, 但未必G1*与 G2* 同构。关键是嵌入方式不同。 6.2顶点着色 定义 6.4:设G是一个没有自环的图, 对G的每个顶点着色, 使得没有两个相邻的顶点着上相同的颜色,这种着色称为图的正常着色。图G的顶点可用k种颜色正常着色, 称G为k-可着色的。使G是k-可着色的数k的最小值称为G的色数, 记为?(G)。如果?(G)=k,则称G是k色的。 如下图(a)中的图的色数是4, (b)中的图的色数是3。 设G是连通、没有自环的图,如果有多重边,则可删去多重边,用一条边代替, 因此下面考虑连通简单图G。 有几类图的色数是很容易决定的, 即: 定理6.6：(1)G是零图当且仅当?(G)=1; (2)对于完全图Kn,有?(Kn)=n,而; (3)对于n个顶点构成的回路Cn,当n是偶数时, ?(Cn)=2;当n 是奇数时, ?(Cn)=3; (4)G是二分图当且仅当?(G)=2。 对于n?3的n色图的特征至今尚未弄清楚, 但色数的上界则是有结论的。 定理6.7：如果图G的顶点的最大度数为?(G),则?(G)?1+? (G)。 证明：只要证明图G用1+?(G)种颜色就可正常着色。 对G的顶点数采用归纳法, 当n=2时,若?(G)=0，则G是零图，用一种颜色即可，所以?(G)?1+?(G)成立；若?(G)=1，G有一条边(在讨论点着色时，假设图是简单图)，用两种颜色即可，所以?(G)?1+?(G)成立。 假设对于n -1个顶点的图, 结论成立。 现设G有n个顶点, 顶点的最大度数是?,如果删去任一点v及其关联的边, 得到n-1个顶点的图G,它的最大顶点度数?(G)? ?(G)。 定理 6.7 的上界是很弱的, 例如G是二分图时, ?(G)=2，而?(G)可以取得相当大。 布鲁克斯(Brooks)在1941年证明了这样的结果, 使? (G)=1+?(G)的图只有两类: 或是奇回路, 或是完全图。布鲁克斯定理如下, 证明从略。 定理 6.8：如果连通图G的顶点的最大度数是?(G)，G不是奇回路，又不是完全图, 则?(G)??(G)。 6.3平面图的着色 1852 年英国有位青年名叫格思里(Guthrie),他在画地图时发现: 如果相邻两国着上不同的颜色, 那么画任何一张地图只需要四种颜色就够了。 这就是地图的四色问题 一百多年来, 许多数学家的证明都失败了。 1976 年 6 月美国伊利诺斯大学两位教授阿培尔和哈根使用高速电子计算机,花了 1200 多个小时证明了四色问题,终于解决了这个大难题。 仍有许多数学家试图用通常证明方法来论证四色问题,