四色定理：给地图上色只需四种

题目

给一张平面地图（国家任意形状、任意相邻）上色，要求有公共边界的相邻国家颜色不同。最少需要几种颜色，才能保证任何地图都够用？

答案与解析

答案是 4 种。这就是四色定理（Four Color Theorem）。

反例说明 3 种不够：四个国家两两相邻（如三个环绕一个中心国）就需要 4 色。而 4 种总能搞定——无论地图多复杂。

它 1852 年由格思里提出，困扰数学界百余年。1976 年，阿佩尔（Appel）与哈肯（Haken）把问题归约到约 1936 种“不可避免的构型”，用计算机逐一验证“可约性”，首次依靠计算机穷举完成证明。当年争议不小（“这算数学证明吗？”），如今已被反复独立验证。

背后的数学

它属于图论中的平面图染色。把国家当顶点、相邻连边，问题变成“平面图色数 ≤ 4”。它催生了图染色理论与 discharging 方法，也打开了“计算机辅助证明”的大门——如今从开普勒猜想到很多组合定理，都站在它开创的范式之上。