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

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

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

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

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

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

展顾约说：“好的。”

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