三七二十一
LUCKY !

定理内容

任何平面地图只需四种颜色着色,使得相邻区域颜色不同。1852年由 Guthrie 提出,1976年首次用计算机辅助证明。

Any planar map can be colored with 4 colors.

历史证明

Appel 和 Haken 在1976年借助计算机检查了1936个特殊情况,这是数学史上第一个大规模计算机证明。

First major computer-assisted proof (1976).

有趣事实

球面/平面地图只需4色,但画在环面(甜甜圈面)上的地图可能需要多达7种颜色。无需计算机的简单证明至今未发现。

返回