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

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

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

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

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

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

展顾约说：“好的。”

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