欢迎您的光临,请记住本站地址：，手机阅读，以便随时阅读小说《程序员修真之路》最新章节...
189.
前面2990层的问题，虽然有很多也是十分艰深的，也有一些是自己从来没见到过的，但程理最后都还是靠着脑中灵光一闪，最终得以解决问题。
但程理在这2000多道题里，还从来没有一道题目，让他感到如此的棘手。
第2991层的这个问题，就是四色问题。
“问，如何证明任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。”
这个问题描述很简单也很清晰，实际上就是说，在不引起混淆的情况下，一张地图只需要4种颜色标记就行了，这样一来就可以让任意两个相邻国家，是不同颜色。
问题描述很简单，但是如何证明这个结论是正确的，却十分的困难。
四色问题，实际上是地球上近代三大数学难题之一，它最早是1852年一名叫做格斯里的英国大学生提出来的。
当时他在一家科研单位进行地图着色工作的时候，发现每幅地图都只需要4种颜色着色。
他发现这个现象后，就在想说，能不能从数学上加以严格证明这种现象呢？
这是典型的一种先发现现象，然后想用数学证明的过程。
然而他在和自己的弟弟在尝试证明这个四色现象的时候，才发现这是一个超级难的问题。
最后，他的弟弟就请教了著名的数学家哈密顿爵士，但直到哈密顿爵士去世，这个问题仍然没能被解决。
最后，四色问题逐渐成为了世界数学界都关注的问题，世界是许多一流数学家都纷纷参加了四色猜想大会战。
一开始，人们都以为这只是一个简单的问题。
但除了肯普在19世纪末，证明了五色定理，证明了一张地图的着色，只要用五种颜色就够了。
但四种颜色到底够不够，依然是一个悬而未决的事情。
直到一个世纪过去了，这个问题仍然没有被解决。
人们这才意识到，这个貌似简单的问题，却是可与费马猜想相提并论的巨大难题。
这100多年来，虽然四色问题一直没有被解决，但数学家们为研究四色问题付出的努力，却并没有白费。
为了解决四色问题，所引进的概念与方法刺激了拓扑学与图论的生长、发展。
在“四色问题”的研究过程中，不少新的数学理论随之产生，也发展了很多数学计算技巧。如将地图的着色问题化为图论问题，丰富了图论的内容，设计计算机的编码程序上都起到了推动作用。
最后，在1969年，在电子计算机技术开始高速发展之后，人们开始尝试借助计算机来解决这个难题。
德国数学家希斯，第一次提出了一种具体可行的寻找不可避免可约图的算法，他称之为“放电算法”。
最后，人们才通过优化放电算法，通过计算机进行超大量计算，最终才得以解决了这个问题。
他们在进行了百亿次计算，在当时的各种计算机上计算了1200小时，计算程序先后修改了500余次，才最终找到了一组“不可避免可约图”。
↑返回顶部↑