接这两个顶点。
这样，地图着色问题就等价于给图的顶点着色，使得相邻顶点颜色不同，且总共不超过四种颜色。
也就是说证明任何平面图中都必然包含某些特定子图结构，这些结构无法避免出现。
那么对于每种不可避免的配置，证明如果一个大图包含这种配置，可以通过简化，例如移除或合并某些顶点或边，将其转化为更小的图，且不影响四色定理的成立。
这样就把这个问题简化了。”
林燃接着说：“当然四色问题不止这些。
我们还需要引入一个叫放电法的图论技术。它是我基于肯佩教授的链方法和希伍德教授在证明五色地图定理过程中对图的顶点度、面度分析的方法后思考出来的一种新的方法。”
林燃简单介绍了一下链方法和五色定理的证明后接着说：
“放电法的核心思想可以分为三个步骤：
第一个是初始电荷分配，我们给图中的每个顶点或面分配一个初始电荷。
电荷的数值通常与顶点的度数或面的度数相关。”
（度数是指连接到该顶点的边数，边数是指面边界上的边数）
“例如，一个常见的分配方式是给每个顶点v分配电荷6deg(v)，其中deg(v)是顶点的度数。
第二个是放电规则，设计一组规则，允许电荷在顶点或面之间转移。
如果一个顶点的度数较低，它可以从相邻的度数较高的顶点借电荷；度数较高的面将电荷分配给度数较低的相邻面”
“最后是电荷调整后的分析。
在应用放电规则后，检查每个顶点或面的最终电荷。通过分析电荷分布，可以证明图中某些特定配置，例如某些子图或环，必然存在，或者某些性质必然成立”
林燃最后总结道：“最后我们只需要把放电法应用在四色问题上就可以了。
先根据平面图的欧拉公式V-E+F=2，这里V是顶点数，E是边数，F是面数，就能推到出平均面度必定小于6.
所以我们可以给每一个面f分配初始电荷为def(f)-6，def(f)是面的度数。
然后放电规则允许电荷在面之间或者定点与面之间转移。
通过放电过程，我们能够证明某些特定配置会导致负电荷出现。这些配置构成一个不可避免集，即任何平面图中都至少包含其中一种配置。
那么在四色定理的证明中，我们只需要通过放电
本章未完，请点击下一页继续阅读！