四色问题是由谁提出来的？

最新问答

• 小肥羊洋阳

  关于问题，有一个很有趣的小。

  19世纪末期，有一位很著名的数学家叫闵可夫斯基。一天，他刚走进教室，一个就递上一张小纸条。小纸条上写着：“如果把地图上共同边界的都涂成不同的颜色，那么，画一幅地图只用4种颜色就够了。您能解释其中的道理吗？”

  闵可夫斯基笑了笑。对们说：“这个问题叫做问题，是一个著名的数学难题。其实，它之所以一直没有得到解决，那仅仅是由于没有第一流的数学家来解决它。”说完拿起粉笔，要当堂解决这个问题。

  ……下课的铃声响了，闵可夫斯基没能当堂解决这个问题，于是下一节课又去解答。一连好几天，他都未能解决这个问题，弄得进退两难，十分尴尬。

  有一天上课时，闵可夫斯基刚跨进教室，忽然雷声大作，震耳聋，他赶紧抓住机会，自嘲地说：“瞧，上帝在责备我狂妄自大呢。我解决不了这个问题。”

  闵可夫斯基确实够“狂妄自大”了。别看谁都能弄懂问题的意思，可要解决它，并不比攀登珠穆朗玛峰容易多少。

  相传，问题是由一个叫格思里的英国绘图员提出来的。

  1852年，格思里在绘制英国地图时发现，如果给相邻的地区涂上不同的颜色，那么，只用4种颜色就足够了。他把这个发现告诉给正在里念书的弟弟，希望能解释一下其中的道理。弟弟认真研究了这个问题，结果，他既不能证明的结论是正确的，又不能否定这个结论，于是就向、著名英国数学家德?摩尔根请教。

  德?摩尔根也解释不出其中的道理。写信将这个问题告诉给另一位著名数学家哈密顿。德?摩尔根认为，像哈密顿那样聪明的人，一定很快就能给予证明的……

  问题一直未能得到解决。1878年，当时英国最有名的数学家凯利，正式向伦敦数学会提出了这个问题，这才引起数学界的重视。

  事情的进展颇具戏剧性。不到一年，一个叫肯泊的律师就发表了一篇论文，声称他已经证明了问题。人们以为这件事情就此完结了。谁知到1890年，数学家赫伍德却在肯泊的文章里找出一处错误，指出他的证明实际上是不能成立的。

  赫伍德乘胜前进，证明了地图着色的“五色定理”。也就是说，如果给相邻的地区涂上不同的颜色，那么，画一幅地图只用5种颜色就行了。

  可是，绘制一幅地图明明只要4种颜色就足够了呀！越来越多的数学家投身于证明问题的工作，但却一无所获。人们这才意识到，这个看上去极其简单的题目，实际上是一道与德猜想一样的超级数学难题。

  进入20世纪后，证明问题的工作逐渐取得了进展。1939年，美国数学家富兰克林证明：对于22国以下的地图，可以只用4种颜色着色。1950年，有人得出证明：对于35国以下的地图，可以只用4种颜色着色。1968年，有人得出证明：对于39国以下的地图，可以只用4种颜色着色。1975年，又有人得出证明：对于52国以下的地图，也可以只用4种颜色着色。

  为什么进展这样缓慢呢？一个主要的困难，就是数学家们提出的检验方法太复杂，难以实现。早在1950年，有人猜测说，如果要把情况分细到可以完成证明的地步，大约得分1000多种情况才行。这样的工作量太繁重了。

  计算机问世以后，人类的计算能力得到了极大的提高。事情出现了一线转机。可是，在1970年，有人提出了一种证明问题的方案，如果用当时最快的计算机来算，也得不停地工作10万个小时，差不多要11年。

  11年，对于计算机来说，这个任务也太艰巨了。

  谁知不到7年，1976年9月，《美国数学会通告》就宣布了一个震撼世界数学界的消息：美国数学家阿佩尔和哈肯，采用简化了的证明方案，将地图的问题转化为1482个特殊图的问题，利用IBM360计算机工作了1200多个小时，作了100亿个判断，终于证明了问题是正确的。

  从此，问题变成了定理。

  这是人类首次依靠计算机的帮助解决的著名数学难题。

  人类靠机器“完成了人没有能够完成的事情”，由此带来了一系列的新问题：怎样检验阿佩尔和哈肯的证明呢？显然，这还得靠计算机。难道计算机就不会出现差错吗？……

  有些数学家问：能不能给出一个简洁的手算证明？另一些数学家则反问：数学定理的证明一定要手算的证明才算是证明吗？

  围绕着问题的计算机解决，引出了许多重大的问题。有人说，它很可能成为数学思想发展史上一系列新想法的起点。

  浏览 220赞 104时间 2024-05-05
• bluefiresky0

  “只需要四种颜色为地图着色”最初是由法兰西斯·古德里在1852年提出的猜想。

  浏览 438赞 103时间 2022-08-31