第二一九章：四色猜想
推荐阅读：神印王座II皓月当空、深空彼岸、明克街13号、最强战神、全职艺术家、第九特区、英雄联盟：我的时代、问道章、创业吧学霸大人、最强狂兵
小说书库 www.xssk.la，最快更新重生之神级学霸最新章节！
孔继道笑呵呵看着刘猛，眼睛一眯，傲然地说道：“当然是采纳啦，不过你小子也别高兴的太早，明天上午学校学位评定位会员的所有成员将召开一次会议，针对聘请你为研究员的事最后一次磋商，到时候你也要参加，最好是准备一下。”
“这……，时间会不会有点仓促呀？明天参加，今天才告诉我？”纵使天才如刘猛，也知道明天这一关肯定不好过，孔老师也太相信自己了吧，竟然只给自己一晚上准备，早点通知不行么！
孔继道摆了摆手，无所谓地说道：“不打紧的，今天晚上跟我一起回去吧，我可一直跟学校说我们两个一起研究数学的，而且正在研究世界三大数学猜想之一的哥德巴赫猜想，这三大猜想，你小子知道吧？”
刘猛点了点头，又摇了摇头，他确实听说过，但也不知详情。
“得了，那我就来跟你说道说道。”孔继道笑的很愉快，对于爱好数学的人来说，没有比神侃这些数学界的八卦还有趣的事情了。
“这所谓的三大猜想，就是费马猜想、四色猜想和哥德巴赫猜想。费马猜想的证明于1994年由英国数学家安德鲁?怀尔斯完成，遂称费马大定理；四色猜想的证明于1976年由美国数学家阿佩尔与哈肯借助计算机完成；只有哥德巴赫猜想尚未解决，目前最好的成果乃于1966年由我国数学家陈景润先生取得。这三个问题的共同点都是题面简单易懂，内涵深邃无比，困扰了一代代的数学家。”
“前赴后继，为此耗费了一生的人大有人在，都是无怨无悔追求，可比追求心爱的姑娘要热烈的多呀。”孔继道说起数学八卦，本来死灰色的脸上突然就兴奋起来，特别是说道这句的时候，那脸上的神采很是飞扬，大概他自己也是这庞然大军中的一员，以至于孑然一身。
刘猛看他说得高兴，虽然其中有些了解，还是装作完全不知道，顺着他的话说道：“这三大猜想具体都是说什么的？”
“好，那我就从解决的先后来说，先说说这四色猜想，通俗的说法是：每个平面地图都可以只用四种颜色来染色，而且没有两个邻接的区域颜色相同。”
“1852年，毕业于伦敦大学的格斯里来到一家科研单位搞地图着色工作时，发现每幅地图都可以只用四种颜色着色。这个现象能不能从数学上加以严格证明呢？他和他正在读大学的弟弟决心试一试，但是稿纸已经堆了一大叠，研究工作却是没有任何进展。”
“1852年10月23日，他的弟弟就这个问题的证明请教了他的老师、著名数学家德?摩尔根，摩尔根也没有能找到解决这个问题的途径，于是写信向自己的好友、著名数学家哈密顿爵士请教，但直到1865年哈密顿逝世为止，问题也没有能够解决。”
“1872年，英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题，于是四色猜想成了世界数学界关注的问题，世界上许多一流的数学家都纷纷参加了四色猜想的大会战。从此，这个问题在一些人中间传来传去，当时，三等分角和化圆为方问题已在社会上臭名昭著，而四色瘟疫又悄悄地传播开来了。”
孔继道说起这些数学发展史上的事当真是如数家珍，就连每一个时间节点都能准确地说出，不得不让刘猛佩服，这得多爱数学这个鬼东西，才能达到这个地步呀，若是用这些精力去爱一个女人，把生日、牵手纪念日、接吻纪念日、上床纪念日、上床次数等等，全部准确记录下来的话，那一个女人得是怎样的感动呀？
数学家们大公无私，把女人这个物种建立了模型进行分析，大概在他们的脑子里，数学，才是最性感的女人。
“此后，四色猜想一直进展缓慢，直到1880年，著名的律师兼数学家肯普和泰勒两人分别提交了证明四色猜想的论文，宣布证明了四色定理。大家都认为四色猜想从此也就解决了，但其实肯普并没有证明四色问题。”
“11年后，即1890年，在牛津大学就读的年仅29岁的赫伍德以自己的精确计算指出了肯普在证明上的漏洞。他指出肯普说没有极小五色地图能有一国具有五个邻国的理由有破绽。不久泰勒的证明也被人们否定了。人们发现他们实际上证明了一个较弱的命题——五色定理。就是说对地图着色，用五种颜色就够了。”
“不过，让数学家感到欣慰的是，赫伍德没有彻底否定肯普论文的价值，运用肯普发明的方法，赫伍德证明了较弱的五色定理。这等于打了肯普一记闷棍，又将其表扬一番，总的来说是贬大于褒。真不知可怜的肯普律师是什么心情？”
说着，孔继道兴奋的满脸红光，还带着一点八卦的光辉，大概是在想着肯普这个倒霉蛋会是啥心情？
“追根究底是数学家的本性。一方面，五种颜色已足够，另一方面，确实有例子表明三种颜色不够。那么四种颜色到底够不够呢？这就像一个淘金者，明明知道某处有许多金矿，结果却只挖出一块银子，你说他愿意就这样回去吗？”
追根究底是数学家的本性，这点刘猛绝对同意，上次参加数学年会就可见一斑了，这是一个极其固执的群体，固执到一定程度，就是小心眼，眼睛里揉不得一点沙子，在追求数学上，这种精神是值得肯定的，不过，可惜的是，大多数人都把这种特质代入生活中。
“肯普是用归谬法来证明的，大意是如果有一张的五色地图，就会存在一个国数最少的极小五色地图，如果极小五色地图中有一个国家的邻国数少于六个，就会存在一个国数较少的地图仍为五色的，这样一来就不会有极小五色地图的国数，也就不存在五色地图了。这样肯普就认为他已经证明了四色问题，但是后来人们发现他错了。”
刘猛一听大乐，所谓的归谬法不就是自相矛盾的意思嘛，就好像一个傻蛋拿着一根矛和一面盾，号称自己这矛是世界上最锋利的，能够刺破所有的盾，又宣称自己的盾是最结实的，能够防护最锋利矛，归谬法的本质就是用你的最锋利的矛攻击你最结实的盾，得到相悖的结论。
就是神经病的推论。
“不过肯普的证明阐明了两个重要的概念，对以后问题的解决提供了途径。第一个概念是构形。他证明了在每一张地图中至少有一个国家具有两个、三个、四个或五个邻国，不存在每个国家都有六个或更多个邻国的地图，也就是说，由两个邻国，三个邻国、四个或五个邻国组成的一组构形是不可避免的，每张地图至少含有这四种构形中的一个。”
“肯普提出的另一个概念是可约性。可约这个词的使用是来自肯普的论证。他证明了只要五色地图中有一国具有四个邻国，就会有国数减少的五色地图。自从引入构形、可约的概念后，逐步发展了检查构形以决定是否可约的一些标准方法，能够寻求可约构形的不可避免组，是证明四色问题的重要依据。但要证明大的构形可约，需要检查大量的细节，这是相当复杂的。”
虽然孔继道尽量说的浅显，还是不自觉会引入一些数学上比较专业的概念，这些概念，即便没接触过，刘猛还是一听就懂，不过，随着孔继道在方便食堂二楼开讲，倒是吸引了几个其他学院的学生在旁偷听。
这些学生可能不认识孔继道，但是却没有一个人不认识刘猛，冰城工业大学的基础学部可是号称高中与大学的过渡，在这里，学生们虽然已经步入大学里，但是还保持着高中时候的学习习惯，依旧每个班级还有固定的自习室，同样的，大家对待学习也都非常认真，对于最优异者，刘猛同学，还是打内心中崇拜的，不自觉想跟刘猛认识一下的。
而从孔继道的口中听到刘猛同学竟然即将要被学校聘请为研究员，更是震惊地张大了嘴巴，一听孔继道聊起数学界的八卦事，作为学霸，自然就吸引了注意力。
这会儿，一听孔继道越说越专业，不由得皱了皱眉头，不过还是保持着相当大的兴趣，只觉得这个四色猜想还是很贴近生活的，不就是画地图嘛，到底是有什么门道。
这会儿，几个同学窃窃私语，大致都猜到了和神级学霸刘猛同学坐在一起聊天的老头儿就是孔继道老师，知道真相的同学不由得狠狠地瞪了孔继道，看那样子杀人的心都有了。
在场可有不少同学的处-女挂献给了孔继道老师，当真是风轻云淡、不近女色，一出手却不知道破了多少同学的不挂金身，使得人生从此完满了那么一点点。
孔继道打开了话匣子，说的唾沫横飞，极为兴奋，“人们发现四色问题出人意料地异常困难，曾经有许多人发表四色问题的证明或反例，但都被证实是错误的。后来，越来越多的数学家虽然对此绞尽脑汁，但一无所获。于是，人们开始认识到，这个貌似容易的题目，其实是一个可与费马猜想相媲美的难题。”
“进入20世纪以来，科学家们对四色猜想的证明基本上是按照肯普的想法在进行。1913年，美国著名数学家、哈佛大学的伯克霍夫利用肯普的想法，结合自己新的设想；证明了某些大的构形可约。后来美国数学家富兰克林于1939年证明了22国以下的地图都可以用四色着色。1950年，温恩从22国推进到35国。1960年，有人又证明了39国以下的地图可以只用四种颜色着色；随后又推进到了50国。这种数量上的推进速度真可谓十分缓慢。”
喝了一口啤酒，润了润嗓子，孔继道接着说道：“就这么一个简单的问题，却难住了这个星球上的所有人，一直到电子计算机问世才算有了关键性的进展，由于演算速度迅速提高，大大加快了对四色猜想证明的进程。就在1976年6月，在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿判断，结果没有一张地图是需要五色的，最终证明了四色定理，轰动了世界。”
“这是一百多年来吸引许多数学家与数学爱好者的大事，当两位数学家将他们的研究成果发表的时候，当地的邮局在当天发出的所有邮件上都加盖了四色足够的特制邮戳，以庆祝这一难题获得解决。据说这一天的信件在收藏市场上还挺抢手的，每个数学爱好者都想购买一个留存。”
“这个定理有什么实际应用吗？”相比于孔继道的纯粹爱好数学，刘猛更加实际，偏向考虑应用，好奇地问道。这么些人前仆后继投身其中，难道跟研究《红楼梦》一样，仅仅是兴趣嘛，那不是闲着蛋疼嘛。
又补充道：“虽然任何平面地图可以只用四个颜色着色，但是这个定理的应用却相当有限，因为现实中的地图常会出现飞地，即两个不连通的区域属于同一个国家的情况，而制作地图时我们仍会要求这两个区域被涂上同样的颜色，在这种情况下，只用四种颜色将会造成诸多不便。”
孔继道回道：“你说的不错，实际中用四种颜色着色的地图是不多见的，而且这些地图往往最少只需要三种颜色来染色。此外，即便地图能够只用四种颜色染色，为了区分起见，也会采用更多的颜色，以提示不同地区的差别。”
看刘猛对这个四色猜想很是不以为然，孔继道又说道：“问题的本身或许实际意义不大，但是为了解决这个猜想，一个多世纪以来，数学家们绞尽脑汁，所引进的概念与方法刺激了拓扑学与图论的生长、发展。”
“在四色问题的研究过程中，不少新的数学理论随之产生，也发展了很多数学计算技巧。如将地图的着色问题化为图论问题，丰富了图论的内容。不仅如此，四色问题在有效地设计各种日程表以及计算机的编码程序上都起到了推动作用。”
孔继道笑呵呵看着刘猛，眼睛一眯，傲然地说道：“当然是采纳啦，不过你小子也别高兴的太早，明天上午学校学位评定位会员的所有成员将召开一次会议，针对聘请你为研究员的事最后一次磋商，到时候你也要参加，最好是准备一下。”
“这……，时间会不会有点仓促呀？明天参加，今天才告诉我？”纵使天才如刘猛，也知道明天这一关肯定不好过，孔老师也太相信自己了吧，竟然只给自己一晚上准备，早点通知不行么！
孔继道摆了摆手，无所谓地说道：“不打紧的，今天晚上跟我一起回去吧，我可一直跟学校说我们两个一起研究数学的，而且正在研究世界三大数学猜想之一的哥德巴赫猜想，这三大猜想，你小子知道吧？”
刘猛点了点头，又摇了摇头，他确实听说过，但也不知详情。
“得了，那我就来跟你说道说道。”孔继道笑的很愉快，对于爱好数学的人来说，没有比神侃这些数学界的八卦还有趣的事情了。
“这所谓的三大猜想，就是费马猜想、四色猜想和哥德巴赫猜想。费马猜想的证明于1994年由英国数学家安德鲁?怀尔斯完成，遂称费马大定理；四色猜想的证明于1976年由美国数学家阿佩尔与哈肯借助计算机完成；只有哥德巴赫猜想尚未解决，目前最好的成果乃于1966年由我国数学家陈景润先生取得。这三个问题的共同点都是题面简单易懂，内涵深邃无比，困扰了一代代的数学家。”
“前赴后继，为此耗费了一生的人大有人在，都是无怨无悔追求，可比追求心爱的姑娘要热烈的多呀。”孔继道说起数学八卦，本来死灰色的脸上突然就兴奋起来，特别是说道这句的时候，那脸上的神采很是飞扬，大概他自己也是这庞然大军中的一员，以至于孑然一身。
刘猛看他说得高兴，虽然其中有些了解，还是装作完全不知道，顺着他的话说道：“这三大猜想具体都是说什么的？”
“好，那我就从解决的先后来说，先说说这四色猜想，通俗的说法是：每个平面地图都可以只用四种颜色来染色，而且没有两个邻接的区域颜色相同。”
“1852年，毕业于伦敦大学的格斯里来到一家科研单位搞地图着色工作时，发现每幅地图都可以只用四种颜色着色。这个现象能不能从数学上加以严格证明呢？他和他正在读大学的弟弟决心试一试，但是稿纸已经堆了一大叠，研究工作却是没有任何进展。”
“1852年10月23日，他的弟弟就这个问题的证明请教了他的老师、著名数学家德?摩尔根，摩尔根也没有能找到解决这个问题的途径，于是写信向自己的好友、著名数学家哈密顿爵士请教，但直到1865年哈密顿逝世为止，问题也没有能够解决。”
“1872年，英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题，于是四色猜想成了世界数学界关注的问题，世界上许多一流的数学家都纷纷参加了四色猜想的大会战。从此，这个问题在一些人中间传来传去，当时，三等分角和化圆为方问题已在社会上臭名昭著，而四色瘟疫又悄悄地传播开来了。”
孔继道说起这些数学发展史上的事当真是如数家珍，就连每一个时间节点都能准确地说出，不得不让刘猛佩服，这得多爱数学这个鬼东西，才能达到这个地步呀，若是用这些精力去爱一个女人，把生日、牵手纪念日、接吻纪念日、上床纪念日、上床次数等等，全部准确记录下来的话，那一个女人得是怎样的感动呀？
数学家们大公无私，把女人这个物种建立了模型进行分析，大概在他们的脑子里，数学，才是最性感的女人。
“此后，四色猜想一直进展缓慢，直到1880年，著名的律师兼数学家肯普和泰勒两人分别提交了证明四色猜想的论文，宣布证明了四色定理。大家都认为四色猜想从此也就解决了，但其实肯普并没有证明四色问题。”
“11年后，即1890年，在牛津大学就读的年仅29岁的赫伍德以自己的精确计算指出了肯普在证明上的漏洞。他指出肯普说没有极小五色地图能有一国具有五个邻国的理由有破绽。不久泰勒的证明也被人们否定了。人们发现他们实际上证明了一个较弱的命题——五色定理。就是说对地图着色，用五种颜色就够了。”
“不过，让数学家感到欣慰的是，赫伍德没有彻底否定肯普论文的价值，运用肯普发明的方法，赫伍德证明了较弱的五色定理。这等于打了肯普一记闷棍，又将其表扬一番，总的来说是贬大于褒。真不知可怜的肯普律师是什么心情？”
说着，孔继道兴奋的满脸红光，还带着一点八卦的光辉，大概是在想着肯普这个倒霉蛋会是啥心情？
“追根究底是数学家的本性。一方面，五种颜色已足够，另一方面，确实有例子表明三种颜色不够。那么四种颜色到底够不够呢？这就像一个淘金者，明明知道某处有许多金矿，结果却只挖出一块银子，你说他愿意就这样回去吗？”
追根究底是数学家的本性，这点刘猛绝对同意，上次参加数学年会就可见一斑了，这是一个极其固执的群体，固执到一定程度，就是小心眼，眼睛里揉不得一点沙子，在追求数学上，这种精神是值得肯定的，不过，可惜的是，大多数人都把这种特质代入生活中。
“肯普是用归谬法来证明的，大意是如果有一张的五色地图，就会存在一个国数最少的极小五色地图，如果极小五色地图中有一个国家的邻国数少于六个，就会存在一个国数较少的地图仍为五色的，这样一来就不会有极小五色地图的国数，也就不存在五色地图了。这样肯普就认为他已经证明了四色问题，但是后来人们发现他错了。”
刘猛一听大乐，所谓的归谬法不就是自相矛盾的意思嘛，就好像一个傻蛋拿着一根矛和一面盾，号称自己这矛是世界上最锋利的，能够刺破所有的盾，又宣称自己的盾是最结实的，能够防护最锋利矛，归谬法的本质就是用你的最锋利的矛攻击你最结实的盾，得到相悖的结论。
就是神经病的推论。
“不过肯普的证明阐明了两个重要的概念，对以后问题的解决提供了途径。第一个概念是构形。他证明了在每一张地图中至少有一个国家具有两个、三个、四个或五个邻国，不存在每个国家都有六个或更多个邻国的地图，也就是说，由两个邻国，三个邻国、四个或五个邻国组成的一组构形是不可避免的，每张地图至少含有这四种构形中的一个。”
“肯普提出的另一个概念是可约性。可约这个词的使用是来自肯普的论证。他证明了只要五色地图中有一国具有四个邻国，就会有国数减少的五色地图。自从引入构形、可约的概念后，逐步发展了检查构形以决定是否可约的一些标准方法，能够寻求可约构形的不可避免组，是证明四色问题的重要依据。但要证明大的构形可约，需要检查大量的细节，这是相当复杂的。”
虽然孔继道尽量说的浅显，还是不自觉会引入一些数学上比较专业的概念，这些概念，即便没接触过，刘猛还是一听就懂，不过，随着孔继道在方便食堂二楼开讲，倒是吸引了几个其他学院的学生在旁偷听。
这些学生可能不认识孔继道，但是却没有一个人不认识刘猛，冰城工业大学的基础学部可是号称高中与大学的过渡，在这里，学生们虽然已经步入大学里，但是还保持着高中时候的学习习惯，依旧每个班级还有固定的自习室，同样的，大家对待学习也都非常认真，对于最优异者，刘猛同学，还是打内心中崇拜的，不自觉想跟刘猛认识一下的。
而从孔继道的口中听到刘猛同学竟然即将要被学校聘请为研究员，更是震惊地张大了嘴巴，一听孔继道聊起数学界的八卦事，作为学霸，自然就吸引了注意力。
这会儿，一听孔继道越说越专业，不由得皱了皱眉头，不过还是保持着相当大的兴趣，只觉得这个四色猜想还是很贴近生活的，不就是画地图嘛，到底是有什么门道。
这会儿，几个同学窃窃私语，大致都猜到了和神级学霸刘猛同学坐在一起聊天的老头儿就是孔继道老师，知道真相的同学不由得狠狠地瞪了孔继道，看那样子杀人的心都有了。
在场可有不少同学的处-女挂献给了孔继道老师，当真是风轻云淡、不近女色，一出手却不知道破了多少同学的不挂金身，使得人生从此完满了那么一点点。
孔继道打开了话匣子，说的唾沫横飞，极为兴奋，“人们发现四色问题出人意料地异常困难，曾经有许多人发表四色问题的证明或反例，但都被证实是错误的。后来，越来越多的数学家虽然对此绞尽脑汁，但一无所获。于是，人们开始认识到，这个貌似容易的题目，其实是一个可与费马猜想相媲美的难题。”
“进入20世纪以来，科学家们对四色猜想的证明基本上是按照肯普的想法在进行。1913年，美国著名数学家、哈佛大学的伯克霍夫利用肯普的想法，结合自己新的设想；证明了某些大的构形可约。后来美国数学家富兰克林于1939年证明了22国以下的地图都可以用四色着色。1950年，温恩从22国推进到35国。1960年，有人又证明了39国以下的地图可以只用四种颜色着色；随后又推进到了50国。这种数量上的推进速度真可谓十分缓慢。”
喝了一口啤酒，润了润嗓子，孔继道接着说道：“就这么一个简单的问题，却难住了这个星球上的所有人，一直到电子计算机问世才算有了关键性的进展，由于演算速度迅速提高，大大加快了对四色猜想证明的进程。就在1976年6月，在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿判断，结果没有一张地图是需要五色的，最终证明了四色定理，轰动了世界。”
“这是一百多年来吸引许多数学家与数学爱好者的大事，当两位数学家将他们的研究成果发表的时候，当地的邮局在当天发出的所有邮件上都加盖了四色足够的特制邮戳，以庆祝这一难题获得解决。据说这一天的信件在收藏市场上还挺抢手的，每个数学爱好者都想购买一个留存。”
“这个定理有什么实际应用吗？”相比于孔继道的纯粹爱好数学，刘猛更加实际，偏向考虑应用，好奇地问道。这么些人前仆后继投身其中，难道跟研究《红楼梦》一样，仅仅是兴趣嘛，那不是闲着蛋疼嘛。
又补充道：“虽然任何平面地图可以只用四个颜色着色，但是这个定理的应用却相当有限，因为现实中的地图常会出现飞地，即两个不连通的区域属于同一个国家的情况，而制作地图时我们仍会要求这两个区域被涂上同样的颜色，在这种情况下，只用四种颜色将会造成诸多不便。”
孔继道回道：“你说的不错，实际中用四种颜色着色的地图是不多见的，而且这些地图往往最少只需要三种颜色来染色。此外，即便地图能够只用四种颜色染色，为了区分起见，也会采用更多的颜色，以提示不同地区的差别。”
看刘猛对这个四色猜想很是不以为然，孔继道又说道：“问题的本身或许实际意义不大，但是为了解决这个猜想，一个多世纪以来，数学家们绞尽脑汁，所引进的概念与方法刺激了拓扑学与图论的生长、发展。”
“在四色问题的研究过程中，不少新的数学理论随之产生，也发展了很多数学计算技巧。如将地图的着色问题化为图论问题，丰富了图论的内容。不仅如此，四色问题在有效地设计各种日程表以及计算机的编码程序上都起到了推动作用。”