[工学]图论第14讲.pptVIP

图论Graphic Theory 第七章 匹配理论和色数问题 §7-1 最大匹配 §7-2 Hall定理 §7-3 匈牙利算法及例 §7-4 最佳匹配 §7-5 最佳匹配算法及例 §7-6 色数问题 §7-6 色数问题 平面图的着色问题 边的着色问题 顶点的着色问题 一、平面图的着色问题 一个平面图的任意二个区域若有一条公共边，则称这二个区域是相邻的。 一个平面图的着色问题是对平面图的区域着上颜色，至少要用几种不同颜色才能使得任何相邻两个区域有不同的颜色。 一、平面图的着色问题 四色定理 在1852年，一个英国青年名叫盖思里（Francis Guthrie）提出：任何连通的平面图，可以用不多于4种颜色对每一个区域着色，使相邻区域着不同颜色。 1878～1880年两年间，数学家肯普和泰勒两人分别宣布证明了四色定理。后来，人们发现他们实际上证明了一个较弱的命题——五色定理。就是说对平面图着色，用五种颜色就够了。 1976年美国伊利诺州立大学的两位教授，阿佩尔（Kenneth Appel）和海肯（Wolfgang Haken）宣布，用计算机证明了这个问题。他们的证明需要对1900多种情况进行详尽的分析，在一台高速计算机上耗时超过1200小时。对数学家来说总还是希望能找到数学方法的证明。 黎鸣：三元逻辑就可以破解四色定理 新京报记者 李健亚 近期，“哲学乌鸦”黎鸣宣称自己已经破解了四色猜想。“道生一，一生二，二生三，三生万物。中国的传统智慧启发了我，我就用三生万物作为我理论的基点，”黎鸣指出，自己破解的方法完全不同于一般数学家破解的方法。 黎鸣更是指出，由于中国地图中各省分布并不复杂，所以在填色时，只需要3种颜色就能完成。 黎鸣还相信，自己的定理对其他的一些有关的数学难题，例如哥德巴赫猜想等等的破解或许也可能会有所帮助，当然，也难说一定，毕竟把二元逻辑提高到三元逻辑，的确是大大进了一步。又例如前段时间吸引眼球的庞加莱猜想，在黎鸣看来，也可能运用他的破解四色定理的方法，即使不去求解也显然会有这样直观的结果，“任意一个曲面缩成最小，肯定只能是个球，用我的原理来解释，这的确是显然的。” 从理论物理再到控制系统理论专业，黎鸣从中国科技大学研究生院毕业出来之后，更多的却是研究哲学。黎鸣的三元逻辑有三个坐标系，太极、阴阳、三行。 哲学狂人赌命方舟子 黎鸣 南昌人，1950年12月出生，，自称“思想狂徒”、“哲学乌鸦”。1961年毕业于江西大学物理系，后进入中国科技大学研究生院控制论与系统工程专业。长期进行哲学方面的研究。 方舟子　本名方是民，1967年生于福建。1985年考入中国科技大学生物系。1995年获美国密歇根州立大学生物化学博士学位。2000年创办中文网上第一个学术打假网站“立此存照”。 2006年4月20日，哲学狂人黎鸣在其博客上发表了一篇文章，题为《感谢老子，我发现了——“四色”难题终获简洁而绝妙的证明！》。 　 8月9日，哲学狂人黎鸣在自己的博客《方舟子先生，还是让我们来对决吧！》一文中，向“伪科学斗士”方舟子提出以命相搏的生死对决协议。 “如果破解四色定理失败，黎鸣先生愿按照协议，文明地进行自杀；如果破解四色定理成功，方舟子先生愿按照协议，文明地进行自杀。” 对此挑战，方舟子表示“没必要理他，这是他自我炒作，一场闹剧而已！” 二、顶点的着色问题 平面图的色数不大于5。 平面图的着色问题可以转化顶点着色问题。 二、边的着色问题 定义：给图G的边着色，使得有共同顶点的边异色的最少颜色数，称为边色数。 一、边的着色问题 课程考试安排： 用顶点v1,v2,…,vn表示n门课程，若其中两门课i,j被同时选，则vi,vj间连一条边。 一、边的着色问题 妖怪图（snark graph） 妖怪图每个点都关联着3条边，用4种颜色可以把每条边涂上颜色，使得有公共端点的边异色，而用3种颜色办不到，切断任意3条边不会使它断裂成2个有边的图。 一、边的着色问题1 单星妖怪和双星妖怪： 一、边的着色问题3 定理：二分图G的边色数＝图中顶点的最大度。 一、边的着色问题3 定理(Vizing 1964)：若图G为简单图，图中顶点最大度为d，则G的边色数为d或d+1。 一、边的着色问题4 边的着色问题可以转化为顶点的着色问题。 三、顶点的着色问题 定义：给图G的顶点着色，使得相邻的顶点异色的最少颜色数，称为图G顶色数，简称色数；记作χ(G)。 二、顶点的着色问题 物资存储问题： 设有n种物资要存放在仓库里，但有的物资不能放在同一房间里，否则引起损坏，甚至会发生危险。问存放这n种物资最少需要几个房间？ 二、顶点的着色问题1 色数的性质：