三角形结构连通图的两大不可避免结构集.doc

三角形结构连通图的两大不可避免构形类集 ￣￣￣延伸结构和轮形结构 梁增勇 （广西妇幼保健院，530003） 摘要：不可避免构形集是解决四色定理书面证明方法的关键，本文用图论的方法去研究找出了三 角形结构连通图的两大不可避免构形类集: 延伸结构和轮形结构。为解决四色定理的书面证明找到切实可行的新方法。 关键词: 三角形结构连通图；轮形结构；延伸结构；不可避免构形类集 中图分类号：o157.7 1 前言 四色猜想是世界数学界关注的问题，曾被列为近代三大世界数学难题。 1878年著名的律师兼数学家肯普(Alfred Kempe)和泰勒(Peter Guthrie Tait)两人分别提交论文，宣布证明了四色定理。1890年希伍德（Heawood）指出“肯普链”方法的缺陷，通过修补肯普的证明得到了著名的五色定理[1][2]。1976年，美国数学家阿佩尔（Appel）和哈肯（Haken）找到了一种新的放电程序，构造了一个含有1960个构形的不可避免集，借助于高速电子计算机证明了四色猜想成立，并在《美国数学学会通报》上宣布证明了四色定理，从此四色猜想成了四色定理。数学家并不满足于四色定理的计算机证明，仍然在寻找一种简捷明快的书面证明方法。然而给出四色定理无需借助于计算机的证明仍然是一个未获解决的问题[1][3]。 我们已知，著名的地图着色问题可以化成平面图的色数问题。在图论中可使用通过证明所有连通平面图的色数≤4来证明四色定理。而解决四色定理书面证明方法的首要关键和困难之所在是无法找出并证明一个为数不多的不可避免构形集[8]。本文为此目的用图论的方法将连通图转化为三角形结构连通图，同时找出了三角形结构连通图的 延伸结构和轮形结构两大不可避免构形类集，并对它的构形特性进行深入研究，为解决四色定理的书面证明寻找一个切实可行的新方法。 2定义和概念 2.1图正常顶点着色的定义和概念 定义1 如果使用n种颜色把平面图G的每顶点分配一种颜色，且使得邻顶异色，则称 此为对图G的正常顶点着色。图G的色数是指G的任何正常着色所需要的最小颜色数量，用χ(G)表示。色数为k的图成为k色图。c(G)表示图G的颜色种类集合。c(v i)表示顶点v i的颜色 [3][5]。本文中顶点的四种颜色分别用a,b,c,d或黑色、白色、深灰色和浅灰色来表示。当图G为4色图时，c (G)={a,b,c,d}，χ(G)= 4。证明四色定理，就是要证明任一平面图χ(G)≤ 4 。本文有关图论的其它定义请参见图论教科书。 2.2连通图和三角形结构连通图 定义2 无割点的非平凡连通图称为无分支连通图（块） [5]。在无分支连通图的边界内部增加边，将所有的内多边形面变为三角形，所得之图就是三角形结构连通图，我们用G’ 表示。它的最小面结构就是三角形结构。三角形结构连通图和三角剖分图的区别就是：三角形结构连通图由外圈顶点和边构成的面是一个多边形，而三角剖分图所有的面都是三角形。例如在图1中，G是无分支连通图；G’和G’’’是三角形结构连通图；G’’是三角剖分图。 图1 连通图和三角形结构连通图 2.3 有关引理 引理1[6] 每个平面图皆可加上一些新边而得到三角剖分图，而添加新边只能使色数不减, 甚至变大。 推理1 任何多边形结构的无分支连通图G 都可以在其顶点间增加边变成三角形结构连通图G’，其图色数不会减少, 甚至变大。即 χ(G’)≥χ(G) （1） 证 令图G是无分支连通图，图G’是图 G 增加边e i ={u j, u k}, (u j, u k∈V(G))导出的三角形结构连通图，则 G’= G + E (e i ) 很明显，增加边e i 就增加对顶点u j 和u k 的限制，要求c(u j)≠c(u k)。假如原来在图G中 c(u j)=c(u k)，或者在图G’ 中可以调整c(u j)或c(u k)为另外一种图G包含的颜色 ,那么 χ(G’)=χ(G) ；否则c(u j)或c(u k)需要图G 没有的新的颜色满足c(u j)≠c(u k)，那么χ(G’)＞χ(G)。证毕。 3 不可避免构形类集 3.1不可避免构形类集的定义和原则 3.1.1不可避免构形类集的定义 定义 三角形结构连通图可以导出不同的子图，或者说三角形结构连通图是由这些子图合并而成的并图。所有这些子图就是不同或相同的构形。如果我们能够制定严格的特征标准，可以将这些构形严格明确区分成为不同的构形类别，那么，我们就称这些不同的构形类别为构形类。在三角形结构连通图中所包括的不同特征的构形类，就组成三角形结构连通图的不可避免构形类集。 3.1.2不可避免构形类集的定义原则 为了证明的正确