离散数学第2版作者王元元离散第23讲平面图的着色与树课件.pptVIP

第23讲 平面图的着色与树 平面图的着色与树 着色问题 图的点着色 平面图的面着色问题 四色难题：是否任何平面图均可以4着色？ 容易证明：任何平面图均可以5着色。 为便于研究，先把面着色转化为点着色 对偶图 对连通平面图G实施下列步骤所得到的图G*称为G的对偶图(dual of graph)： (1)在G的每一个面ri的内部作一个G*的顶点vi*。 (2)若G中面ri 与rj 有公共边界，那么过边界的每一边ek作关联vi*与vj*的一条边ek*。 ek*与G*的其它边不相交。 (3)当ek为面ri的边界而非ri与其它面的公共边界时，作vi*的一条环与ek相交(且仅交于一处)。所作的环不与G*的边相交。 对偶图例 对偶图例 同构图的对偶图可能不同构 左边的对偶图有5度顶点, 右边的对偶图却没有 平面图的对偶图仍为平面图 可k着色 定义: 无环图G称为可k-着色的，如果可用k种颜色给G的所有顶点着色，使每个顶点着一种颜色，而同一边的两个端点着不同颜色。 若任意平面图可k-着色，则任意平面图的面可用k种颜色之一着色，使得相邻的面着不同颜色 5色定理 定理: 任何平面图都是可5-着色的。 证： 连通分支、环和平行边与着色问题无关，因此 可只讨论平面连通简单图。 设G为任一平面连通简单图，顶点个数为n 。对n归纳。 当n≤5时命题显然成立。 设n-1个顶点的平面图都是可5-着色的。