最大度是5的可平面图的边染色
五色定理的证明

五色定理的证明一、地图的染色性质地图的染色性质是图论中的基本概念之一,它描述了地图上顶点的颜色分配问题。
在一个地图中,任意两个相邻的顶点都应该被染上不同的颜色,以保证它们在图形中的唯一性。
二、五色定理的表述五色定理是指任何一个平面图都可以用最多五种不同的颜色进行染色,使得任意两个相邻的顶点都有不同的颜色。
三、图的顶点染色方法图的顶点染色方法可以采用递归染色法,也可以采用贪心染色法。
在递归染色法中,先将一个顶点染上颜色,然后递归地染其他顶点;在贪心染色法中,先尽可能地选择颜色最少的顶点染上颜色,然后尽可能地选择颜色最少的顶点染上颜色,直到所有的顶点都被染上颜色为止。
四、染色方法的应用染色方法的应用十分广泛,可以用于解决诸如图的最大色数、图的最优染色方案等优化问题。
在五色定理中,我们可以用贪心染色法来解决图的顶点染色问题,得到一个最优的染色方案。
五、反证法证明五色定理可以通过反证法来证明。
假设存在一个平面图G,其顶点数大于5,且无法用五种不同的颜色进行染色。
那么我们可以从G 中选取一个顶点数最少的子图H,使得H的顶点数大于5且无法用五种不同的颜色进行染色。
但是,我们可以将H进行适当的拆分和合并,得到一个与H同构的图,且该图的顶点数小于等于5,从而得到矛盾。
因此,假设不成立,五色定理成立。
六、计算顶点染色方案计算顶点的染色方案可以采用贪心算法或动态规划算法。
在贪心算法中,我们先按照颜色种类递增的顺序将所有的顶点染上颜色,如果某个顶点的颜色与它相邻的顶点的颜色相同,则重新选择一种颜色。
在动态规划算法中,我们先将所有的子问题按照大小进行排序,然后从最小的问题开始解决,直到解决所有问题为止。
具体实现方式可以根据问题的具体情况进行调整。
七、结论和总结通过以上证明和计算,我们可以得出结论:任何一个平面图都可以用最多五种不同的颜色进行染色。
这个结论对于解决图的优化问题具有重要的意义。
同时,通过反证法和贪心算法等数学工具的应用,我们可以得到一个最优的染色方案。
图论中的平面图与染色问题

图论中的平面图与染色问题图论是数学的一个分支,研究的是图的性质和图之间的关系。
在图论中,平面图与染色问题是重要的研究方向。
一、平面图平面图是指可以在平面上画出的图,其中任意两条边都不相交,任意两个顶点之间都只有一条边相连。
平面图可以用来描述许多实际问题,如地图、电路等。
在平面图中,有一个重要的定理,即欧拉定理。
欧拉定理是数学家欧拉在1736年提出并证明的,它给出了平面图中顶点数、边数和面数的关系。
根据欧拉定理,对于连通的平面图,满足公式:V - E + F = 2,其中V表示顶点数,E表示边数,F表示面数。
二、染色问题染色问题是图论中的一个经典问题,即给定一个图,如何用有限种颜色对图的各个顶点进行染色,使得相邻的顶点之间的颜色不相同。
这是一种常见的应用问题,如地图着色、课程表安排等。
在染色问题中,有一个重要的定理,即四色定理。
四色定理是染色问题中的一个著名定理,它指出任何平面图都可以用至多四种颜色对其顶点进行染色,使得相邻的顶点颜色不同。
三、平面图与染色问题的关系平面图与染色问题之间有着紧密的联系。
通过合理的染色方案,可以将一个平面图的顶点进行染色,满足相邻顶点颜色不同的要求。
同时,染色问题的解法与平面图的结构和性质也有关系。
在研究平面图与染色问题时,可以通过绘制平面图的平面嵌入图来分析和求解染色问题。
平面嵌入图是平面图在平面上的一种表示形式,可以把平面图的顶点和边绘制在平面上,形成一种更加直观的图形。
在解决染色问题时,可以借助平面嵌入图的结构和特性,通过一定的算法进行染色。
例如,可以利用贪心算法对顶点进行依次染色,确保相邻顶点染不同的颜色。
四、应用举例平面图与染色问题在实际中有广泛的应用。
一个典型的例子是地图着色问题。
在地图上,每个国家或地区可以用一个顶点表示,国家或地区之间的边表示它们的相邻关系。
通过对地图进行染色,可以实现相邻国家或地区的颜色不同,从而更加方便地辨认。
另一个例子是课程表安排问题。
有关图的染色问题的研究

nj j 1
.
引理 3[2 ] 设 G 为阶为 v ,边数为 e 的Δ2 临界图. (1) 若 3 ,则 e (5v 1) / 4 ; (2) 若Δ = 4 ,则 e 5v / 3 ; (3) 若 5 ,则 e 2v 1 ; (4) 若 6 ,则 e (9v 1) / 4 ;
同的颜色, 所以对任意图 G 的边色数有 ' G , 其中 指图 G 的最大度。 1964 年,苏联数学家 V.G.Vizing 给出了关于图边染色的一个突破性结论,他指出了 简单图 G 的边色数与度之间的关系。 Vizing 定理: 任意(简单, 无向) 图 G 的边着色数 (edge chromatic number)
在将近半个世纪的漫长岁月里, 人们一直在为解决简单图的分类问题做着不 懈的努力。解决一般图的分类问题相当困难,因此人们关心平面图等特殊图的分 类问题。对于简单平面图,1965 年,Vizing 自己证明了,如果 8 则是第一类 的。而对于 2,3, 4,5 的情况则同时有第一类和第二类的图存在。比如,把正多 面体的其中一边截成两条,即可得到 3, 4,5 的平面图,都有 G C 2 ;而任何长 度是奇数的圈 ( 比如三角形 ) 就是 2 的第二类图。并对剩余的两种情况, Vizing 也提出了猜想。 平面图 Vizing 猜想:任何简单平面图如果 6 7, e(G) v (G) ,则是 第一类的。 对于 7 的情况,在 2001 年 Sanders & Zhao 给出了肯定的结果:G C1 。 而对于 6 的情况,至今尚未解决。 2.3 一些结论 首先介绍几个常用的引理. 引理 1 (Vizing 邻接引理) 设 G 为 临界图,且 uv E (G), d (v) k , 则有 (1) 若 k , u 至少相邻于 G 的 k 1 个度数为 的顶点; (2) 若 k , u 至少相邻于 G 的两个度数为 的顶点. 引理 2[2 ] 若 G 为 临界图( ≥3) ,则 n 2
平面图的无圈边染色

34 9
淮阴师范学院学报 ( 自然科学 )
第l O卷
性质 l 如果 图 G是平 面图并且 它 的 围长 为 g, Ma( )< 则 dG
. 文 [] 见 8.
引理 2 如 果 图 G的 Ma( )<4且 ( dG , G)≥ 2 则 图 G至少包 含下 面几 种情况 之一 . ,
的颜色 , 以及 图 G中不含 有 2色 圈 , . 换句 话说 即图 G 中任何 染 两种 颜 色 的边 的 导 出子 图是 一 棵 森林 . 关键 词 : 圈染 色 ;平面 图;围长 ;最 大平 均度 无
中图分类 号 : 175 O 5 . 文献标 识码 : A 文章 编号 :6 1 8 6 2 1 )50 9 .6 17 . 7 ( 0 10 .3 30 6
0c .2 1 t 01
平面图的无圈边染色
段娟娟 ,丁 伟
( 中国矿业大学 理学院 , 江苏 徐州 2 11) 2 16
摘 要 : 用差 值转 移的方 法证 明 了, 利 如果 g( ) 4则有 X, GI > ≤△( +4 图 G=( , 是 简 G) . E)
单图, 映射 C E [ ]被称作是图 G的一个无 圈k :一 k , 边染色. 如果任意相邻的两个边染有不同
情况 6 一个 6 度点至少邻接邻接 5 3 个 度点 , 和一个度数小于等于 △ G 一1 () ; 情况 7 一个 7度 点邻接 7个 3 点 ; 度
情况 8 一个 点 当d ) ( ≥6 , 时 点 至少邻接 d 一3 2 ( ) 个 度点其 中的一个可以是 3 度点 .
情况 1 一个 2 度点至少邻接一个度数小于等于 4 的点 ; 情况 2 一个 3度点 至少 邻接 一个小 于等 于 4度 的点和 一个 5 的点 ; 度
图论探索之挑战奥数中的图论问题

图论探索之挑战奥数中的图论问题图论探索之挑战奥数中的图论问题图论是数学的一个重要分支,研究的是图的性质和图之间的关系。
在奥数竞赛中,图论问题常常被用来考察学生的逻辑推理和问题解决能力。
本文将介绍一些挑战奥数中常见的图论问题,并通过具体案例来解析。
1. 马踏棋盘问题马踏棋盘问题是一个经典的图论问题,要求马在棋盘上按照规定的移动方式遍历所有格子,且每个格子仅经过一次。
这个问题可以使用图的深度优先搜索来解决。
以8×8的棋盘为例,我们可以将每个格子看作图中的一个顶点,把马的移动看作图中的边。
通过搜索算法,可以找到一条路径,使得马可以遍历所有的格子。
2. 平面图的染色问题染色问题是图论中一个经典的问题,常被用来考察学生对图的颜色分配和连通性的理解。
平面图的染色问题要求给定的平面图在没有相邻顶点之间有相同颜色的情况下,尽可能使用最少的颜色进行染色。
通过贪心算法,可以解决平面图的染色问题。
贪心算法的基本思想是从一个初始解开始,每次选择可行的局部最优解,最终得到全局最优解。
对于平面图的染色问题,我们可以从一个顶点开始,按顺序给相邻的顶点染色,直到所有的顶点都被染色。
3. 电厂选址问题电厂选址问题是一个实际的应用问题,也可以用图论的方法来解决。
在电厂选址问题中,需要确定电厂的位置,使得电厂到各个需求点的距离和最短。
将电厂和需求点看作图中的顶点,电厂和需求点之间的距离看作边的权重。
通过最短路径算法,可以求解电厂选址问题。
常用的最短路径算法有Dijkstra算法和Floyd-Warshall算法,它们可以帮助我们找到电厂的最佳位置,以实现最优的供电方案。
4. 旅行商问题旅行商问题是图论中的一个经典问题,要求寻找一条路径,使得旅行商可以经过每个城市一次,并返回起点城市,且总路径长度最短。
旅行商问题是一个NP难问题,目前还没有高效的解法。
常用的解决方法是使用近似算法,例如最邻近算法和最小生成树算法。
这些算法可以找到一个接近最优解的解决方案。
最大度是4的可平面图的边染色

其 中 E ( G) L G), ( JF( 用 )表 示 点 的 度 数 为 的 邻 点 的 个 数 , ( d + )表 示 点 的 度 数 不 小 于 的 邻 点 的 个 数 .度 数 为 的 点 ( 面 )称 为 一 点 ( 后 一 面 ), 数 不 小 于 尼 或 或 度 的 点 ( 面 )称 为 一 点 ( 后 或 或 一 面 ) 若 存 在 映 射 : G)一 { 2, } 使 得 G 中 任 意 . E( 1, … ,
( d( 3) ) + d(u) ≥ A + 2.
引 理 1 2” .
2, 5 习l 么
设 G 是 一 个 △ 一 临 界 图 , ≥ 3 x ∈ (G) 满 足 d( ) + ( A .y Y) = A +
( 1)每 个 ∈ Ⅳ({ ,- ) \{ , y} Y}是 A 一 点 ; ( 2)每 个 宦 Ⅳ( ({ Y} Ⅳ x, )) \{ , Y}, 足 d( 满 ) ≥ △ 一 1;
( 面 )关 联 于 同 一 个 顶 点 , 这 两 个 圈 ( 面 ) 相 交 . 或 称 或
Vii g [ zn 2]给 出 了 A ∈ { 3, 5}的 简 单 平 面 图 存 在 第 二 类 的 例 子 . 近 , 献 [ 2, 4, 最 文 7] 证 明 了 一 个 围 长 为 g 的 简 单 平 面 图 G满 足 △ ≥ 4且 g ≥ 5, G是 第 一 类 的 . 献 [ 则 文 8]证 明 了 : = 4 的 简 单 平 面 图 G, 不 含 长 度 为 i的 圈 , 中 4 ≤ i≤ 1 则 G 是 第 一 类 图 ; △ 若 其 4, 若
最大度等于5的图的强边色数

( l g fM a h ma i sa d I f r to ce c , No t we tNo ma i e st , La z o 3 0 0,Ga s Co l e o t e tc n n o ma i n S in e e r h s r l Un v r iy nh u70 7 n u,Ch n ) ia
维普资讯
西
1 6
北
师
范
大
学
学
报 ( 自然 科 学 版 )
第 4 3卷 2 0 年 第 2 07 期
V o143 2 07 N o . 0 .2
J u n l fNo t we tNo ma iest ( t rlS in e o r a rh s r l o Unv ri Nau a ce c ) y
1 引 言
本 文仅 考 虑有 限 、无 向 、无 环 、但可 以有 重边
的连通 图. 图 G 的 一 个 匹 配 M 称 为是 导 出 匹 配 , 如果 M 中 的任 意 两 条 边 在 G 中 的 距 离 至 少 是 2 ,
如果 这个 猜 想 成 立 ,则 是 最 好 的. 在 任何 情 形 下 , 这个 猜想 看来 很难 证 明.我 们 容易看 到 当 △( ≤2 G) 时猜 想是 成立 的. 当 △( 一 3时 ,这个 猜 想 分 别 G)
1
f e f f e f 4 .这 意 味 着 如 果 用 4 )≤ ) ≤ o F( N( 1种 颜
色 对 图 G进 行 强 边 着 色 ,则 可 以用 任 一 种 贪 婪 的 方 式去 实现 :只需 按 任 意 顺 序 对 图 G 的边 一 条 接 着 一条 去着 色 ,对 于 即将 着 色 的边总存 在一 种 可用
围长至少为5的平面图的线性染色

图 G的一个 正 常染色 是从 顶点集 合 V G)到颜 色集合 { ,, ,}的一个 映 射 , 得 任意 两个 相 邻 的顶 ( 12 … . j } 使 点 染不 同 的颜 色. G的一 个线 性 k一染 色是一 个正 常染 色 , 得染 任意 两种 颜色 的顶点 集合 导 出的子 图是 图 使
5
2l O0年
菏 泽 学 院 学 报
第 2期
对 于一个平 面 图 G, 我们 用 F c 表示 它 的面集 合. () 面的度 是指 它的边界 上 边 的条 数 , 中割 边被计 算 两 其 次. 于任 意 的 ∈ ( )U F( , d ( 对 G G)用 G )表示 G中的 的度. 在不 产生混 淆 的情 况下 , 以用 简单 的用 可
一
些点 不交 的路 的并. G的线性 色数 l( ) 义 为 G的所 有线 性 k一染色 中最 小 的 k值. 图 cG 定 Y se… 首先研 究 了 图的线性 染色 , 明 了任 意 图 G的线 性色 数满 足 l( ut r 证 c G): 0( △T)且 构 造 出了 ,
一
类 图使得 l( )= ( c c △亨)事 实上 , . 这个概 念是 图的无 圈染色 的一 种特 殊情 况. G的一个 无 圈染色 G的 图 个 正 常染色 , 得染 任 意 两种 颜色 的顶 点集 合 导 出的子 图是 一个 森林 . 圈染 色 的概 念是 由 G f bu 使 无 rn a m i 最 近 ,see 等 把线 性染 色 的概念 推广 到线性 选 择 上来 . 们 研究 了树 , 子 图 , 全 二 部 图 , 面 E prt 他 格 完 平
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
最大度是5的可平面图的边染色倪伟平(枣庄学院数学与信息科学系,山东枣庄 277160)摘 要:对于最大度是Δ的可平面图G,如果χ′(G )=Δ,称G 为第一类图;如果χ′(G )=Δ+1,称G 为第二类图.χ′(G )表示G 的边染色数.1965年,V izing 举例说明Δ=5的可平面图中既有第一类图,也有第二类图.作者运用D ischarge 方法证明最大度是5且不包含有弦的4-圈和有弦的5-圈,或不包含有弦的4-圈和有弦的6-圈的可平面图是第一类图.关键词:平面图;边染色;最大度;圈中图分类号:O157.5 文献标识码:A 文章编号:1000-2162(2010)03-0018-06Edge color i n gs of pl anar graphs w ith max i m u m degree f i veN IW ei 2p ing(Depart m ent of M athematics and I nfor mati on Science,Zaozhuang University,Zaozhuang 277160,China )Abstract:Let G be a p lanar graph of maxi m u m degree Δ,G was said t o be class 1if χ′(G )=Δand class 2if χ′(G )=Δ+1,where χ′(G )denoted the chr omatic index of G .I n 1965,V izing p r oved that p lanar graphs of class 1and class 2were exist f or Δ=5.By app lying a discharging method,the author p r oved that every si m p le p lanar graph G with Δ=5was of class 1,if G had no chordal -4-cycles and chordal -5-cycles,or no chordal -4-cycles and chordal -6-cycles .Key words:p lanar graph;edge col oring;maxi m um degree;cycle文中考虑的图都是简单、无向有限图.若图G 可以表示在平面上,并且任意两条边仅在其端点处才可能相交,则称G 是可平面图,图G 的这种平面上的表示法称为G 的一个平面嵌入,或称为平面图.分别用V (G )、E (G )、F (G )、Δ(G )(简记为Δ)表示G 的顶点集合、边集合、面集合、最大度.用d (x )表示x 在G 中的度数,x ∈V (G )∪F (G ).用d k (v )表示点v 的度数为k 的邻点的个数,d k +(v )表示点v 的度数不小于k 的邻点的个数.度数为k 的点(或面)称为k -点(或k -面),度数不小于k 的点(或面)称为k +-点(或k +-面).若一个3-面f 关联3个度数分别为i,j ,k 的顶点,其中,i ≤j ≤k,则称f 为(i,j ,k )-面.设C 是G 中长度为k 的圈,如果xy ∈E (G )\E (C ),其中,x,y ∈V (C ),称xy 为C 的一条弦,C 为有弦的k -圈.若存在一个映射φ:E (G )→{1,2,…,k},对G 中任意两条相邻接的边e 1和e 2,有φ(e 1)≠φ(e 2),则称G 是k -边可染色的,使得图G 具有k -边可染色的最小的正整数k 定义为G 的边色数,记作χ′(G ).若图G 满足χ′(G )=Δ(G ),称G 为第一类图,若χ′(G )=Δ(G )+1,称G 为第二类图.若图G 是连通的第二类图,并且去掉任意边e ∈G 后,G -e 是第一类图,则称G 是一个临界图.最大度为Δ的临界图简称收稿日期:2009-10-24基金项目:山东省教育厅科研计划基金资助项目(J08L I 66)作者简介:倪伟平(1965—),女,山东枣庄人,枣庄学院副教授,硕士.引文格式:倪伟平.最大度是5的可平面图的边染色[J ].安徽大学学报:自然科学版,2010,34(3):18-23.2010年5月第34卷第3期安徽大学学报(自然科学版)Journal of Anhui University (Natural Science Editi on )May 2010Vol .34No .3Δ-临界图.显然,每个Δ-临界图(Δ≥2)是2-连通的.文献[2]证明了每个Δ≥8的简单平面图是第一类图,同时猜想这个结论对Δ≥6的简单平面图也是成立的,给出了Δ∈{2,3,…,5}的简单平面图存在第二类的例子.文献[3]、[4]独立证明了Δ=7时文献猜想成立.文献[5]、[6]给出了Δ=6的可平面图是第一类图的充分条件.对于Δ=5的可平面图,文献[7]证明了Δ=5且围长不小于4的可平面图是第一类图;文献[9]给出了Δ=5且不含4-圈或不含5-圈的可平面图是第一类图;文献[10]证明了Δ=5且没有相交三角形的简单平面图是第一类图.下面将运用D ischarge 方法及临界图的重要性质证明:最大度是5且不包含有弦的4-圈和有弦的5-圈,或不包含有弦的4-圈和有弦的6-圈的可平面图是第一类图.1 临界图的性质引理1 设G 是一个Δ-临界图,u,v ∈V (G )且u,v 相邻接,d (v )=k,那么(1)若k <Δ,则u 至少邻接于Δ-k +1个度为Δ的顶点;(2)若k =Δ,则u 至少邻接于两个度为Δ的顶点;(3)d (v )+d (u )≥Δ+2.引理2 设G 是一个Δ-临界图,xy ∈E (G ),使得d (x )+d (y )=Δ+2,那么(1)每个v ∈N ({x,y})/{x,y}是Δ-点;(2)每个v ∈N (N ({x,y}))/{x,y}满足d (v )≥Δ-1;(3)如果d (x )<Δ,d (y )<Δ,则每个v ∈N (N ({x,y}))/{x,y}是Δ-点.引理3 如果图G 存在3个不同的顶点x,y,z 满足下列两个条件:(1)xy ∈E (G ),xz ∈E (G ),d (z )<2Δ-d (x )-d (y )+2;(2)xz 包含在至少d (x )+d (y )-Δ-2个不包含顶点y 的三角形中.则G 不是Δ-临界图.2 主要结论及证明引理4 设G 是5-临界图,s 是v ∈V (G )所关联的3-面的个数.若G 不含有弦的4-圈和有弦的5-圈,则(1)G 中每个3-点v 至多关联1个3-面.s =1时,v 还关联2个5+-面.(2)G 中每个4-点v 至多关联2个3-面.s ≥1时,v 还关联2个5+-面.(3)G 中每个5-点v 至多关联2个3-面.若v 不与2-点邻接,当s =2时,v 还关联3个5+-面;当s =1时,v 还关联2个5+-面.若v 与2-点邻接,当s =2时,如果v 关联(2,5,5)-面及(5,5,5)-面,则v 还关联2个5+-面和1个6+-面;如果v 关联2个(5,5,5)-面,则v 还关联3个5+-面.当s =1时,如果v 关联(2,5,5)-面,则v 至少关联1个5+-面和1个6+-面;如果v 关联(5,5,5)-面,则v 至少还关联2个5+-面.引理5 设G 是5-临界图,s 是v ∈V (G )所关联的3-面的个数.若G 不含有弦的4-圈和有弦的6-圈,则(1)G 中每个3-点v 至多关联1个3-面.s =1时,v 至少关联1个6+-面.(2)G 中每个4-点v 至多关联2个3-面.s =2时,v 关联2个6+-面;s =1时,v 至少关联1个5+-面.(3)G 中每个5-点v 至多关联2个3-面.若v 不与2-点邻接,当s =2时,则v 至少关联2个6+-面;当s =1时,则v 至少关联2个5+-面.若v 与2-点邻接,当s =2时,v 关联2个6+-面.当s =1时,若v 关联(2,5,5)-面,则2-点关联的另一面f 为5-面或为7+-面.如果f 为5-面,则v 还关联1个5+-面和1个6+-面.如果f 为7+-面,则v 至少还关联1个5+-面.若v 关联(5,5,5)-面,则v 至少还关联1个5+-面.定理1 设G 是最大度为5的可平面图.若G 中不含有弦的4-圈和有弦的5-圈,或不含有弦的91第3期倪伟平:最大度是5的可平面图的边染色4-圈和有弦的6-圈,则G 是第一类图.证明 假设定理1不成立,即G 是第二类图.不失一般性,可以假设G 是5-临界图,那么G 是2-连通的.因此,G 的每个面的边界是一个圈,且每条边位于2个不同面的边界上.将Euler 公式|V (G )|-|E (G )|+|F (G )|=2∑v ∈V (G )d (v )=∑f ∈F (G )d (f )=2|E (G )|变形可得∑x ∈V (d (x )-4)+∑x ∈F (d (x )-4)=-8. 对任意x ∈V (G )∪F (G ),定义初值ch (x )为ch (x )=d (x )-4. 根据给出的交换规则(D ischarging rules ),对每一个x ∈V (G )∪F (G )的ch (x )进行调整,从而得到新的值ch ′(x ).因为所作的调整始终保证不影响其和式的值,所以有∑x ∈V ∪F ch (x )=∑x ∈V ∪F ch ′(x )=-8. 如果可以证明对于每一个x ∈V (G )∪F (G ),都有ch ′(x )≥0,则与上式矛盾,从而定理得证.情况1 若G 中不含有弦的4-圈和有弦的5-圈.定义规则如下:R 1对每个5-点v,v 分值如下:(1)v 分值1给其邻接的2-点,分值12给其邻接的每个3-点,分值215给其邻接的每个4-点;(2)若v 邻接5-点u,u 与2-点x 邻接,而v 与x 不邻接,则v 分值130给u .R 2对每个3-点v,v 分值25给其关联的每个3-面.R 3对每个4-点v,v 分值13给其关联的每个3-面.R 4对每个度为3的面f,设x 、y 、z 是f 的3个不同顶点,且d (x )≤d (y )≤d (z ).(1)若f 是(2,5,5)-面,则y 、z 分别分值12给f;(2)若f 是(3,4,5)-面,则x 分值25、y 分值13、z 分值415给f;(3)若f 是(3,5,5)-面,则x 分值25、y 分值310、z 分值310给f;(4)若f 的顶点的度至少为4,则x 、y 、z 分别分值13给f .R 5设f 是度至少为5的面,则f 分值d (f )-4d (f )给与其关联的每个顶点.假设f ∈F (G ),则d (f )≥3.如果d (f )=4,则ch (f )=0,取ch ′(f )=0.如果d (f )≥5,则ch (f )=d (f )-4≥1.由R 5,有ch ′(f )=d (f )-4-d (f )-4d (f )×d (f )=0.如果d (f )=3,则ch (f )=-1.由于Δ=5,由引理1~3知,f 必为下列3-面之一:(2+,5,5)-面,(3,4,5)-面,(4,4,4)-面,(4,4,5)-面,(5,5,5)-面,由R 4,有ch ′(f )=-1+1=0.对于每个v ∈V (G ),有d (v )≥2.(1)设d (v )=2,则ch (v )=-2.由引理1,v 与2个5-点邻接.由R 1(1),有ch ′(v )=ch ′(v )=-2+1×2=0.(2)设d (v )=3,则ch (v )=-1.由引理1,v 至少邻接2个5-点,由R 1(1),v 至少得12×2.若02安徽大学学报(自然科学版)第34卷s=1,由引理4(1)及R5,v至少得值15×2,再由R2,有ch′(v)≥-1+12×2+15×2-25=0;若s=0,有ch′(v)≥-1+12×2=0.(3)设d(v)=4,则ch(v)=0.由引理1,v至少邻接两个5-点,由R1(1),v至少得值215×2.由引理4(2),有s≤2.若s≥1,由引理4(2)及R5,v至少得值15×2,由R3,v至多分值13×2给其关联的3-面,所以,ch′(v)≥215×2+15×2-13×2=0;若s=0,则有ch′(v)≥215×2>0.(4)设d(v)=5,则ch(v)=1.由引理1,m in{d(u)|u∈N(v)}≥2且至多有一个2-点,至少有2个5-点与v邻接.由引理4(3),有s≤2.当d2(v)=1时,由引理2,有d5(v)=4.如果s=2且v关联(2,5,5)-面和(5,5,5)-面,由引理4(3)及R5,v至少得值15×2+13,由R1(2),v得值130×3,由R1(1)、R4(1)、R4(4),v至多分出值1+1 2+13,所以,ch′(v)≥1+15×2+13+130×3-(1+12+13)=0.如果s=2且v关联2个(5,5,5)-面,由引理4(3)及R5,v至少得值15×3,由R1(2),v至少得值130×3,由R1(1)及R4(4)知,v至多分值1+13×2,所以,有ch′(v)≥1+15×3+130×3-1+13×2>0.如果s=1且v关联(2,5,5)-面,由引理4(3)及R5,v至少得值15+13,由R1(1)、R4(1),有ch′(v)≥1+15+13-1+12>0.如果s=1且v关联(5,5,5)-面,由引理4(3)及R5知,v至少得值15×2,再根据R1(1)、R4(4),有ch′(v)≥1+15×2-1+13>0.如果s=0,则有ch′(v)=1-1=0.当m in{d(u)|u∈N(v)}=3时,由引理1,v至多与2个3-点、至少与3个5-点邻接.假如d3(v)=2,由引理3,v至多关联1个3-面,为(5,5,5)-面.当s=1时,由引理4(3)及R5,v至少得值15×2,再由R1(1)、R4(4),有ch′(v)≥1+15×2-12×2+13>0.当s=0时,由R1(1),有ch′(v)=1-12×2=0.假如d3(v)=1且d4(v)=1,由R1(1),v分值12+215给其邻接的3-点和4-点,由R4(2)、R4(3)、R4(4),v至多分值13×2给其关联的2个3-面.由引理4(3)及R5,当s=2时,v至少得值15×3,s=1时,v至少得值15×2.所以,s=2时,有ch′(v)≥1+15×3-12+215+13×2>0;s=1时,有ch′(v)≥1+15×2-12+215+13>0;s=0时,有ch′(v)=1-12+215>0.假如d3(v)=1且d5(v)=4,由R1(1)、R4(3)、R4(4),v至多分值12+13×2.当s≥1时,由引理4(3)及R5,v至少得值1 5×2,所以,有ch′(v)≥1+15×2-12+13×2>0;当s=0时,则有ch′(v)=1-12>0.当m in{d(u)|u∈N(v)}≥4时,由引理1,有d5(v)≥2,d4(v)≤3.由R1(1),v至多分值215×312第3期倪伟平:最大度是5的可平面图的边染色给其邻接的4-点,由R1(2),v至多分值130×5给其邻接的5-点,由R4(4),v至多分值13×2给与其关联的3-面.当s≥1时,由引理4(3)及R5,v至少得值15×2,所以,ch′(v)≥1+15×2-2 15×3+13×2+130×5>0;当s=0时,有ch′(v)≥1-215×3+130×5>0.情况1得证.情况2 若G中不含有弦的4-圈和有弦的6-圈.定义规则如下:R1对每个5-点v,v分值如下:(1)v分值1给其邻接的2-点,分值12给其邻接的每个3-点,分值115给其邻接的每个4-点;(2)若v邻接5-点u,u与2-点x邻接,而v与x不邻接,则v分值118给u.R2每个3-点、4-点分值13给其关联的每个3-面.R3对每个度为3的面f,设x、y、z是f的3个不同顶点,且d(x)≤d(y)≤d(z).(1)若f是(2,5,5)-面,则y、z分别分值12给f;(2)若f的顶点的度至少为3,则x、y、z分别分值13给f.R4设f是度至少为5的面,则f分值d(f)-4d(f)给与其关联的每个顶点.假设f∈F(G),则d(f)≥3.如果d(f)=4,则ch(f)=0,取ch′(f)=0.如果d(f)≥5,则ch(f)=d(f)-4≥1,由R4,ch′(f)=d(f)-4-d(f)-4d(f)×d(f)=0.如果d(f)=3,则ch(f)=-1.由于Δ=5,根据引理1~3,f必为下列3-面之一:(2+,5,5)-面,(3,4,5)-面,(4,4,4)-面,(4,4,5)-面,(5, 5,5)-面.由R3(1)、R3(2),有ch′(f)=-1+1=0.对每个v∈V(G),有d(v)≥2.(1)设d(v)=2,则ch(v)=-2.由引理1,v与2个5-点相邻接.由R1(1),有ch′(v)=-2+1×2=0.(2)设d(v)=3,那么ch(v)=-1.由引理5(1),s≤1.由引理1,v至少邻接2个5-点,由R1(1),v至少得值12×2.当s=1时,由引理5(1)及R4,v至少得值13,再由R2,有ch′(v)≥-1+12×2+13-1 3=0;当s=0时,有ch′(v)≥-1+12×2=0.(3)设d(v)=4,则ch(v)=0.由引理5(2),有s≤2.由引理1,v至多与1个3-点、至少与2个5-点邻接,由R1(1),v至少得值115×2.所以,当s=0时,有ch′(v)≥115×2>0;当s=1时,由引理5(2)及R4,v至少得值15,再由R2,有ch′(v)≥115×2+15-13=0;当s=2时,由引理5(2)及R4,v至少得值13×2,再由R2,有ch′(v)≥115×2+13×2-13×2>0.(4)设d(v)=5,则ch(v)=1.由引理1,m in{d(u)|u∈N(v)}≥2且至多有1个2-点、至少有2个5-点与v邻接.由引理5(3),有s≤2.当d2(v)=1时,根据引理2,有d5(v)=4.若s=2,则由引理5(3)及R4,v至少得值13×2,由R1(2),v至少得值118×3,由R1(1)、R3(1)、R3(2),v至多分值1+12+13给其邻接的2-点及其关联22安徽大学学报(自然科学版)第34卷的3-面,所以,ch ′(v )≥1+13×2+118×3-(1+12+13)=0.若s =1,并且v 关联(2,5,5)-面,则由引理5(3)及R 4,v 至少得值37+15,由R 1(1)、R 3(1),有ch ′(v )≥1+37+15-1+12>0;若s =1,并且v 关联(5,5,5)-面,则由引理5(3)及R 4,v 至少得值15,由R 1(2),v 得值118×4,再由R 1(1)、R 3(2),有ch ′(v )≥1+15+118×4-1+13>0.若s =0,有ch ′(v )=1-1=0.当m in {d (u )|u ∈N (v )}=3时,由引理1,v 至多与2个3-点,至少与3个5-点邻接.假如d 3(v )=2,由引理3,v 至多关联1个3-面,为(5,5,5)-面.s =1时,由引理5(3)及R 4,v 至少得值15×2,由R 1(1)、R 3(2),有ch ′(v )≥1+15×2-12×2+13>0;s =0时,由R 1(1),有ch ′(v )=1-12×2=0.假如d 3(v )=1,由R 1(1),v 至多分值12+115给其邻接的3-点和4-点.当s =2时,由引理5(3)及R 4,v 至少得值13×2,由R 3(2),有ch ′(v )≥1+13×2-12+115+13×2>0;s =1时,由引理5(3)及R 4,v 至少得值15×2,再由R 3(2),有ch ′(v )≥1+15×2-12+115+13>0;s =0时,有ch ′(v )=1-12+115>0.当m in {d (u )|u ∈N (v )}≥4时,由引理1,有d 5(v )≥2,d 4(v )≤3.若s =2,则由引理5(3)及R 4,v 至少得值13×2,由R 1(1)、R 1(2)、R 3(2),v 至多分值115×3+118×2+13×2给其邻接的4-点、邻接的5-点及其关联的3-面,所以,ch ′(v )≥1+13×2-115×3+13×2+118×2>0;若s =1,则由引理5(3)及R 4,v 至少得值15×2,再根据R 1(1)、R 1(2)、R 3(2),有ch ′(v )≥1+15×2-115×3+13+118×2>0;若s =0,则由R 1(1)、R 1(2),有ch ′(v )≥1-115×3+118×2>0.情况2得证.由情况1、2的证明可知,定理1成立.参考文献:[1] V izing V G .On an esti m ate of the chr omatic index of a p 2graph[J ].D iskret A naliz,1964,3(1):25-30.[2] V izing V G .Critical graphs with given chr omatic class[J ].D iskret A naliz,1965,5(1):9-17.[3] Sanders D P,Zhao Y .Planar graphs of maxi m um degree seven are class 1[J ].J Co m bin Theory SerB ,2001,83(2):201-212.[4] Zhang L.Every p lanar with maxi m u m degree 7is of class 1[J ].Graphs Co m bin,2000,16(4):467-495.[5] Zhou G .A note on graphs of class 1[J ].D iscrete M ath,2003,262(1/3):339-345.[6] Bu Y,W ang W.Some sufficient conditi ons f or a p lanar graph of maxi m u m degree six t o be class 1[J ].D iscreteM ath,2006,306(13):1440-1445.[7] L i X,Luo R.Edge col oring of embedded graphs with large girth[J ].Graphs Co m bin,2003,19(3):393-401.[8] La m P,L iu J,Shu W ,et al .Some sufficient conditi ons for a p lanar graph t o be of class1[J ].Congr N um er ,1999,136(1):201-205.[9] 吴玉文.关于平面图的边剖分的若干结果[D ].山东大学数学学院,2007.[10] 陈永珠,王维凡.第一类平面图的一个充分条件[J ].浙江师范大学学报:自然科学版,2007,30(4):416-420.(责任编校 朱夜明)32第3期倪伟平:最大度是5的可平面图的边染色。