第42章 四色定理（全书完）

新生报道的时间一共有两天，所以第三天才会正式上课。

而且从今天开始，他就有美女陪着他一起学习啦，再也不用每天看着那个肌肉猛男了。

和丁小淇面对面坐着，沈从心决定今天研究一下前几天抽奖抽到的什么四色定理。

不知道你们小时候有没有观察过家里的地图，无论多么复杂的地形，如何曲折的边界，整张地图都只用四种颜色上色。而这就是四色问题从字面上描述的问题了。

而说起四色定理，就不得不提到我们日常生活中所用的一个基本生产工具计算机了。因为现在几乎所有的四色定理证明相关过程都用到了计算机。这也为数学问题的证明方法打开了一个新思路，即计算机辅助证明法。

而这个问题最早是由毕业于伦敦大学的格斯里在1852年提出的，当时的他正在一家科研单位工作，偶然间注意到地图着色只用四种颜料，于是不由自主的提出了这样一个问题。

他本以为以自己伦敦大学高材生的身份，这个小小的问题还不是手到擒来，可是在后来的研究中，即使邀请了师从著名数学家德•摩尔根的同胞弟弟，又耗费了整整三个月时间，这个问题也毫无进展。

于是同年十月他们请教了摩尔根，可是就连摩尔根也没有办法解决这个问题，于是这个问题再一次流传到他的好友，著名的数学家哈密顿爵士手里，但是这位可怜的老爵士致死也没有解决这个问题。

再后来直到1872年，当时著名的数学家凯利才正式向伦敦数学学会提出这个问题，从那以后这个问题就被世界广泛关注。

在1878年和1880年共有两名数学家提交论文，宣布证明了四色定理，可是后来全部被推翻了。

后来陆陆续续又有很多人自称证明了，可是没有一个人能完全正确的给出证明方法。

直到1913年，美国数学家奥克霍夫结合前人的方法，用新的设想，从小的地图开始，逐步推理证明。

但用这种方法进步缓慢，47年过去了，到了1960年，才从证明22国以下的地图可以用四色着色，推进到50国以下。

然后就是计算机的发明和运用了。

1976年，美国伊利诺斯大学利用计算机辅助，做了一百亿个判断，结果没有一张地图是需要四色以上的，终于到此四色定理的证明终于被画上了一个不算完美的句号。

但因为计算机的论证方法究其根本还是穷举法，并无法给出令人信服的思考过程，所以人们还是在寻找一种简洁的数学语言来证明。

看完四色定理的发展历史，沈从心心里对这个问题大概有个了解，同时也庆幸自己没有像一只沙雕一样，当时直接把论文发出去。

四色定理可是世界近代三大数学猜想之一，（另外两大猜想是费马猜想和哥德巴赫猜想）虽然已经被计算机证明了，可凭借自己一个小小的准大学生的身份发表一篇解决世界级难题的论文，估计自己有可能被切片研究了。

现在数学界对于四色定理的态度分成了两个派别。一部分人认为四色定理应该叫四色猜想，因为它还没有被人类用简洁的数学语言证明，这也意味着这一部分人并不承认计算机证明的权威性和科学性。

另一部分人则认为既然这个定理已经被计算机证明了，那么就已经可以说是定理了。

然后沈从心觉得这个命题太难了，一时间伤心过度，居然离开了人世。

丁小淇听到这个消息，也伤心过度离开人世。

陈彪失去了好友，也伤心过度，离开了人世。

哦，对了，还有工具人贾明，听到这个消息也伤心过度，离开了人世。

……全书完

江湖再见，各位保重。