四色定理的世纪谜题：为什么只用四种颜色就能绘制任何地图？

最近青小蛙发现了一个小游戏，规则非常简单：为一幅地图着色，相邻的两地不能使用相同的颜色。从而引出了一个 172 年前的问题：“是否只用四种颜色就能为所有地图着色？

四色定理是什么？

四色定理（英语：four color theorem）又称为四色地图定理（英语：four color map theorem），是一个数学定理：如果在平面上划出一些邻接的有限区域，那么可以用四种颜色来给这些区域染色，使得每两个邻接区域染的颜色都不一样。

“是否只用四种颜色就能为所有地图染色？”的问题最早是由南非数学家法兰西斯·古德里在1852年提出的，被称为“四色问题”或“四色猜想”。

1976年，数学家凯尼斯·阿佩尔和沃夫冈·哈肯借助电子计算机首次得到一个完全的证明，四色问题也终于成为四色定理。这是首个主要借助计算机证明的定理。

这个小游戏给了你几张区域地图，有英国、非洲、南美洲、北美洲，你需要点击不同的地方，就能着色，尽可能的用最少的颜色着色，但规则依旧是相邻的两地不能同色：

并且，有一道题是让你尝试画出需要 5 种颜色的地方，为「非常困难」，想挑战一下的可以试试。

我是完全没有想到这件事也有数学定理，人（shu）类（xue）太有趣了。

原文：https://www.appinn.com/four-color-maps/