第五章 平面图.pptVIP

设G无自环且连通，如果有多重边，则可删去多重边，用一条边代替，因此下面考虑的都是连通简单图。有几类图的色数是很容易确定的，即： 定理5.4.1 （1）G是零图当且仅当χ（G）=1。 （2）对于完全图Kn，有χ（Kn）=n，而χ（ ）=1。 （3）对于n个顶点构成的回路Cn，当n为偶数时，χ（Cn）=2；当n为奇数时，χ（Cn）=3。 （4）对于顶点数大于1的树T，有χ（T）=2。 到现在还没有一个简单的方法可以确定任一图G是n―色的。但韦尔奇·鲍威尔（WelchPowell）给出了一种对图的着色方法，步骤如下： （1）将图G中的顶点按度数递减次序排列。 （2）用第一种颜色对第一顶点着色，并将与已着色顶点不邻接的顶点也着第一种颜色。 （3）按排列次序用第二种颜色对未着色的顶点重复（2）。用第三种颜色继续以上做法，直到所有的顶点均着上色为止。 例5.4.1 用韦尔奇·鲍威尔法对下图进行图着色。 （1）各顶点按度数递减次序排列：c，a，e，f，b，h，g，d。 （2）对c和与c不邻接的e，b着第一种颜色。 （3）对a和与a不邻接的g，d着第二种颜色。 （4）对f和与f不邻接的h着第三种颜色。 定理5.4.1 如果图G的顶点的度数最大的为Δ（G），则χ（G）≤1+Δ（G）。 证明:施归纳于G的顶点度数。 当n=2时，G有一条边，Δ（G）=1，G是2―可着色的，所以χ（G）≤1+Δ（G）。假设对于n-1个顶点的图，结论成立。 现假设G有n个顶点，顶点的最大度数为Δ（G），如果删去任一顶点v及其关联的边，得到n-1个顶点的图，它的最大度数至多是Δ（G），由归纳假设，该图是1+Δ（G）―可着色的，再将v及其关联的边加到该图上，使其还原成图G，顶点v的度数至多是Δ（G），v的相邻点最多着上Δ（G）种颜色，然后v着上第1+Δ（G）种颜色，因此G是1+Δ（G）―可着色的，故 χ（G）≤1+Δ（G）。证毕 定理5.4.1所给出的色数的上界是很弱的，例如树T，χ（T）=2，而Δ（T）可以很大。布鲁克斯（Brooks）在1941年证明了这样的结果，使 χ（G）=1+Δ（G）的图只有两类：或是奇回路，或是完全图。 定理5.4.2 任何平面图是5―可着色的。 证明:不妨设G是简单平面图。施归纳于G的顶点数n。当n≤5时结论显然成立。 假设对所有n-1个顶点的平面图是5―可着色的。 现考虑有n个顶点的平面图G，由定理5.1.4可知，在G中存在着顶点v0，d（v0）≤5。由归纳假设，G-v0是5-可着色的，在给定了G-v0的一种着色后，将v0及其关联的边加到原图中，得到G，分两种情况考虑： （1）如果d（v0）＜5，则v0的相邻点已着上的颜色小于等于4种，所以v0可以着另一种颜色，是G是5―可着色的。 （2）如果d（v0）=5，则将v0的邻接点依次记为v1，v2，…，v5，并且对应vi着第i色，如下图（a）所示。 设H13为G-v0的一个子图，它是由着色1和3的顶点集导出的子图。如果v1和v3属于H13的不同分支，将v1所在分支中着色1的顶点与着色3的顶点颜色对换，这时v1着色3，这并不影响G-v0的正常着色。然后将v0着色1，因此G是5―可着色的。 如果v1和v3属于H13的同一分支，则在G中存在一条从v1到v3的路，它的所有顶点着色1或3。这条路与路v1v0v3一起构成一条回路，如图（b）所示。它或者把v2围在它里面，或者同时把v4和v5围在它里面。由于G是平面图，在上面任一种情况下，都不存在连接v2和v4并且顶点着色2或4的一条路。 现在设H24为G-v0的另一个子图，它是由着色2和4的顶点导出的子图，则v2和v4属于H24的不同分支。于是在v2所在分支中将着色2的顶点和着色4的顶点颜色对换，v2着色4，这样导出了G-v0的另一种正常着色，然后在v0着色2，同样可得G是5―可着色的。 证毕 上面结果称为五色定理,那么四色定理哪? I have to put all these into…… * 第五章 平面图 §5.1 平面图与Euler公式 一、平面图 定义5.1.1 若一个图能画在平面上使它的边互不相交（除在顶点处），则称该图为平面图，或称该图能嵌入平面。 例如下图（a）是平面图G，它能嵌入平面上，如图（b）所示的图是G的平面嵌入。 并非所有的图都能嵌入平面! 下图（a）表示的就是非平面图，这个图对应于一个有名的问题