四色定理

< 1 >

四色定理是说，只用四种颜色就可以给地图上的任何两个相邻国家涂上相同的颜色。

该定理的成立条件是：每个国家都是一个整体，并且位于拓扑上等同于平面或球面的表面上。

五个国家及其图结构

这个问题被简化为 1,936 种具体情况，然后全部由计算机计算出来。这样，他们提供了数学中第一个计算机辅助证明--这是一个里程碑，在当时引起了广泛的讨论。

四色定理于 1976 年由肯尼斯-阿佩尔和沃尔夫冈-哈肯证明。