四色猜想的简化证明

四色猜想的简化证明 ——陈晓明 2019-02-22 Email: [email protected] 简介 此证明是用人工以逻辑方法进行简化证明。根据拓扑学的原理,先对不规则的地图进行简化;证明的方式不是对地图上的国家直接进行证明, 而是先将图上的所有国家由西向东逐行拓扑变换,简化成一条条由南向北排列的水平“国家线”,再用现有的数学理论对每条“国家线”上的“国家点”进行分析归纳以证明。首先,从地
相关文章
相关标签/搜索