证明四色定理图

朱明君

雷明85639720

朱明君朋友：
1、你上面的着色是对的。
2、但你没有说明是如何进行交换的。是在我原图的基础上交换颜色得来的？还是在我原图裸图（不着色）的基础上，自已另着的。
3、我的着色是：
4、看到图中在与未着色区域（或顶点）相邻的区域（或顶点）中有连通的A—C链和A—D链，两链既有共同的起始顶点（或区域）A，又有相交叉的顶点（或区域）A。肯定是不能空出A、C、D三种颜色之一给V的；
5、若从一个B色区域（或顶点）交换关于B的链后，都就会生成从另一个B色区域（或顶点）到其对角区域（或顶点）的连通链，这样，也一定不能空出B给V的；
6、但又发现图中有一条经过了构形围栏顶点（或区域）的环形的A—B链，把C—D链分隔成了环内、环外两个互不连通的两部分，交换任一条C—D链都不会影响到另一部分C—D链；
7、交换了A—B环内的一条C—D链后，图中便没有了既有共同起始顶点和交叉顶点的连通链，虽然A—C链和A—D链仍然存在和连通，但却没有相交叉的顶点了。变成了可以连续的移去两个同色B的构形了。
8、然后连续的交换两个关于B的链，就可以连续的移去两个B，把B给V着上。
9、我的着色步骤如图。

雷明85639720

看不明白你是如何把我的图转化成你的简化图的。

雷明85639720

1、同样的，在构形中存在经过围栏顶点的C—D环形链时，也是可以用上贴中这种方法解决的。
2、但图中不存在经过围栏顶点的环形链时，就得用转型交换法了，即交换关于B的链，每交换一次，构形的类型就发生一次改变。
3、那么最大交换多少次就够了呢？就必须进行证明了。不证明这一点是不行的。
4、因为我画的那个图（埃雷拉图）在进行转型交换时，每二十次转型是一个周期，是一个无穷周期转型的构形。但这个构形中有经过了围攻栏顶点的环形链。而我们这里所说的构形则是无经过围栏顶点的环形链的构形，所以一定会在第二十次转型之前转化成可约的K—构形的。证明完毕。

雷明85639720

1、各构件都代表什么意思呀？
2、请你先不要这样过早的下结论，请指出我的证明中的问题所在！