20115641039 张超 浅谈“四色问题”.docVIP

浅谈四色问题 【摘要】在日常生活中,我们会发现一个有趣的现象，如果你仔细留心一张世界地图，你会发现用一种颜色给一个国家着色，那么一共只需要四种颜色就能保证每两个相邻国家的颜色不同，这样的着色效果能使每一个国家都能清楚地显示出来，这就是由地图着色问题引发的著名的数学问题：“四色问题”。但要证明这个结论却是一个著名的世界难题，许许多多的中外数学家都被这个问题所折服，最终借助计算机才得以解决，但结论并不是很完美，因此诸多数学学者都在寻找其严格的数学证明方法。 【关键词】四色问题的背景 四色问题的解决历程 四色问题的应用 四色问题又称四色猜想、四色定理，与哥德巴赫猜想、费马大定理一起被称作世界三大著名数学难题。“四色问题”是世界数学史上一个非常著名的证明难题，它要求证明在平面地图上只用四种颜色就能使任何复杂形状的各块相邻区域之间颜色不会重复，也就是说相互之间都有交界的区域最多只能有四块。一百五十多年来有许多数学家用了很长时间，花了很多精力才艰难地证明了这个问题。下面我就来谈一谈著名的“四色问题”。 四色问题的背景 四色问题的提出 四色猜想的提出来自英国。1852年，毕业于伦敦大学的弗南西斯·格思里来到一家科研单位搞地图着色工作时，发现了一种有趣的现象：“每幅地图都可以用四种颜色着色，使得有共同边界的国家都被着上不同的颜色。”这个现象能不能从数学上加以严格证明呢？他和在大学读书的弟弟格里斯决心试一试，兄弟二人为证明这一问题而使用的稿纸已经堆了一大叠，可是研究工作没有进展。1852年10月23日，他的弟弟就这个问题的证明请教了他的老师，著名数学家德·摩尔根，摩尔根也没有能找到解决这个问题的途径，于是写信向自己的好友，著名数学家哈密顿爵士请教，哈密顿接到摩尔根的信后，对四色问题进行论证，但直到1865年哈密顿逝世为止，问题也没有能够解决。1872年，英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题，于是四色猜想成了世界数学界关注的问题。世界上许多一流的数学家都纷纷加入到证明四色猜想的队伍中。 （二）四色问题的内容 四色问题的主要内容是：“任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。”用数学语言表示，即“将平面任意地细分为不相重迭的区域，每一个区域总可以用1，2，3，4这四个数字之一来标记，而不会使相邻的两个区域得到相同数字”。这里所指的相邻区域，是指有一整段边界是公共的如果两个区域只相遇于一点或有限多点，就不叫相邻因为用相同的颜色给它们着色不会引起混淆。 （图1） （图2） 四色问题的解决历程 (一）人工证明 1878～1880年两年间，著名的律师兼数学家肯普和泰勒两人分别提交了证明四色猜想的论文，宣布证明了四色定理，大家都认为四色猜想从此也就解决了。肯普的证明是这样的：首先指出如果没有一个国家包围其他国家，或没有三个以上的国家相遇于一点，这种地图就说是“正规的”（如图1），否则为非正规地图（如图2）。一张地图往往是由正规地图和非正规地图联系在一起，但非正规地图所需颜色种数一般不超过正规地图所需的颜色，如果有一张需要五种颜色的地图，那就是指它的正规地图是五色的，要证明四色猜想成立，只要证明不存在一张正规五色地图就足够了。因此，肯普采用了归谬法来证明，大意是如果有一张正规的五色地图，就会存在一张国数最少的“极小正规五色地图”，如果极小正规五色地图中有一个国家的邻国数少于六个，就会存在一张国数较少的正规地图仍为五色的，这样一来就不会有极小五色地图的国数，也就不存在正规五色地图了。这样肯普就认为他已经证明了“四色问题”。但是，时隔十一年之后，即1890年，在牛津大学就读的年仅29岁的数学家赫伍德以自己的精确计算，指出肯普的证明是错误的。不久，泰勒的证明也被否定了。 计算机证明 高速数字计算机的发明，促使更多数学家对“四色问题”的研究。从1936年就开始研究四色猜想的海克，公开宣称四色猜想可用寻找可约图形的不可避免组来证明。他的学生丢雷写了一个计算程序，海克不仅能用这程序产生的数据来证明构形可约，而且描绘可约构形的方法是从改造地图成为数学上称为“对偶”形着手。他把每个国家的首都标出来，然后把相邻国家的首都用一条越过边界的铁路连接起来，除首都(称为顶点)及铁路(称为弧或边)外，擦掉其他所有的线，剩下的称为原图的对偶图。到了六十年代后期，海克引进一个类似于在电网络中移动电荷的方法来求构形的不可避免组。在海克的研究中第一次以颇不成熟的形式出现的“放电法”，这对以后关于不可避免组的研究是个关键，也是证明四色定理的中心要素。 电子计算机问世以后，由于演算速度迅速提高，加之人机对话的出现，大大加快了对四色猜想证明的进程。美国伊