“不画图，不着色证明四色猜测”的要点

雷明85639720

“不画图，不着色证明四色猜测”的要点
雷  明
（二○一五年三月五日）

    1、把图中不相邻的顶点凝结到一起的过程叫同化，可同化在一起的顶点是可以着同一颜色的：
2、任何图同化的最后结果一定是一个顶点数不能再少的完全图，这就叫原图的最小完全同态，该完全同态的顶点数就是原图的色数；
3、任何图的最小完全同态的亏格都是小于等于原图的亏格的，所以亏格为0的平面图的最小完全同态的亏格也一定是0，即平面图的最小完全同态的也一定是一个平面图；
4、图的最小完全同态就是一个完全图，在平面图中只有K1，K2，K3和K4四个完全图，其色数分别是1，2，3，4，都是小于等于4的；
5、这就证明了四色猜测是正确的。

雷  明
二○一五年三月五日于长安

雷明85639720

,,,,,,,,

雷明85639720

，，，，，，，，

雷明85639720

,,,,,,,,

雷明85639720

，，，，，，，，

雷明85639720

，，，，，，，，

雷明85639720

,,,,,,,,

雷明85639720

，，，，，，，，

太平天下

楼主，你并没有证明，为什么任意平面图一定可以同化为完全图 K4 等啊！

雷明85639720

太平天下，请看我的《平任意图的最小完全同态的亏格一定小于等于原图的亏格和四色猜测的证明》一文，这里面就有为什么平面图的最小完全同态的顶点数一定是小于等于4的结论，也就是说平面图同化后的最终结果的顶点数一定是小于等于4的，顶点数小于等于4的完全图当然就只能是K1,K2,K3T K4，这里面就有K4在内。