四色定理

antares

只需要四种不同的颜色，就可以为任何平面地图染色，以保证任何两块相邻的区域不会使用相同的颜色。

这个1852年提出的猜想看似简单，却足足花了124年的时间，才终于在计算机的辅助下得到证明。最终的证明里使用纸笔将所有可能的平面地图分为1936类，并使用计算机进行了长达1200个小时的计算，确认了所有这些类别中最简单的模式都可以用至多四种颜色染色。

在数学家眼里，四色定理无疑是美的，而计算机给出的证明——即使数学家们已经用多种方式验证了证明的可靠性——无疑是丑陋的。不过换一种思路考虑，数学家们以纸笔跨越了无限到有限的鴻沟，才能用计算机完成冗长的计算，这也是一种魅力。