第十七章平面图及图的着色.ppt

平面图 2.非平凡判定 定理 若图G是平面图，则G的任何子图都是平面图。 　　Kn(n≤4)和K1,n(n≥1)的所有子图都是平面图。 定理 若图G是非平面图，则G的任何母图也都是非平面图。 定理 设G是平面图，则在G中加平行边或环后所得图还是平面图。 3. 欧拉公式判断法 定义 设G为简单平面图，若在G的任意不相邻的顶点u，v之间加边(u，v)，所得图为非平面图，则称G为极大平面图。 　　 从定义不难看出，K1，K2，K3，K4，,K5-e(K5删除任意一条边)都是极大平面图。还可以容易地证明下面两个定理。 　定理 极大平面图是连通的。 　定理 设G是n(n≥3)阶极大平面图，则G中不可能存在割点和桥。 　　极大平面图的最大特点由下面定理给出。 　定理 设G为n(n≥3)阶简单连通的平面图，G为极大平面图当且仅当G的每个面的次数均为3. 定义 若在非平面图G中任意删除一条边，所得图为平面图，则称G为极小非平面图。 如：K5,K3,3 4．库拉托斯基定理判别法 K3,3与K5称为库拉托夫斯基（Kuratowski）图, 它们有一些有趣的共同点： （1）它们都是正则图。 （2）去掉一条边时它们都是平面图。 （3）K3,3是边数最少的非平面简单图，K5是顶点数最少的非平面简单图，因而它们都是最基本的非平面图。 对偶图 平面图的着色 一、二部图 例 V4 二部图不一定是连通图！ * 一、平面图的定义 定义 一个图G若能画在平面上，它的边除在端点处外互不交叉，则称G为平面图。画出的没有边交叉的图解称为G的一个平面嵌入。 例1 图（a）是平面图，（b）是该图的一个平面嵌入。 二、平面图的判别 1．简单、直观判别法 我们往往可以用移动点、边的方法来判别一个图是否为平面图。 都是平面图 例2 用上述直观的方法判别下图中的图是否平面图。 由K5，K3,3都不是平面图 定义设G是一个连通平面图，G的边将G所在的平面划分成若干个区域，每一个区域称为G的一个面。其中面积无限的区域称为无限面。面积有限的区域称为有限面。包围每个面的所有边构成的回路称为面的边界。它的长度称为面的度（次数）（degree）。 例3 如右图中， ????????????????????，正好是边数9的两倍。 定理 一个有限平面图，面的次数之和等于其边数的两倍. 证明：因为任何一条边，或者是二个面的公共边，或者在一个面中作为边界被重复计算两次，故面的次数之和等于其边数的两倍。 欧拉公式 定理 设G是一连通平面图，有v个结点，e条边，r个面，则v–e+r=2。 此定理中的公式称为欧拉公式。 证明 （对边数e进行归纳） 当e=0和e=1时，定理显然成立。 假设定理对e–1条边的任何连通平面图均成立， 设G是一具有v个结点，e条边，r个面的连通平面图（e≥2）。 如左图可以验证公式成立 v=7，r=3，e=8，7-8+3=2; 思考证明方法，反证法、构造法、归纳法或描述法？ 由归纳假设G?中欧拉公式成立。 因此v–（e–1）+（r–1）=2，即v–e+r=2。 若G中没有环，则G是一棵树，r=1，且e=v–1，于是v–e+r=v–（v–1）+1=2。 若G中有环，则去掉G的任一环上的一条边 ，剩下的图G?仍连通，有v个结点，r–1个面，e–1条边， 证明过程：归纳法 1）e=1成立 2）e=K-1成立 3）无环路 有环路： 找一个特殊边，环路上的边，去掉后面也-1。 定理可以作为平面图的判定定理吗？为什么？ 对于平面图，平面嵌入的画法可以有多种，但不管怎样，面数总是相等的。必须强调的是：欧拉公式只适用于连通平面图， 不满足欧拉公式的连通图一定不是平面图。 但是面数确定是比较困难的，需要在得到平面图时进行。这时就无需判定了！ 定理17.10 若G是n?3的平面连通简单图, 则l?3n-6。(l=3) 证明:显然只要对连通平面简单图证明即可。 设G 是n?3的连通平面简单图,G的每个面由三条或更多条边围成，因此边的总数s大于或等于3r(这里边的总数s包括重复计算在内)。 即s?3r 另一方面, 因为每条边至多是两个面的公共边, 也就是说每条边至多被计算两次， 即s?2l，因此有3r?s?2e,即3r?2l, 所以l?3r/2，即r?2l/3。 根据欧拉公式,2=n-l+r?n-l+2l/3，所以3n-6?l 推论 K5与K3,3都不是平面图。 证 若K5是平面图，由于K5中无环和平行边，