些标准方法,是证明四色问题的重要依据。但要证明大的构形可约是相当复杂的。”
“哈肯与阿佩尔合作编制一个很好的程序,在1976年6月,在两台不同的电子计算机上,用了1200个小时,作了100亿判断,终于完成了四色定理的证明。”
展顾约说:“这个湖水的样式和四色问题是有点类似,湖面被切割成很多块。但是块数太少了,仍然有疑点。”
刘莫芝说:“或者是某种几何问题。”
董趋说:“不知道是不是其他的拓扑问题。”
拓扑学是?何学的?个分?,但是这种?何学?和通常的平??何、?体?何不同。通常的平??何或?体?何研究的对象是点、线、?之间的位置关系以及它们的度量性质。拓扑学对于研究对象的长短、??、?积、体积等度量性质和数量关系都?关。
余承说:“我们留个联系方式,如果姜先生联系,我们相互通知。”
展顾约说:“好的。”
他们找个位子坐下,和老板点个早点,油条,笋尖馄饨,豆沙方糕。