1919年，美国数学家乔治·伯克霍夫（Gee birkhoff）取得重大突破，他利用肯普的换色法思想，发现了新的可约构形，并证明了“含有环形区域的地图是四色可染的”。这一成果为后续研究提供了关键工具，也确立了“构形可约化”的核心研究路径 。此后，数学家们开始逐步扩大可证明的地图范围：1922年，富兰克林（Franklin）证明了最多包含25个区域的地图四色可染；1940年，温恩（winn）将这一数字提升至35；1968年，挪威数学家奥尔（ore）等人证明了90个区域以内的地图满足四色猜想；1975年，牧野（mayer）进一步将上限推至100个区域 。
这些局部突破虽然不断缩小着反例可能存在的范围，但始终未能覆盖所有地图。随着区域数量的增加，不可免构形的数量呈指数级增长，仅靠人工计算已难以穷尽。此时，新兴的计算机技术为这一百年难题带来了新的曙光——通过编程让计算机自动筛选不可免构形并验证其可约性，成为突破瓶颈的唯一选择。
第二章 四色猜想的数学基础：从地图到图论的抽象转化
2.1 核心定义的严格化：什么是“地图”与“着色”
要理解四色猜想的基本原理，首先需要对“地图”和“着色”进行严格的数学定义，避免因直观认知导致的逻辑模糊。在四色猜想的研究中，地图需满足以下三个条件：
1. 区域连通性：每个区域（对应现实中的国家或地区）必须是连通的，即不能出现“飞地”（一个区域被另一个区域完全包围且不相连的部分）。若存在飞地，可将飞地视为独立区域单独着色，再与主体区域保持同色，因此飞地不影响四色猜想的本质结论。
2. 邻接关系定义：两个区域相邻的充要条件是它们共享一条长度非零的边界（即公共边），仅共享一个或多个孤立点（如三个国家在一个顶点交汇）的区域不视为相邻。这一定义避免了“饼图式”地图（多个区域共享一个中心点）导致的无限着色需求。
3. 有限性约束：地图的区域数量为有限个，且每个区域的边界由有限条线段组成，排除了具有无限周长的“病态区域”（这类区域可能需要超过四种颜色）。
而“着色”的数学本质是一个映射关系：设颜色集合为{1,2,3,4}，着色函数φ将每个区域R映射到颜色集合中的一个元素，即φ(R)∈{1,2,3,4}，且对任意两个相邻区域R?和R?，满足φ(R?)≠φ(R?)。四色猜想的核心就是证明：对于所有满足上述条件的平面地图，这样的着色函数一定存在。
2.2 关键转化：地图的对偶图与平面图着色
四色猜想之所以能从一个地理直观问题转化为严格的数学问题，核心在于“对偶图”这一概念的引入。通过对偶图转化，地图着色问题被等价为图论中的“平面图顶点着色问题”，而后者拥有成熟的理论工具（如欧拉公式、图的平面性判定定理）可供利用。
对偶图的构造方法极为简洁，遵循“区域→顶点、邻接→边”的对应规则 ：
- 对于地图中的每个区域，在其内部放置一个点（称为顶点）；
- 对于每一对相邻的区域，用一条线段连接它们对应的顶点（称为边），且这条线段仅穿过两个区域的公共边界，不与其他边交叉。
通过这一转化，原地图的着色问题等价于对偶图的“顶点着色问题”：给对偶图的每个顶点分配颜色，使得相邻顶点（由区域邻接关系转化而来）的颜色不同，且所需颜色总数不超过四种。此时，四色猜想可重新表述为：任何简单平面图（对偶图必为简单平面图）的顶点色数（最小着色所需颜色数）不超过4。
这一转化的关键意义在于，它将地理空间中的区域关系抽象为数学空间中的图结构，使得四色猜想能够借助图论的公理和定理进行严格证明。更重要的是，图论中的“平面图”概念具有明确的拓扑性质，这为后续利用欧拉公式推导平面图的结构约束奠定了基础。
2.3 欧拉公式：平面图的结构性约束
要证明平面图的顶点色数不超过4，首先需要揭示平面图的内在结构约束——任意平面图都存在度数（顶点连接的边数）不超过5的顶点。这一结论的证明核心的是图论中着名的欧拉公式，它建立了平面图的顶点数（V）、边数（E）和区域数（F）之间的本质联系 。
欧拉公式的原始形式为：对于连通的简单平面图（无多重边、无自环），满足V - E + F = 2。这一公式是拓扑学的基础定理之一，反映了平面嵌入的本质特征——无论如何绘制平面图，其顶点、边、区域之间的数量关系始终保持不变。
利用欧拉公式，可推导出平面图的关键性质：任意连通简单平面图中，必存在一个顶点的度数≤5。推导过程如下 ：
1. 由于每