四色猜想的证明(四色猜想)

您好,蔡蔡就为大家解答关于四色猜想的证明，四色猜想相信很多小伙伴还不知道,现在让我们一起来看看吧！

1、四色猜想现在应该叫四色定理，已经得到严格证明了的。

2、问题中的图形，实际上只需要两种颜色就可以完全区分开来，说明提问者对于四色定律还没有理解。

3、四色定理（世界近代三大数学难题之一），又称四色猜想、四色问题，是世界三大数学猜想之一。

4、四色定理的本质正是二维平面的固有属性，即平面内不可出现交叉而没有公共点的两条直线。

5、很多人证明了二维平面内无法构造五个或五个以上两两相连区域，但却没有将其上升到逻辑关系和二维固有属性的层面，以致出现了很多伪反例。

6、不过这些恰恰是对图论严密性的考证和发展推动。

7、计算机证明虽然做了百亿次判断，终究只是在庞大的数量优势上取得成功，这并不符合数学严密的逻辑体系，至今仍有无数数学爱好者投身其中研究。

8、人们发现四色问题出人意料地异常困难，曾经有许多人发表四色问题的证明或反例，但都被证实是错误的。

9、后来，越来越多的数学家虽然对此绞尽脑汁，但一无所获。

10、于是，人们开始认识到，这个貌似容易的题目，其实是一个可与费马猜想相媲美的难题。

11、进入20世纪以来，科学家们对四色猜想的证明基本上是按照肯普的想法在进行。

12、四色定理的本质就是在平面或者球面无法构造有五个或者五个以上的两两相连的区域，如果有五个以上两两相连区域，第五个区域至少与一个区域同一种颜色。

13、这个理论在其他构造中是显然的，例如在环面上（亏格为1），需要7色，就是因为环面不能构造8个两两相连区域。

14、在亏格为2的双环面上，需要8色，就是不能构造9个区域两两相连。

15、1913年，美国著名数学家、哈佛大学的伯克霍夫利用肯普的想法，结合自己新的设想；证明了某些大的构形可约。

16、后来美国数学家富兰克林于1939年证明了22国以下的地图都可以用四色着色。

17、1950年，温恩从22国推进到35国。

18、1960年，有人又证明了39国以下的地图可以只用四种颜色着色；随后又推进到了50国。

19、看来这种推进仍然十分缓慢。

20、[5] 计算机证明高速数字计算机的发明，促使更多数学家对“四色问题”的研究。

21、电子计算机问世以后，由于演算速度迅速提高，加之人机对话的出现，大大加快了对四色猜想证明的进程。

22、就在1976年6月，在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿个判断，结果没有一张地图是需要五色的，最终证明了四色定理，轰动了世界。

23、[2] 这是一百多年来吸引许多数学家与数学爱好者的大事，当两位数学家将他们的研究成果发表的时候，当地的邮局在当天发出的所有邮件上都加盖了“四色足够”的特制邮戳，以庆祝这一难题获得解决。

24、但证明并未止步，计算机证明无法给出令人信服的思考过程。

本文就讲到这里，希望大家会喜欢。