的一些标准方法，是证明四色问题的重要依据。但要证明大的构形可约是相当复杂的。”

“哈肯与阿佩尔合作编制一个很好的程序，在1976年6月，在两台不同的电子计算机上，用了1200个小时，作了100亿判断，终于完成了四色定理的证明。”

展顾约说：“这个湖水的样式和四色问题是有点类似，湖面被切割成很多块。但是块数太少了，仍然有疑点。”

刘莫芝说：“或者是某种几何问题。”

董趋说：“不知道是不是其他的拓扑问题。”

拓扑学是??何学的??个分??，但是这种??何学??和通常的平????何、??体??何不同。通常的平????何或??体??何研究的对象是点、线、??之间的位置关系以及它们的度量性质。拓扑学对于研究对象的长短、????、??积、体积等度量性质和数量关系都??关。

余承说：“我们留个联系方式，如果姜先生联系，我们相互通知。”

展顾约说：“好的。”

他们找个位子坐下，和老板点个早点，油条，笋尖馄饨，豆沙方糕。