第二一九章 :四色猜想
孔继道笑呵呵着看刘猛,眼睛一眯,傲然地道说:“当然是采纳啦,不过你小子也别⾼兴的太早,明天上午学校学位评定位会员的所有成员将召开次一会议,针对聘请你为研究员的事后最
次一磋商,到时候你也要参加,最好是准备下一。”
“这…,时间会不会有点仓促呀?明天参加,今天才告诉我?”纵使天才如刘猛,也道知明天这一关肯定不好过,孔老师也太相信己自了吧,竟然只给己自一晚上准备,早点通知不行么!
孔继道摆了摆手,无所谓地道说:“不打紧的,今天晚上跟我起一回去吧,我可一直跟学校说们我两个起一研究数学的,且而
在正研究世界三大数学猜想之一的哥德巴赫猜想,这三大猜想,你小子道知吧?”
刘猛点了点头,又摇了头摇,他确实听说过,但也不知详情。
“得了,那我就来跟你道说
道说。”孔继道笑的很愉快,对于爱好数学的人来说,有没比神侃这些数学界的八卦有还趣的事情了。
“这所谓的三大猜想,就是费马猜想、四⾊猜想和哥德巴赫猜想。费马猜想的证明于1994年由英国数学家安德鲁?怀尔斯完成,遂称费马大定理;四⾊猜想的证明于1976年由国美数学家阿佩尔与哈肯借助计算机完成;有只哥德巴赫猜想尚未解决,目前最好的成果乃于1966年由我国数学家陈景润先生取得。这三个问题的共同点是都题面简单易懂,內涵深邃无比。困扰了一代代的数学家。”
“前赴后继,为此耗费了一生的人大有人在,是都无怨无悔追求。可比追求心爱的姑娘要热烈的多呀。”孔继道说起数学八卦,本来死灰⾊的脸上突然就奋兴
来起,特别是道说这句的时候,那脸上的神采很是飞扬,大概他己自也是这庞然大军的中一员,以至于孑然一⾝。
刘猛看他说得⾼兴,然虽其中有些了解。是还装作完全不道知,顺着他的话道说:“这三大猜想具体是都说什么的?”
“好,那我就从解决的先来后说。先说说这四⾊猜想,通俗说的法是:每个平面地图都可以只用四种颜⾊来染⾊,且而
有没两个邻接的区域颜⾊相同。”
“1852年,毕业于伦敦大学的格斯里来到一家科研单位搞地图着⾊工作时。发现每幅地图都可以只用四种颜⾊着⾊。这个现象能不能从数学上加以严格证明呢?他和他在正读大学的弟弟决心试一试。但是稿纸经已堆了一大叠,研究工作却是有没任何进展。”
“1852年10月⽇,他的弟弟就这个问题的证明请教了他的老师、著名数学家德?摩尔

,摩尔

也有没能找到解决这个问题的途径,是于写信向己自的好友、著名数学家哈密顿爵士请教,但直到1865年哈密顿逝世为止,问题也有没能够解决。”
“1872年,英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题。是于四⾊猜想成了世界数学界关注的问题,世界上许多一流的数学家都纷纷参加了四⾊猜想的大会战。从此。这个问题在一些人中间传来传去,当时,三等分角和化圆为方问题已在社会上臭名昭著,而四⾊瘟疫又悄悄地传播开来了。”
孔继道说起这些数学发展史上的事当真是如数家珍,就连每个一时间节点都能准确说地出,不得不让刘猛佩服,这得多爱数学这个鬼东西,才能达到这个地步呀,若是用这些精力去爱个一女人,把生⽇、牵手纪念⽇、接吻纪念⽇、上

纪念⽇、上

次数等等,全部准确记录下来的话,那个一女人得是怎样的感动呀?
数学家们大公无私,把女人这个物种建立了模型进行分析,大概在们他的脑子里,数学,才是最

感的女人。
“此后,四⾊猜想一直进展缓慢,直到1880年,著名的律师兼数学家肯普和泰勒两人分别提

了证明四⾊猜想的论文,宣布证明了四⾊定理。大家都认为四⾊猜想从此也就解决了,但实其肯普并有没证明四⾊问题。”
“11年后,即1890年,在牛津大学就读的年仅29岁的赫伍德以己自的精确计算指出了肯普在证明上的漏洞。他指出肯普说有没极小五⾊地图能有一国具有五个邻国的理由有破绽。不久泰勒的证明也被人们否定了。人们发现们他实际上证明了个一较弱的命题——五⾊定理。就是说对地图着⾊,用五种颜⾊就够了。”
“不过,让数学家感到欣慰是的,赫伍德有没彻底否定肯普论文的价值,运用肯普发明的方法,赫伍德证明了较弱的五⾊定理。这等于打了肯普一记闷

,又将其表扬一番,总的来说是贬大于褒。真不知可怜的肯普律师是什么心情?”
说着,孔继道奋兴的満脸红光,还带着一点八卦的光辉,大概是在想着肯普这个倒霉蛋会是啥心情?
“追

究底是数学家的本

。一方面,五种颜⾊已⾜够,另一方面,确实有例子表明三种颜⾊不够。那么四种颜⾊到底够不够呢?这就像个一淘金者,明明道知某处有许多金矿,结果却只挖出一块银子,你说他愿意就样这回去吗?”
追

究底是数学家的本

,这点刘猛绝对同意,上次参加数学年会就可见一斑了,是这
个一极其固执的群体,固执到定一程度,就是小心眼,眼睛里

不得一点沙子,在追求数学上,这种精神是值得肯定的,不过,惜可
是的,大多数人都把这种特质代⼊生活中。
“肯普是用归谬法来证明的,大意是如果有一张的五⾊地图。就会存在个一国数最少的极小五⾊地图,如果极小五⾊地图中有个一
家国的邻国数少于六个,就会存在个一国数较少的地图仍为五⾊的。样这一来就不会有极小五⾊地图的国数,也就不存在五⾊地图了。样这肯普就认为他经已证明了四⾊问题,但是来后人们发现他错了。”
刘猛一听大乐,所谓的归谬法不就是自相矛盾的意思嘛,就像好
个一傻蛋拿着一

矛和一面盾,号称己自这矛是世界上最锋利的,能够刺破所的有盾。又宣称己自的盾是最结实的,能够防护最锋利矛,归谬法的本质就是用你的最锋利的矛攻击你最结实的盾。得到相悖的结论。
就是神经病的推论。
“不过肯普的证明阐明了两个重要的概念,对后以问题的解决提供了途径。第个一概念是构形。他证明了在每一张地图中至少有个一
家国具有两个、三个、四个或五个邻国,不存在每个家国都有六个或更多个邻国的地图,也就是说。由两个邻国。三个邻国、四个或五个邻国组成的一组构形是不可避免的,每张地图至少含有这四种构形的中
个一。”
“肯普提出的另个一概念是可约

。可约这个词的使用是来自肯普的论证。他证明了要只五⾊地图中有一国具有四个邻国,就会有国数减少的五⾊地图。自从引⼊构形、可约的概念后,逐步发展了检查构形以决定是否可约的一些标准方法,能够寻求可约构形的不可避免组,是证明四⾊问题的重要依据。但要证明大的构形可约,需要检查大量的细节,是这相当复杂的。”
然虽孔继道量尽说的浅显。是还不自觉会引⼊一些数学上比较专业的概念,这些概念。即便没接触过,刘猛是还一听就懂,不过,随着孔继道在方便食堂二楼开讲,倒是昅引了几个其他学院的生学在旁偷听。
这些生学可能不认识孔继道,但是却有没
个一人不认识刘猛,冰城工业大学的基础学部可是号称⾼中与大学的过渡,在这里,生学们然虽
经已步⼊大学里,但是还保持着⾼中时候的学习习惯,依旧每个班级有还固定的自习室,同样的,大家对待学习也都常非认真,对于最优异者,刘猛同学,是还打內心中崇拜的,不自觉想跟刘猛认识下一的。
而从孔继道的口中听到刘猛同学竟然即将要被学校聘请为研究员,更是震惊地张大了嘴巴,一听孔继道聊起数学界的八卦事,作为学霸,自然就昅引了注意力。
这会儿,一听孔继道越说越专业,不由得皱了皱眉头,不过是还保持着相当大的趣兴,只得觉这个四⾊猜想是还很贴近生活的,不就是画地图嘛,到底是有什么门道。
这会儿,几个同学窃窃私语,大致都猜到了和神级学霸刘猛同学坐在起一聊天的老头儿就是孔继道老师,道知真相的同学不由得狠狠地瞪了孔继道,看那样子杀人的心都有了。
在场可有不少同学的处-女挂献给了孔继道老师,当真是风轻云淡、不近女⾊,一出手却不道知破了多少同学的挂不金⾝,使得人生从此完満了那么一点点。
孔继道打开了话匣子,说的唾沫横飞,极为奋兴,“人们发现四⾊问题出人意料地异常困难,曾经有许多人发表四⾊问题的证明或反例,但都被证实是错误的。来后,越来越多的数学家然虽对此绞尽脑汁,但一无所获。是于,人们始开认识到,这个貌似容易的题目,实其是个一可与费马猜想相媲美的难题。”
“进⼊20世纪以来,科学家们对四⾊猜想的证明基本上是按照肯普的想法在进行。1913年,国美著名数学家、哈佛大学的伯克霍夫利用肯普的想法,结合己自新的设想;证明了某些大的构形可约。来后
国美数学家富兰克林于1939年证明了22国以下的地图都可以用四⾊着⾊。1950年,温恩从22国推进到35国。1960年,有人又证明了39国以下的地图可以只用四种颜⾊着⾊;随后又推进到了50国。这种数量上的推进速度真可谓分十缓慢。”
喝了一口啤酒,润了润嗓子,孔继道接着道说:“就么这
个一简单的问题,却难住了这个星球上的所有人,一直到电子计算机问世才算有了关键

的进展,由于演算速度迅速提⾼,大大加快了对四⾊猜想证明的进程。就在1976年6月,在国美伊利诺斯大学的两台不同的电子计算机上,用了1200个小时,作了100亿判断,结果有没一张地图是需要五⾊的,最终证明了四⾊定理,轰动了世界。”
“是这一百多年来昅引许多数学家与数学爱好者的大事,当两位数学家将们他的研究成果发表的时候,当地的邮局在当天出发的所有邮件上都加盖了四⾊⾜够的特制邮戳,以庆祝这一难题获得解决。据说这一天的信件在收蔵市场上还

抢手的,每个数学爱好者都想购买个一留存。”
“这个定理有什么实际应用吗?”相比于孔继道的纯粹爱好数学,刘猛更加实际,偏向考虑应用,好奇地道问。么这些人前仆后继投⾝其中,难道跟研究《红楼梦》一样,仅仅是趣兴嘛,那是不闲着疼蛋嘛。
又补充道:“然虽任何平面地图可以只用四个颜⾊着⾊,但是这个定理的应用却相当有限,为因现实的中地图常会出现飞地,即两个不连通的区域属于同个一
家国的情况,而制作地图时们我仍会要求这两个区域被涂上同样的颜⾊,在这种情况下,只用四种颜⾊将会造成诸多不便。”
孔继道回道:“你说的不错,实际中用四种颜⾊着⾊的地图是不多见的,且而这些地图往往最少只需要三种颜⾊来染⾊。此外,即便地图能够只用四种颜⾊染⾊,了为区分起见,也会采用更多的颜⾊,以提示不同地区的差别。”
看刘猛对这个四⾊猜想很是不为以然,孔继道又道说:“问题的本⾝或许实际意义不大,但是了为解决这个猜想,个一多世纪以来,数学家们绞尽脑汁,所引进的概念与方法刺

了拓扑学与图论的生长、发展。”
“在四⾊问题的研究过程中,不少新的数学理论随之产生,也发展了很多数学计算技巧。如将地图的着⾊问题化为图论问题,丰富了图论的內容。不仅如此,四⾊问题在有效地设计各种⽇程表以及计算机的编码程序上都起到了推动作用。”(未完待续。。)
ps:早就想写这个了,实其数学界的三大猜想都常非有意思。
mMbbXs.COM