四色定理

四色定理提出至今已有170年，证明一直止步于1976年Appel结合计算机验证，至今仍有不少学者在追求纯人工的证明。在构建极大平面图的过程中，不同的连线染色顺序存在着不同位置的双色顶点，但是双色顶点总量一致。运用连线染色顺序，转换单色顶点和双色顶点的位置。每次构建，令双色顶点转移在闭环上，使单色顶点数量在闭环上始终小于4。进一步可证明单色顶点数量在闭环上始终小于4的构型可4-着色。（在完成极大平面图之前，每个平面图上存在着双色顶点。双色顶点数至少为闭环上顶点数减3。当平面图总点数大于3时，平均每增加一个点，多三条线，新顶点恰好有颜色可选择。当极大平面图构建完成时，所有的点至少可以是单色顶点。所... View More