四色定理证明的新方法(百度文库)技术总结.doc

四色定理证明的新方法 梁增勇 摘要：本文用图论的方法证明了三角形结构连通图具有延伸和轮形两大的不可避免构形集。以及有它们组成的8个不可避免构形，它们的子图色数都≤4。通过分析这些构形的组合（图）的顶点颜色关系和运用顺序着色的方法完成图的正常4-着色。从而证明了三角形结构连通图（及平面连通图）的色数≤4。本文解决了切实可行的新方法对四色定理的书面证明，同时对四色定理的实际应用也具有一定的意义。 关键词： 三角形结构连通图； 不可避免构形集； 延伸结构； 轮形结构； 顺序着色法 1 前言 四色猜想是世界数学界关注的问题，给出四色定理无需借助于计算机的证明仍然是一个未获解决的数学难题。我们已知四色定理可以通过证明平面连通图G的色数≤4来实现。而平面连通图的色数不大于由它增加边而得到的三角形结构连通图G (triangulated graph) 的色数[1]。因此，只需证明任意三角形结构连通图的χ(G)≤4, 即可解决四色定理的证明难题。 2 三角形结构连通图 定义 1 如果一个简单图 G 它所有的内部的面都是C3 ,则称之为三角化图或三角形结构连通图[2]。 很明显，三角形结构连通图G可由平面连通图G 中内部所有长≥ 4 的圈增加边，使其所有内部面皆为C3而得。在图中增加边，只可能增加图的色数，所以χ(G’)≤χ(G) [2]。 图 1 平面连通图和三角形结构连通图 3 两大不可避免构形集 定义2 如果一个子图包括一个圈Cn-1和一个中心顶点v，v和其它所有圈的顶点都邻接，则称之为轮形结构（轮图），简称轮形,用Wn表示。不包含有轮形结构的三角形结构子图称为延伸结构，用En表示。 图 2 延伸结构和轮形结构 在图2 中我们展示了延伸结构和轮形结构以及它们的同构子图，其中方形的子图是本 文在分析中常用的形式。 定理 1. 三角形结构连通图仅有延伸和轮形两种结构方式。 证. (1) 一个三角形有三条边，它与其它三角形邻接的情况只有三种：a)有一条公共边； b)有两条公共边； c)有三条公共边。那么a和c属于延伸结构，b属于轮形结构。 图 2 一个三角形与其它三角形邻接的三种情况 (2)我们可以用逐个增加三角形来构造一个三角形结构子图（参见图3）。可用欧拉公式解释， 在一个面中增加三个顶点和三条边可得一个三角形（C3）,它是三角形结构连通图的最基本的单位结构，由于它的形状和子图色数以及延伸结构的定义，我们将它归属于延伸结构。同时，用欧拉公式可以证明再增加三角形仅有两种情况：a) 为了增加一个三角形面需要增加一个顶点和两条边（E4, E7） ； b)为了增加一个三角形面仅需要增加一条边。当仅为a的情况只可能产生延伸结构；当有b的情况会产生一个新的轮形结构（W4, W7）。（增加边数多于3 的情况不可能存在，因为新三角形仅有3 条边，且一条边必须是与旧三角形的公共边）（3）延伸结构和轮形结构之间的邻接组成的子图还是延伸结构或属于它们的并图，不会产生新的结构[3]。 图 3 增加一个三角形面与欧拉公式的关系 定理 2. 延伸结构子图色数等于3。 证 对n用归纳法。（1）当n=4时，χ(E4 )=3 。（2）假设χ(E n ) ≤4成立。那么增加顶点v n+1和两条边构成新的三角形, 顶点v n+1可使用与同在新三角形中的另两个顶点不同的颜色即可。所以E n+1的顶点所使用的的颜色种类集合还是在{1,2,3,4}范围之中，那么 χ(E n+1 ) ≤4也成立。 引理 1 轮图色数≤4 [4]。 以上说明，作为三角形结构连通图的不可避免构形集的两大类构形的色数都≤4 。下面我们研究以这两大类构形为子图所构造的三角形结构连通图是否色数也≤4 。 3 延伸结构和轮形结构的邻接 3.1 延伸结构与延伸结构: a) 如果它们的公共部分是一条边，则它们的并图是一个新的延伸结构； b) 如果它们的公共部分大于一条边（即等于或多于一个顶点和两条边），则产生新的轮形结构。 图 4 延伸结构与延伸结构的邻接 3.2 轮形结构和轮形结构邻接: 轮形和轮形邻接，基本不变。 图 5 轮形结构和轮形结构邻接 3.3 延伸结构和轮形结构邻接: 延伸结构和轮形结构邻，基本不变。 图 6 延伸结构和轮形结构邻接 4 图的简化和扩展 对于千变万化的复杂的三角形结构平面图我们必须找出对于它们具有代表性的简单可行的结构图，我们称之为简化图，而这一过程称之为图的简化。反之我们可以由简化图反向恢复为任何的复杂的原图，我们称之为图的扩展。 定义 4 .一个顶点和一条路径所有的顶点都邻接所成的子图称之为扇形结构，简称为扇形，用Fn 表示。显然它属于延伸结构， (Fn })=3。 最小 的扇形是F4 , 其次是F5.