《离散数学教学资料》图的着色.ppt

《集合论与图论》第25讲 《集合论与图论》第25讲 《集合论与图论》第25讲 《集合论与图论》第25讲 《集合论与图论》第25讲 《集合论与图论》第25讲 《集合论与图论》第25讲 《集合论与图论》第25讲 对偶图与着色 四色问题(Four Color Problem) 1852, Francis Guthrie, 注意到英格兰地图可以用4种颜色染色, 使得相邻区域(有一段公共边界,不只是有一个公共点)有不同颜色; 他问其弟 Frederick 是否任意地图都有此性质? 1878, Cayley, 提交伦敦数学会. 约定: 无飞地 四色问题(Four Color Problem) 由英国人Francis Guthrie提出 1879, Kempe, 第一次“证明”（对偶，构形，可约） 1880, Tait,另一个错误证明 1890, Heawood 发现Kempe证明的错误 1891, Petersen发现Tait证明的漏洞 1913,1939,1950,1960，22-35-39-50 1976，伊利诺大学哈肯/阿佩尔。 IBM360 ,1200个小时，100亿判断，论文139页+400页程序。完成了四色定理的证明 对偶图 P318 – 定义7-6.1 对偶图: 平面图G=V,E的对偶图是G*=V*,E*： G的每一个面，对应G*的一个结点 G中两个面之间每一条公共边界，对应G*中两个结点间的一条边 G中一个面内部的边，对应G*中结点上的一个环。 对偶图的性质 对偶图是连通平面图 环与桥互相对偶 平行边对偶于2个面之间的多条边界 n*=r,m*=m,r*=n G1?G2,不一定G1*?G2* 自对偶图 P318 – 定义7-6.2 自对偶图: G?G*. n?4时, 轮图Wn是自对偶图 四色问题(Four Color Problem) 利用对偶图，可以将面的着色问题，转化为点的着色问题 着色 着色: 给图的某类元素(点,边,面)中每个指定1种颜色,使得相邻元素有不同颜色 点着色,边着色,面着色 相邻: V,有边相连 E,有公共端点 R,有公共边界 着色(例) 色数 色数: 着色所需最少颜色数 k-色图: 可k-着色,但不可(k-1)-着色 点色数 ?(G), 边色数?’(G), 面色数?*(G) 例: ?(G)=2, ?’(G)=4, ?*(G)=3 点色数性质 ?(G)=1 ? G是零图 ?(Kn)=n ?(G)=2 ? G是二部图 ?(G)=2 ? G无奇圈 奇圈是3色图 ?(G)上界 定理: ?(G) ? ?(G)+1 证明: ?v?V(G), ?G(v)={ u | (u,v)?E(G) }, |?G(v)|??(G), 给?G(v)中顶点着色至多需要?(G)种颜色, 所以至少还剩一种颜色可用来给v着色. 定理(Brooks): 若G连通,且非完全图Kn (n?3)，且非奇圈, 则?(G) ? ?(G). 求点色数：韦尔奇着色法 将图中结点按照度数大小，递减排序 用第一种颜色对第一个点着色，然后按照顺序对与已着色点不邻接的点用同样颜色着色。 接下来用第二种颜色对未着色结点中排序最高的结点着色，然后按照顺序对与已着色点不邻接的点用同样颜色着色。 重复此过程知道所有结点被着色 P231 习题 7-6（3） 面着色与对偶图点着色 定理: 地图G可k-面着色 ? 对偶图G*可k-着色. 定理: 连通无环平面图G可k-面着色 ? 对偶图G*可k-着色. 研究平面图面着色?研究平面图点着色 五色定理 P315 定理7-5.3 对于v个结点，e条边的简单连通平面图，若v=3，则e=3v-6. （1）e=2时，v=3，成立 （2）若e=3，每一面的次数不小于3。由于各面次数之和为2e，因此 2e=3r，r=(2/3)e。 （3）带入欧拉定理 2=v-e+r=v-e+(2/3)e 约简得：e=3v-6 五色定理 P319 定理7-6.1 G为至少3个结点的连通平面图，G中必有一个结点u，deg(u)=5。 （1）设有v个结点，e条边 （2）已知所有结点度数之和为2e。 （3）若每个结点的度数均大于5，则2e=6v，即e=3v3v-6，与 定理7-5.3矛盾。 五色定理 (Heawood,1890): 任何平面图都可5-着色 证明: (归纳法) (1) n?5: 结论为真. (2) 设n=k(?5)时结论为真. n=k+1时, ?v?V(G), d(v)?5. 令G1=G-v, G1可5-着色 当d(v)5时，v可着色 当d(v)=