四色定理

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