平面图的理论与四色问题(Ⅰ)——平面性与对偶性

四色问题是与数论中的Fermat猜想,函数论中的Riemann假设相提并论的数学难题。1976年,K.I.Appel和W.Haken在美国数学会的通报上声明借助电子计算机解决了这个问题。他们的基本方法是在所有平面图的可约构形中找出一个不可免的完备集。占用计算时间1200多个小时。这样的工作量是人工难以胜任的。另一方面,E.F.Mcore却发现了一个平面图,其任何一个可约构形的外圈长均至少为12。由此观之,这种方法不大可能作出本质上的简化以致达到人工通常所能胜任的地步。然而,如何只通过数学上的逻辑推理证明四色定理,仍是一个重要的理论课题。