、三个、四个或五个邻国，不存在每个国家都有六个或更多个邻国的正规地图，也就是说，由两个邻国，三个邻国、四个或五个邻国组成的一组构形是不可避免的，每张地图至少含有这四种构形中的一个。肯普提出的另一个概念是‘可约性’。他证明了只要五色地图中有一国具有四个邻国，就会有国数减少的五色地图。自从引入构形、可约的概念后，逐步发展了检查构形以决定是否可约的一些标准方法，是证明四色问题的重要依据。但要证明大的构形可约是相当复杂的。”
“哈肯与阿佩尔合作编制一个很好的程序，在1976年6月，在两台不同的电子计算机上，用了1200个小时，作了100亿判断，终于完成了四色定理的证明。”
展顾约说：“这个湖水的样式和四色问题是有点类似，湖面被切割成很多块。但是块数太少了，仍然有疑点。”
刘莫芝说：“或者是某种几何问题。”
董趋说：“不知道是不是其他的拓扑问题。”
拓扑学是?何学的?个分?，但是这种?何学?和通常的平??何、?体?何不同。通常的平??何或?体?何研究的对象是点、线、?之间的位置关系以及它们的度量性质。拓扑学对于研究对象的长短、??、?积、体积等度量性质和数量关系都?关。
余承说：“我们留个联系方式，如果姜先生联系，我们相互通知。”
展顾约说：“好的。”
他们找个位子坐下，和老板点个早点，油条，笋尖馄饨，豆沙方糕。
<!--17K::-->
喜欢铸工先锋请大家收藏：(www.630zww.com)铸工先锋【630中文网】更新速度全网最快。
