现在,我试用待着色顶点移动法给二十面体进行着色如下:
这虽然是对一个具体图进行的可4—着色,但对证明四色猜测是否正确,却是一个至关重要的问题。现在,我就试用待着色顶点移动法给二十面体进行着色如下。
在一个所有顶点的度都是5—度的5—轮极大图染色困局构形中(如图0,这只是二十面体的各种染色困局中的一种,V是待着色顶点),待着色顶点的邻点(即围栏顶点)一定是5点4色的。而围栏顶点的邻点却有5点3色的和5点2色的两种(围栏顶点的邻点中,其中就有一个是待着色顶点,还未着色)。除此之外,图中其他的顶点的邻点都是5点3色的。若待着色顶点移动到一个5个邻点只占用了3种颜色的顶点上时,给新待着色顶点着上第4种颜色就可以了。问题也就得到了解决。否则,若待着色顶点移动到了一个5 个邻点已占用了4种颜色的顶点上时,仍然是染色困局,只得再对待着色顶点进行移动。
1、上述二十面体中待着色顶点的第一步移动:
① 把待着色顶点移向着色为4的围栏顶点(即峰点),或者移向另外两个颜色为1和2色的围栏顶点上,给原待着色顶点分别着以4,1,2(分别如图1,图2和图3)。新待着色顶点的围栏顶点所占用的颜色数都是4,待着色顶点都还需要再次移动。这一现象的出现,说明不管围栏顶点有没有5点3色的情况存在,在第一步移动时有可能是解决不了问题的,还需要进行第二步移动。
② 当第一步移动把待着色顶点分别移动到着有3色的两个同色的围栏顶点上时,则就分别得到有两个待着色顶点的构形(如图4和图5),更是麻烦,这里暂不去进行研究。
2、待着色顶点的第二步移动:
① 当在第一步移动时,待着色顶点移动到着色为4的峰点,第二步还可移动上去的新待着色顶点的围栏顶点有两个都是5点3色的,把第4种颜色给新待着色顶点着上即可(如图1—1和图1—2)。
② 而第一步移动到着色为1和着色为2的围栏顶点上时(如图2和图3),第二步可移动上去的新待着色顶点的邻点都是5点4色的,新的待着色顶点仍是一个染色困局。