证明四色猜测应遵循的原则流程

雷明85639720

证明四色猜测应遵循的原则流程
雷  明
(二○二○年十一月十一日)

       下面我把我今于对张彧典先生发的一段话当作题为《证明四色猜测应遵循的原则流程》的文章发表于后：

老张朋友：
       我认为证明四色猜测的原则应是：
——从地图出发（地图是3—正则的平面图）；
——到极大的平面图（地图的对偶图是极大平面图）；
——再到“构形”（构形是非极大的百具体的平面图）；
——再到不可避免的5种构形（平面图中一定存在着度是小于等于5的顶点）；
——再到颜色冲突问题（构形的围栏顶点已点用了4种颜色的情况）；
——再到有、无双环交叉链的颜色冲突问题（无双不交叉链的坎泊已经解决，有双环交叉链的是主要解决的问题）；
——再到是否是能连续的移去两个同色的颜色冲突问题（能够连续移去的一定能解决问题，不能连续移去的才是需要重点解决的问题）；
——再到不能连续的移去两个同色的有双环交叉链的颜色冲突问题有、无经过了围栏顶点的环形链的问题（有环形链的用断链交换法解决，无环形链的用转型交换法解决，并证明最多的转型次数）；
——再到用转型演绎法构造颜色有双环交叉链的颜色冲突模型，并验证两种模型的解决办法与上述解决两种构形的办法完全相同，说明在极大平面图中的确是存在着以上的两种颜色冲突的构形的，并证明无环形链的颜色冲突模型的最多转型次数。证明颜色冲突模型的四色猜测是正确的；
——再把颜色冲突模型通过加顶加边或减顶加边的办法，返回到任意顶点数的极大平面图，证明任意顶点数的极大平面图的四色猜测是正确的；
——最后通过作对偶图的办法把任意顶点数的极大平面图再反回到地图。证明地图的四色猜测也是正确的。
       这是一个封闭的证明过程。从地图出发，又回到了地图。
——最后再对任意极大平面图再通过去顶减边的办法，得到任意顶点数的任意平面图，证明任意平面图的四色猜测也是正确的。
       这就是我最近提出的一套证明四色猜测的原则流程。应该说是再无任何漏洞了。整个证明过程是没有牵扯到任何具体的图的，只有用转型演绎的方法得出的两个颜色冲突的模型好象是具体的图，但它却是能代表了任何构形的非具体图的代表。

雷  明
二○二○年十一月十一日于长安

注：此文已于二○二○年十一月十一日在《中国博士网》上发表过，网址是：

雷明85639720

，，，，，，，，