我用simpley对四色猜测的证明方法，边增点边着色作一个二十面体的极大图

雷明85639720

我用simpley对四色猜测的证明方法，边增点边着色作一个二十面体的极大图
1、simpley用边增点边着色的办法对四色猜测进行证明，说他通过这种方法可以得到任意的已4—着色的平面图。我就要求他作一个已4—着色的二十面体对应的极大图，但他就是不作，因为我知道他是作不了的。我给他画了一个二十面体对应的平面图，并且进行了4—着色，要他用他证明的方法作出这样的指定图来。他不但作不出来，也对我所画的图不能进行4—着色。认为我已经着过色了，他也就不需要再着色了。但他并不知道除了我所着色的模式外，二十面体还会有很多个4—着色的模式的，因为他不会着色，所以他才不再着色的。所以我想，我在给他二十面体图的同时，不应该对其进行4—着色，他不是不着就不行了吗？我想他可能是在着色的过程中遇到了要着色的顶点周围顶点已占用完了四种颜色的情况，自已解决不了，所以他就一再强调我已着过了，他就不再着了。
2、现在我用与simpley其本相同的方法，边增顶点边着色，构造一个二十面体对应的极大图。顶点旁的数字是增点的顺序，顶点旁的A、B、C、D英文字母是增加顶点后就紧接着所着的颜色，到了最后的确是遇到了一个要着色的5度顶点周围顶点已占用完了四种颜色的情况（我们叫颜色冲突），我用坎泊的颜色交换技术进行了解决。

3、上图我用坎泊的颜色交换技术解决颜色冲突是这样的：顶点12周围已用完了四种颜色，B用了两次，我们不准备动它。从顶点10到其对角顶点11和顶点3，都没有连通的D—A链和连通的D—C链，所以我就从顶点3开始交换了C—D链（即把C换成D，把D换成C），空出了C，把C给顶点12着上即可。  
4、我想要simpley对几个图着色的目的，就是想让他知道还会遇到要着色的顶点的周围顶点会占用完四种颜色的情况，看他会不会处理。可他连什么是构形，谁是坎泊都不知道，他怎么会施行坎泊的颜色交换技术呢？所以他始终不给我着色，并且不想了解什么是坎泊的颜色交换技术，也不想了解在发生了颜色冲突的情况时，是如何处理的。而只是说他只想证明，不想着色。请问证明能离开着色吗？你就证明了，还不是要用着色进行检验吗？
5、我通过对图的着色，得出了无论用什么方法，怎么去着色，一定都是有可能遇到颜色冲突现象的，遇到了颜色冲突现象不是就不能解决了，而是可以通过施行坎泊的颜色交换技术，给发生了颜色冲突的顶点着上图中已用过的四种颜色之一的，使颜色冲突问题得到解决。这就需要有目的的构造颜色冲突问题的构形（并证明除此外再也没有别的颜色冲突构形了），解决了有限的颜色冲突问题的着色问题，四色猜测也就得到了解决。

雷明85639720

，，，，，，，，