平面图3色可染一个充分条件.pdfVIP

亢莹利等：平面图3色可染的一个充分条件 在从定理 A到 Steinberg猜想的探索过程中，xu[9，加]和 Borodin等人 1【1]利用定理 B证 明了不 含相邻三角形和 5一和 7一圈的平面图是 3一可染的．这一结果蕴涵着如下结果． 定理 c 不含 4一，5一和 7一圈的平面图是 3一可染的． 关于平面图3一可染的其他充分条件可参见文献f12-22]．本文继续研究平面图3一可染的新充分条 件，在方法和技巧方面从不同角度做了些许新的尝试，利用定理B证明了一个 比定理 C更强的结果． 表述本文结果之前先引进一个概念．弦是指圈或路上不相继的两个顶点间的一条边．设 e=xy 是圈 的一条弦，P1，P2是 C上位于 和 Y之间的两条路．如果Ci= U{e)的长度是kt，i=1，2， 那么 e叫做 C 的一条 (k1，k2)一弦．用 9表示所有不含 4．和 5一圈的连通平面图形成的图类．本文将 证明如下结果。 定理 1 设 G∈ ．若对每一个 k∈{3，6，7)，G都不含 (k，7)一弦，则 G是3．可染的． 后面将会用到如下的术语和记号．设 G=(E，F)是一个平面图．对于V∈V，用d(v)和 N(v) 分别表示 在 G 中的度数和邻域．若 d(u)：k，则称 u是一个 k一点．类似地，若 d()≥k(d()≤南)， 则称V为一个 + 点 (k一．点)．对于 f∈F，用 V(f)和 b(f)分别表示 ，的顶点集和边界．边界b(f) 的长度记作 d(．厂)，叫做 ，在 G 中的度数．可像顶点那样定义 k一面、+一面和 k一．面的概念．用 ，0表 示 F 中含有无穷远点的那个面，叫做 G 的无界面或外面，F 中其余的面叫做 G 的内面．．厂0上的顶点 叫做 G 的外点，其余的顶点叫做 G的内点．若面 ，的边界点依某个时针方向依次为U1， … ．， ，则 记 f=f?A1It2… 】．若两个面 (或圈)jP和 ，至少有一条公共边，则称它们是相邻的．若它们恰有一 条公共边，则称它们是正常相邻的．用 11表示圈 的长度，即C 的边数．长度为 k的圈简称为 k一 圈．常将 3一圈叫做三角形．关联三角形的顶点和边分别叫做三角点和三角边．用 int(C)和 ext(C)分 别表示严格落在 C 内部和外部的点所形成的集合．由此， Int(C)=G—ext(C)，Ext(C)=G—int(C) 是G的两个点导出子图．若圈 满足 int(C)≠0和 ext(C)≠西，则称 C为分离圈．为简洁起见，今后 用 既表示圈C的顶点集 V(C)又表示它的边集 E(C)．由于本文所研究的图不含有 4一和 5一圈，把 (k，7)一弦，k∈f3，6，7 统称为 (7一，7)一弦． 最后，引进坏圈和好圈的概念．设 G=(E，F)是一个不含 4一，5一圈和 (7一，7)一弦的连通平面 图， C是 G中长度至多为 10的一个圈．若 Int(C)有子图 日以C为外面边界且与图1中的某个图同构， 则称 是坏圈 (这时 日叫做坏圈 C 的一个坏剖分)，否则称 C为好圈．根据坏圈的定义，若 C是坏 圈，则 ICl=9．因此，8一一和 l0一圈都是好圈． 因为 G不含 4一，5一圈和 (7一，7)．弦，下面的注是显而易见的． (b) 图 1 G 中的坏圈 410 中国科学 ：数学 第 43卷 第 4期 注 1 设 是 G 中的一个好 圈． (1)若 IC 『≤6或 ICI=8，则C无弦． (2)若 lCl=7，9，则 C至多有一条弦，且有一条弦时，这条弦为三角弦． (3)若 ICl：10，则C至多有两条弦．准确地说，若 C恰有一条弦，则这条弦是 (3，9)一或 (6，6)一弦 若 C恰有两条弦，则这两条弦全是 (3，9)一弦． 2 引理 为了证明定理 1，需证明一个 比定理 1更强的结论． 定理 2 设G∈ 且不含 (7一，7)一弦．若G的外面 ，0的边界6(fo)=D是一个好圈，则G[(D)] 的任意一个 3一染色都可延拓成 G 的一个 3．染色． 设 G是定理2关于 o(a)=I(G)l+1E(G)1最小的一个反例，其中 ，0是G的外面，且 ，0的