四色定理

• 作者: antares
• 来源期刊: 科学FANS
• 年，卷（期）: 2019,（1）
• 所属期刊栏目: 数学之美
• 页码范围: 73
• 页数: 1页
• 语种: 中文

摘要

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