四色定理证明

时间：2026-05-21 21:12:41来源：

四色定理指出：任何地图只需四种颜色即可确保相邻区域颜色不同。该定理于1852年提出，历经多年验证，最终在1976年由阿佩尔与哈肯通过计算机辅助完成证明。

四色定理的证明引发了关于“机器证明”是否可信的讨论，但也推动了图论与算法研究的发展。