用不同方法证明四色猜测.docVIP

PAGE PAGE 22 用不同方法证明四色猜测 中国·西安 高级工程师 雷 明 （二○一○年七月二十四日） 摘 要：用三种不同的方法证明了四色猜测是正确的。同时也说明了任何历史难题人工都是可以解决的，并且解决的办法是有多种。 关键词：四色猜测 坎泊颜色交换技术 5—轮构形 顶独立集 完全同态 图的密度 欧拉公式 赫渥特公式 图的亏格 四色定理 我总是认为：任何问题的解决，总不是只有一种办法，而是一定有多种办法的，四色猜测的证明也是这样。下面就是分别用着色法、图论法和数学推导法对四色猜测的证明。 一、着色法证明四色猜测 这一方法基本上是坎泊早已使用的方法。 1、用坎泊的颜色交换技术证明5—轮构形的可约性 坎泊早已证明了任何地图中至少存在着一个国家的邻国数小于等于5，这相当于平面图中至少存在着一个顶点的度小于等于5。二者分别就是地图和平面图的不可避免构形集。有了这个有限元素的不可避免构形集，我们就可以只证明少量的有限个构形的可约性（即可4—着色性），就可以得到猜测是正确还是错误的结论。这是因为任何地图或平面图中一定存在着其不可避免集中的一种或几种，一个或几个。 1879年坎泊证明中的漏洞是没有彻底证明5—轮构形是不是可约的，而1976年阿贝尔的验证中尽管用了大量的所谓构形，但正好也就缺少了5—轮构形。所以，现在我们还要对5—轮构形是否可约进行证明，才能为进一步证明猜测打下坚实的基础。我们这里的证明仍旧用的是坎泊创造的颜色交换技术。 在着色过程中往往会遇到这样的情况，当一个顶点周围的所有顶点均已着上了最少数量的颜色时，能否给这个顶点着上已用过的颜色之一色，或者说能否给该顶点着上全图总共不超过四种的颜色之一。这就是坎泊证明中所说的以该顶点为中心的构形是否“可约”的问题。坎泊已经证明了未着色顶点处于2—轮，3—轮，4—轮中心顶点的构形是可约的，我们这里仍用坎泊所创造的颜色交换法来证明未着色顶点处于5—轮中心的5—轮构形也是可约的。 当5—轮构形的中心顶点V以外的顶点已使用了四种颜色，且5—轮构形的轮沿顶点也已用去了四种颜色时，5—轮构形对角链间的关系只可能有如图1的几种。 图1，a中没有连通的对角链，从任何一个只使用了一次的颜色的顶点开始进行与其对角顶点所着颜色的色链的交换，即可空出一种颜色给未着色顶点v着上； 图1，b中只有一条连通的对角链r—g（或r—y，用虚线表示），可从顶点2或5（或顶点2或4）开始进行b—y链（或b—g链）的交换，即可空出b或y（或b或g）给v着上（因为在连通的对角链上进行交换是空不出颜色的，所以不能交换r—g链和r—y链）； 图1，c中只有一条连通的对角链b—y（或b—g，也用虚线表示），可从顶点2或4（或顶点2或5）开始进行b—g（或b—y）链的交换，即可空出颜色b或g（或b或y）给v着上； 图1，d中有两条连通且相交叉的对角链r—g和r—y，交叉点着b色，可从顶点2或5（或顶点2或4）开始进行b—y或（b—g）链的交换，即可空出b或y（或b或g）给v着上； 图1，e中有两条连通且相交叉的对角链b—g和b—y，交叉点是顶点2，着b色；图1，f中也有两条连通且相交叉的对角链b—g和b—y，但两链的交叉点有两个或多个，除了顶点2外，还有另外一个交叉点顶点8和其他顶点，也都着b色。看来这两个图似乎也可以如同图1，d那样，分别从两个着r色的顶点1和3开始进行r—g链和r—y链的交换，空出r给v着上。但在进行这样的交换时，使b—g链和b—y链中的一些顶点必然会由g和y变成r，这些顶点有可能在图中本来就是直接相邻的（如图1，g和图1，h），而相邻的顶点着同一颜色显然是不允许的。这样，就不可能同时移去两个r，这时若对b—g链或b—y链进行交换又是没有意义的，似乎是空不出颜色给v着上。真的5—轮构形中的中心顶点v没有办法着上已用过的四种颜色之一了吗，真的就没有办法了吗？不是的，办法还是有的。 我们可以想办法使图1，g和图1，h变成图1，a的形式，让图中不存在任何连通的对角链，然后再按图1，a的交换办法给v着上已用过的四种颜色之一。图1，g和图1，h中的两条连通的对角链是相交叉的，且顶点6和7是直接相邻的，两链共同的顶点（即交叉顶点）都着色是b。只要想办法改变这交叉顶点之一的颜色（要改变这任一个交叉顶点的颜色，就必须从该顶点开始交换两条交叉链共有的颜色与共同没有的颜构成的色链b—r，以破坏两链的交叉性与连通性），或者从顶点6和7开始对g—y链进行交换，分别破坏两链的连通性，就可使图变成图1，a的形式，使图中不存在任何连通的对角链。这样，图1，g和图1，h分别就变成了图2，a，图2，b和图2，c，图2，d图2，e五图了，它们都是图1，a的模式，图中不存在任何连通的对角链。这时再任意进行一次别的链