平面图的不可避免构形集.docVIP

PAGE PAGE 12 平面图的不可避免构形集 与四色猜测的证明 ——与同路人张彧典先生共同商讨 雷 明 （二○一○年十一月九日） 1、平面图的不可避免构形集 平面图的不可避免构形集也叫不可避免集。这个术语是在用坎泊的颜色交换技术证明四色猜测时常用到的一个术语。所谓不可避免，估名思义，就是在任意的平面图中，不可避免的至少都要存在这个集合中的某一个元素。这个集合中的各个元素就是平面图中的某些构形。 地图也是一个平面图，且是一个数3—正则的平面图，也一定存在着不可避免构形集。早在1879年坎泊就指出了任何地图中至少存一个这样的区域，这个区域被另外的一个，两个，三个，四个或五个区域所包围。这相当于在地图的对偶图——一个极大的平面图中总是存在着一个这样的顶点，这样的顶点的度是不大于4的，也即这样的顶点的数量是不可同时为0的。极大图是这样，非极大的平面图就更是这样了。即由顶点度d＝0，d＝1，d＝2，d＝3，d＝4和d＝5的顶点构成的集合就是平面图的不可避免集。 这个结论可以这样证明如下： 因为对于任何平面图来说有：e≤3v－6 图中所有顶点度的总和等于2e，即有：2e≤6v－12 图中各顶点的平均度为：d平＝2e / v≤（6v－12）/ v≤6－12/ v 当v趋于无穷时，对上式求极限得：d平＝≤6 平面图的顶点闰均度总达不到6，所以说任何平面图中至少存在着一个顶点的度是小于等于5的。任何平面图中顶点度小于等于5的顶点数是不可能同时为0的。 既是这样，所以我们就可以只对平面图中顶点度不大于5的顶点用坎泊的“最小五色地图”法证明该顶点（该顶点在对应地图中就是一个区域）是“可约的”，即该顶点可以着上该顶点以外的其他顶点已用过的四种颜色之一，就可以说四色猜测就得到了证明是正确的，否则，只要有在某一种情况下的顶点不可约时，猜测就是不正确的。 2、所谓构形和不可避免构形 估名思义，从汉语字面上讲，构形就可理解为结构有形式，简称“构形”。图的各种着色，一般都可以转化成给其图值函数（也是图）的顶点着色，特别是研究四色问题时，更是要对平面图的顶点着色了。比如，对地图（正则平面图）的面上的着色，就可以转化为对地图的对偶图（极大的平面图）的顶点着色。那么，研究图中各顶点的结构就是很有必要的。 图中的顶点各有什么不同之处呢，可以发现各个顶点的度都是不相同的，用度就能描画出各顶点的特征。一个顶点连同它所连接的边和顶点，也都构成一个分子图，我们把这个分子图就叫做“构形”。在极大图中这种构形一般是轮形图。轮形构形中有中心顶点，有轮沿顶点，王树禾教授的《图论》书中把这种中心顶点外的顶点叫构形的“围栏”。这样以来，平面图的不可避免构形集中的元素就是：0—轮构形（W0，即独立顶点，K1图），1—轮构形（W1，即单边图，K2图）2—轮构形（W2，即一条边有平行边的K3图）3—轮构形（W3，即K4图）4—轮构形（W4，偶轮）和5—轮构形（W5，奇轮）。这六种构形在任何平面图中的个数是不可能同时为0的，无论是那一种至少是要存在一个的，当然几个或几种或六种都有也是可能的。这六种构形就叫做平面图的不可避免构形。由不可避免构形所构成的集合就是平面图的不可避免构形集。但对于以顶点度大于5 的顶点为中心顶点所构成的构形，在一个平面图中可以一个都不存在，即是可以避免的，比如n≤4的完全图Kn中就不存在度d＞5的顶点。 3、平面图的不可避免构形集中到底有多少元素 1879年坎泊在对四色猜测的证明中，采用他创造的颜色交换技术证明了顶点度d≤4时都是可约的，唯对d＝5时的5—轮构形只证明了一种情况，就宣布他证明了四色猜测。可到了1890年时，赫渥特发现了坎泊的证明中存在“漏洞”，赫渥特构造了一个图，认为还有另外一种情况下的d＝5时的5—轮构形是“不可约”的。实际上5—轮构形的这一种情况也是可约的（在下面的第4个问题中我们还要专门进行证明）。另外赫渥特的图也是可4—着色的。只是当时赫渥特和坎泊都没有对含有5—轮构形的赫渥特进行4—着色，即没有对该图中的待着色顶点着上其外围顶点已用过的四种颜色之一而已。就这样，四色猜测的证明一下子就直到现在一百六十多年也没有得到一个彻底的证明。 大家认为，坎泊只所以没有证明5—轮构形是可约的，还是因为对构形分得不细。于是多少年来人们都集中于寻找可约的不可避免集上来。1950年Heesch估计不可避免的可约构形集合可能有10000多个元素（请注意，这里只是估计——笔者）；有人又把构形围栏顶点数扩大到了13（请注意，还没有扩大到无穷——笔者）；1976年美图的Appel和Hakend在计算机专业的研究生Koch的帮助下，用计算机花了1200个机器小时，验证了1936个可约构形的不可避免集，这些构形的围栏顶点数都不超过14，当年6月宣布了他们用计算机证明了