“好，那我就从处理的前厥后讲，先说说这四色猜想，浅显的说法是：每个平面舆图都能够只用四种色彩来染色，并且没有两个毗邻的地区色彩不异。”
这会儿，几个同窗窃保私语，大抵都猜到了和神级学霸刘猛同窗坐在一起谈天的老头儿就是孔继玄门员，晓得本相的同窗不由得狠狠地瞪了孔继道，看那模样杀人的心都有了。
这些门生能够不熟谙孔继道，但是却没有一小我不熟谙刘猛，冰城产业大学的根本学部但是号称高中与大学的过渡，在这里，门生们固然已经步入大学里，但是还保持着高中时候的学习风俗，还是每个班级另有牢固的自习室，一样的，大师对待学习也都非常当真，对于最优良者，刘猛同窗，还是打内心中崇拜的，不自发想跟刘猛熟谙一下的。
看刘猛对这个四色猜想非常不觉得然，孔继道又说道：“题目的本身或许实际意义不大，但是为体味决这个猜想，一个多世纪以来，数学家们绞尽脑汁，所引进的观点与体例刺激了拓扑学与图论的发展、生长。”
“得了，那我就来跟你说道说道。”孔继道笑的很镇静，对于爱好数学的人来讲，没有比神侃这些数学界的八卦还风趣的事情了。
“这……，时候会不会有点仓促呀？明天插手，明天赋奉告我？”纵使天赋如刘猛，也晓得明天这一关必定不好过，孔教员也太信赖本身了吧，竟然只给本身一早晨筹办，早点告诉不可么！
喝了一口啤酒，润了润嗓子，孔继道接着说道：“就这么一个简朴的题目，却难住了这个星球上的统统人，一向到电子计算机问世才算有了关头性的停顿，因为演算速率敏捷进步，大大加快了对四色猜想证明的过程。就在1976年6月，在美国伊利诺斯大学的两台分歧的电子计算机上，用了1200个小时，作了100亿判定，成果没有一张舆图是需求五色的，终究证了然四色定理，颤动了天下。”
又弥补道：“固然任何平面舆图能够只用四个色彩着色，但是这个定理的利用却相称有限，因为实际中的舆图常会呈现飞地，即两个不连通的地区属于同一个国度的环境，而制作舆图时我们仍会要求这两个地区被涂上一样的色彩，在这类环境下，只用四种色彩将会形成诸多不便。”
“进入20世纪以来，科学家们对四色猜想的证明根基上是遵循肯普的设法在停止。1913年，美国闻名数学家、哈佛大学的伯克霍夫操纵肯普的设法，连络本身新的假想；证了然某些大的构形可约。厥后美国数学家富兰克林于1939年证了然22国以下的舆图都能够用四色着色。1950年，温恩从22国推动到35国。1960年，有人又证了然39国以下的舆图能够只用四种色彩着色；随后又推动到了50国。这类数量上的推动速率真可谓非常迟缓。”
“而后，四色猜想一向停顿迟缓，直到1880年，闻名的状师兼数学家肯普和泰勒两人别离提交了证明四色猜想的论文，宣布证了然四色定理。大师都以为四色猜想今后也就处理了，但实在肯普并没有证明四色题目。”
“1852年10月23日，他的弟弟就这个题目的证明就教了他的教员、闻名数学家德?摩尔根，摩尔根也没有能找到处理这个题目的路子，因而写信向本身的老友、闻名数学家哈密顿爵士就教，但直到1865年哈密顿去世为止，题目也没有能够处理。”
“这个定理有甚么实际利用吗？”比拟于孔继道的纯粹爱好数学，刘猛更加实际，方向考虑利用，猎奇地问道。这么些人前仆后继投身此中，莫非跟研讨《红楼梦》一样，仅仅是兴趣嘛，那不是闲着蛋疼嘛。