“不过肯普的证明阐明了两个重要的概念，对以后问题的解决提供了途径。第一个概念是构形。他证明了在每一张地图中至少有一个国家具有两个、三个、四个或五个邻国，不存在每个国家都有六个或更多个邻国的地图，也就是说。由两个邻国。三个邻国、四个或五个邻国组成的一组构形是不可避免的，每张地图至少含有这四种构形中的一个。”
“肯普提出的另一个概念是可约性。可约这个词的使用是来自肯普的论证。他证明了只要五色地图中有一国具有四个邻国，就会有国数减少的五色地图。自从引入构形、可约的概念后，逐步发展了检查构形以决定是否可约的一些标准方法，能够寻求可约构形的不可避免组，是证明四色问题的重要依据。但要证明大的构形可约，需要检查大量的细节，这是相当复杂的。”
虽然孔继道尽量说的浅显。还是不自觉会引入一些数学上比较专业的概念，这些概念。即便没接触过，刘猛还是一听就懂，不过，随着孔继道在方便食堂二楼开讲，倒是吸引了几个其他学院的学生在旁偷听。
这些学生可能不认识孔继道，但是却没有一个人不认识刘猛，冰城工业大学的基础学部可是号称高中与大学的过渡，在这里，学生们虽然已经步入大学里，但是还保持着高中时候的学习习惯，依旧每个班级还有固定的自习室，同样的，大家对待学习也都非常认真，对于最优异者，刘猛同学，还是打内心中崇拜的，不自觉想跟刘猛认识一下的。
而从孔继道的口中听到刘猛同学竟然即将要被学校聘请为研究员，更是震惊地张大了嘴巴，一听孔继道聊起数学界的八卦事，作为学霸，自然就吸引了注意力。
这会儿，一听孔继道越说越专业，不由得皱了皱眉头，不过还是保持着相当大的兴趣，只觉得这个四色猜想还是很贴近生活的，不就是画地图嘛，到底是有什么门道。
这会儿，几个同学窃窃私语，大致都猜到了和神级学霸刘猛同学坐在一起聊天的老头儿就是孔继道老师，知道真
-->>(第4/6页)（本章未完，请点击下一页继续阅读）