四色猜想的简化证明
——陈晓明 2019-02-22
Email: jhcgwx@163.com
简介
此证明是用人工以逻辑方法进行简化证明。根据拓扑学的原理,先对不规则的地图进行简化;证明的方式不是对地图上的国家直接进行证明, 而是先将图上的所有国家由西向东逐行拓扑变换,简化成一条条由南向北排列的水平“国家线”,再用现有的数学理论对每条“国家线”上的“国家点”进行分析归纳以证明。首先,从地图西边界起至东边界止、沿着南边界 、将地图上的所有国家由南向北变换成N条逐行排列的水平直线——“国家线”,每条国家线上有相应的M个“国家点”。然后,先用数学基本理论证明单条“国家线”上的“国家点”最少能用2个颜色间分;再隔行着色:奇数行“国家线”上的“国家点”用A组C1和C2的2个颜色间分、偶数行“国家线”上的“国家点”用B组C3和C4的2个颜色间分,因为奇数行的“国家线”与偶数行的“国家线”相互间隔区分,A、B两组颜色可重复再用,所以依此依序分别能用AB两组的4个颜色来间分地图上所有奇数行和偶数行“国家线”上的“国家点”。
问题
四色猜想的内容是:“平面上任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色”。即:“平面上任何一张地图中具有共同边界的国家最少能用4个颜色来间分(间隔及区分)”。
证明
地图上的每一个国家的图形都是平面上有限的任意形状及任意大小且封闭的图形(图A, 图B)。设某张地图上有Q个国家,可用A组C1、C2及B组C3、C4的4个颜色来间分。
**1、**先将平面上地图中的Q个国家设为“形状不同且紧密相联”的Q个“国家点”,根据拓扑学原理