论文部分内容阅读
根据图论中对偶图原理将地图变成点线关系的平面图，就把四色地图着色问题化归为平面图的点着色问题--再化解成程序图化的逐点着色方法；以一百多年前希伍德(P.Heawood)举出的25阶反例(当时他以此说明四色猜想不成立，仅五色定理成立)为例，进行四色地图着色。严谨的理论根据是：《“四色定理”论证》、<四色定理论证的关键>和<平面图的点着色方法>三篇论文。