[原创]对四色问题证明新思路——两类元素化简法

雷明85639720

朋友，我上一贴中我感到还有点问题：我只说明了含有K4团（密度为4）的平面图同化的最后结果一定是一个K4图，但平面图中还有不含K4团的图，它们的密度（最大团的顶点数就叫图的密度）都小于4，是不是也能同化成为一个密度比K4图小的团呢。我们说可以。平面图中以每个顶点为中心都构成了一个轮，轮的密度都是3，偶轮同化结果是K3团，而奇轮同化结果则是K4团，这样图中就有了K4团，再同化时最后一定也是一个K4图。还有，若平面图的密度是2时，如图中只含圈，偶圈同化的结果是K2团，奇圈同化的结果是一个K3团，图同化的最终结果也只能是一个K3图，K3图只用三种颜色，那么该图也只用三种颜色就够了。只含偶轮的图同化的结果也一定是一个K3图，也只用三种颜色就够了。对于不含圈的树，密度也是2，同化的结果只能是K2团，两种颜色也就用了。只含奇圈的图同化的结果也一定是一个K2团，两种颜色也就够用了。至于密度为1的繁星图，各顶点均不相邻，一种颜色就够用了。把这一贴与上一贴合起来，也就证明了任何平面图着色时四种颜色也一定够用了。四色猜测得证是正确的。雷明补充

技术员

下面引用由雷明85639720在 2012/09/01 01:38pm 发表的内容：
“我可能只是说明了为什么用4种颜色就能区分任何图的原因，而不算是证明。”这句话是矛盾的。前半句“我可能只是说明了为什么用4种颜色就能区分任何图的原因”应该说就应是证明，因为“说明原因”就应是证明的过 ...

“原因”改为"大概原因“了。

雷明85639720

这“大概”二字一增加，那句话就没有问题了。很好。雷明