若干图的Mycielski图的点可区别均匀边色数
路的Mycielski图的[r
色 的 推 广 , 用 也 非 常 广 泛 , 如 一 些 比赛 的训 练 安 排 , 求 既 有 足 够 的 时 间 训 练 , 能 得 到 充 分 的 休 息 , 且 应 比 要 又 而
u{ I ∈ G , ∈V, 删 u ( ) 且 ∈ ( ) u{ EG}
引理 1 若 HC G, _ 则 , ) ( . G) ( .
I E , 中 W甓 G , l ∈ G } }其 V ( ) V ={ ( ) .
弓 理 2 ¨ ma r ( l x{ ( G)一1 )+1 s ( ,( G)一1 )+1 t , +1}
( ≤ ( G)一1 C) r ( )+s ( ( G)一1 )+t +1
引理 3
对 简 单 图 G ( G) ( ( )= G)+1 .
2主 要 成 果
记 个 顶 点 的 路 P ( 2 的 My ilk 图 为 ( , ( P )=V P ) ces i P )且 ( ) ( )u u { } 其 中 ( )= { , , P
1 定义 和 引理
定义 1 … 给 定 非 负 整 数 rs和 t 且 ma rs t 1 若 图 G( E) 一 个 映 射 , , x{ , ,} , , 有 : ( uE( 一 { 1, , 一1 , G) G) 0, … } ∈N
满足下列条件: 中相邻的点 ,, 1( 一 ) r 对V 有 ( ( 1 ; ) 对E中 相邻的边e 有 l(i一 e 1 , e ( ) ) i
P 2n的Mycielski图的邻强边色数和邻点可区别全色数
广西科 学 Gu n x S i cs O 8 1 ( ) 4 a g i c ne O , 5 1 :~6 e 2
的 Myi si 的邻 强 边 色 数 和 邻 点 可 区别 全 色数 c lk 图 e
A jcn to g E g o l n a jcn-etx da e t Sr n d e C lry a d A da e tv re 。 o 。 I
t t 1 h o tc n m b r M y ilkig a h o a r ma i u c e. ces r p
图 的 染 色 是 图 论 研 究 的 主 要 内 容 之 一 , 色 的 一 染
/ 为 G 的 k 正 常 边 染 色 , 为 kP ~ 记 - EC.
个 基本 问题就 是确定 相应 的色数 . 图的强边染 色产 生
中 图法 分 类 号 : 7 5 01 . 5 文献 标 识 码 : A 文章 编 号 : 0 5 9 6 ( 0 8 O 一0 4 0 1 0 — 1 4 2 0 ) l0 0 — 3
Ab ta t A e g a h o 尸: sd f e t ea jc n to g e g h o t u e n d ae t sr c : n w rp f wa e i d,h da e tsr n d ec r ma i n mb ra d a jc n n c v re it g i ig ttl h o t u e , n o sr c h oo ig meh d o da e tv re etx dsi us n oa r mai n mb r a d c n tu tt ec lrn t o fa jc n e tx n h c c dsig i igt tl oo ig o h rp fM y il i fg a hP: lob o f me e ≥ 3 it us n oa lrn ft eg a h o c s rp as ec ni d wh n n h c ek o r .
完全图的点可区别全染色算法
完全图的点可区别全染色算法作者:徐晓青李双元张卫平来源:《电脑知识与技术》2012年第18期摘要:设f是图G的一个正常的k-全染色,若G中任意两点的色集不同,则称f为G的k-点可区别全染色,简记为k-VDTC of G,,并称最小的k为G的点可区别全色数。
该文针对完全图的点可区别全染色的特点提出了分类顺次着色算法,该算法首先按照一定的规则对元素进行分类然后对元素进行顺次着色,同时给出关联锁表,根据关联锁表判断是否得到问题的解。
实验结果表明:该算法有效地解决了完全图的点可区别全染色问题。
关键词:k-点可区别全染色;点可区别全色数;分类顺次着色;完全图;关联锁表中图分类号:TP18文献标识码:A文章编号:1009-3044(2012)18-4498-03Algorithm for the Vertex-Distinguishing Total Coloring of Complete GraphsXU Xiao-qing, LI Shuang-yuan, ZHANG Wei-ping(Lanzhou Jiaotong University,Lanzhou 730070,China)Abstract: Let f be a proper k- total coloring of a graph G , if for any two distinct vertices u and v in G,the set of colors of u differs from the set of colors of v, f is called a k-vertex distinguishing total coloring of G , is abbreviated k-VDTC of G and the minimal number k of colors required for vertex-distinguishing total coloring of G is called the vertex-distingishing total chromatic number of G.In this paper, a new algorithm whose name is algorithm of classified order coloring is proposed on the base of the characteristics of the vertex-distinguish? ing total coloring of complete graphs .All of its elements are classified according to some rules and then are colored in proper sequence in the algorithm. Moreover, a relatelocktable is presented to judge whether the result is correct. The experimental results show that the algo? rithm can effectively solve the vertex-distinguishing total coloring of complete graphs.Key words: vertex-distinguishing total coloring; vertex-distinguishing total chromatic number; classified order coloring; relatelocktable该文根据完全图的点可区别全染色的特点,设计了聚类顺次着色的算法,利用关联锁表和元素的2次幂求和对算法进行控制,使得算法有效的解决了完全图的点可区别全染色。
毕业论文范例——mycielski图的染色问题
目录中文摘要------------------------------------------------------------------2 英文摘要------------------------------------------------------------------3 引言----------------------------------------------------------------------4 一、mycielski图的定义-----------------------------------------------------5 1. mycielski图的定义----------------------------------------------------52 . 广义mycielski图的定义-----------------------------------------------5二、mycielski图的染色问题-------------------------------------------------5(一)边色数----------------------------------------------------------------51. Mycielski图的边色数---------------------------------------------------52.广义Myc ielski 图的边色数----------------------------------------------6(二)邻强边色数------------------------------------------------------------61. Myciel ski 图的邻强边色数---------------------------------------------72. 广义Mycielski 图的邻强边色数------------------------------------------7 (三)全色数--------------------------------------------------------------81. Mycielski图的全色数--------------------------------------------------82. 广义Mycielski图的全色数---------------------------------------------9 (四)邻点可区别全色数----------------------------------------------------91.Mycielski 图的邻点可区别全色数---------------------------------------102.广义Mycielski图的邻点可区别全色数----------------------------------12 致谢--------------------------------------------------------------------13 参考文献----------------------------------------------------------------14Mycielski图的染色问题摘要:本论文总结了Mycielski 图及广义Mycielski 图关于染色问题的各方面定义和定理,主要包括边色数、邻强边色数、全色数、邻点可区别全色数的相关结论。
多重Mycielski图的邻点可区别全染色
。
) 图 G 的顶点集 合 ,E( 是 图 G 的边 集. 是 G)
Th da e tv re — it g ihn oa oo igo ea jc n e txdsi us ig t tl lrn f n c
k- u t— y il k h r p m liM ce s it e g a hs
ZH A N G Che n, C H EN a — n, LI n s e g Xing a U Xi — h nG 有 t TC G) nt l —
AVD C) T 叫做 图 G 的邻点 可 区别 全色 数.
定义 2 对 阶 图 G( E)Mk G) 为 G的 k , , ( 称
重 My il i ( ≥ 2 ,其 中 ( G) 一 {。, c s 图 k e k ) M ( ) 。
Ab ta t src :Th p e o n s o h da e t e tx— it g ih n o a o o ig n mb r o mut— e u p r b u d f t e a j c n v re ds i us ig t t lc lrn u e n k— li n M y ilk r p s a e d s u sd Th da e t et x— it g ih n o a oo ig n mb r n k mut ces ig a h r ic s e . e a j c n v re ds i u s ig t tlc lrn u e s o n l i
Ke r s - l — y ilk r p ywo d :k mut M ces ig a h;a jc n e tx dsig ih n o a oo ig;t ea jc n e tx i da e tv re — it u s ig t tlc lrn n h da e tv re —
关于路和轮的广义Mycielski图的邻点可区别的边染色
f / 4f
l o 2; ( d) m
( 阶数 为 5的 圈 )有 x G △( ) 如 果最 大度 点都 , () G; 相邻 , x G ≥△( + 。此 概念 提 出后 , 则 ( ) G) 1 相关 的文 章 陆续产生 , 请参 见文 献【— 】 2 3。
Myi si 。 ce k 图 l
,
∥ )I J3
、
、
 ̄m d)/ 一1 (o3; (o3 f ,m d) 2
/ o o) f (d; ; m 3
/ j O 。3 f - ( d) m ;
设 % ( 是一个 图 , G) 如果 点 集合 ( ( ) o G): h 0… , ; 2 , 1 …, ; ; 2 … , 位, ,p;且 边 集 合 … Y} n
第 4期
【 基础数学与应用数学研 究】
关 于路 和轮 的广 义 My is i ce k 图 l 的邻 点可 区别 的边 染 色
闫丽 宏 1 治文 1 忠辅 1 , 王 , 张 , 2
( . 阳 师范 学 院 数学 系 ,陕 西 咸 阳 7 2 0 ;. 1 咸 10 0 2兰州 交 通 大 学 应 用 数 学 研 究所 , 肃 兰 州 7 0 7 ) 甘 30 0
摘
要 : 个 图 G 的边 染 色被 称 为邻 点可 区别 的 。 果满 足 图 G 中任 意 两个相 邻 点所 关联 一 如
的边 所 染颜 色的集合 不 同。研 究 了图路 和轮 的广 义 Myil i c s 图的邻 点 可 区别的边 染 色并证 明 ek
它 满足 邻 点 可 区 别 的 边 染 色猜 想 。 关 键 词 : ; ; 义 My i s 路 轮 广 cek l i图 ; 点 可 区别 的 边 染 色 邻
一些倍图的点可区别均匀边色数
(n=( ) { , : D ) () 2 : : () 。 = 1 三 5
证 记 ( ={ i 0 l2 …, }E( n ={o i , , , }若 1=1F D( 1) S ) “ I = ,,, n ; S ) “ I :12 … n . 2 , ( S ) = M
点 可 区别均 匀边 色数 .
关键 词
倍 图 , 区别 均 匀边 染 色 , 可区别 均 匀边 色数 点可 点 文 献标识 码 A
中 图分类 号 0 5. 1 5 7
1 引言及定 义 .
由信息科学、 计算机科学、 生物学等提出的点可区别边染色( 或强边染色) 是一个十分困难 1 的问题, 3 文[] 提出了距离不超过 的任意两点可区别的边染色概念及相关猜想, 4提出了图的 文[] 邻强边染色概念 , 了若干结果 , 提出了有关猜想 . 得到 并 文献[] 5得到了两个联图的点可区别边 色数 ,
猜想 2 对 l( ) 3的简单连通图 G, Gl V 有
() G () , G +1且 ( )= ( ) G G.
定义 4 设 为简单图 G的拷贝 , G的顶点为 , , 记 G相应的顶点为 , 若满足
( G )= ( D( ) G)U V G ) (
数 , 表示 n个 中取 m个 的组和数 , ( ) 则称 ( ):m xrn0l ) G a{i{ ( a
为 G的组合度 . 猜想 1- 对 I ( ) 3的简单连通 图 G 有 N1 3 Gl V ,
( ) ( )+1 G ≤ G .
} G i A( ) , ) ( ≤ G}
.
定义 2 对 }( l 2 V )≥ 的简单图 G , ) 点可区别边染色法 厂满足 ( 的 ,
完全二部图的Mycielski图的点可区别全色数
左 端 知 ( M(
)≥ 2 ) m+ 2要 证 结论 为 真 , , 仅
需给出 M( K )的一个 ( m+ 2 一 ) C法. 2 ) VI T
设 C= { ,, ,m+ 10. 厂为 12 … 2 , }令
厂 叫)一 m+ l ( ;
UEG ( )U { I E V . 删 ) 其 中,
文献标识码 : A
0 引 言
图 的染色 是 图论 的主要 研 究 内容 之 一. 由计 算 机科学和信息科学所产生的点可区别边染色_ , 1 邻 ] 点可 区别边染 色 ( 或邻 强 边 染 色 )2 及 D( 点 可 _ 【 叫 区别全 染色 点可 区别 全 染 色[ 都 是 十分 困难 引, 。 等 的问题 , 今 文献 甚 少. 文 给 出 了 完 全 二 部 图 的 至 本
不同元素中任取 个的组合数 ; +1 和△分别表示G
的最 小度 和最 大度. 显然 , 猜想 的左 端是 成立 的.
Myi si c l 图的点可区别全色数. ek 定 义 1。 对 阶数 不小 于 2的联 通 图 G( E) [ V, ,
令 -为 V( 厂 G)UE( 到 C一 {, , ,} G) 1 2… 是 的映射 , 其 中 k为正 整数 , 对任意 的 “E ( , 表 示 G)C()
厂“ ( )U { (v ' E( ) . f u )l O∈ U G ) 如果 厂满足 : i .对任 意 的 U , E E( , 7 删 G) 乱≠ , 3 有
fu ) fv ; (v ≠ (m)
1 主 要 结 论 及 其 证 明
引理 1 E 对 M( K )有 ,
f u )一 2 (1 m+ 1 ; f u )一 0 (s ;
双语教学示范课程建设项目申报表
双语教学示范课程建设
项目申报表
标准化管理部编码-[99968T-6889628-J68568-1689N]
双语教学示范课程建设项目申报表
高等数学(微积分)
课程名称(中
文):
(英文):Advanced Mathematics (Calculus) 课程负责人:姚兵
外语语种:英语
课程类别:专业必修课
所属专业:基础数学
所在学院:数学与信息科学学院(盖章)
联系电话:
申报时间:二〇〇九年十月十日
西北师范大学教务处制
填写要求
一、以word文档格式如实填写各项,空缺项要填“无”。
二、表格文本中外文名词第一次出现时,要写清全称和缩写,再次出
现时可以使用缩写。
三、表格空间不足的,可以扩展或另附纸张;均用A4纸打印,于左侧
装订成册。
1.课程负责人情况
2. 教学队伍情况
3
4.课程建设规划
5.说明栏。
广义Mycielski图的邻点可约边染色
d v ) 3由定 义 2 , 一 ( a ≤ 4设 C: { , , (, = a 知 X C ) . 12 34 , 厂为 ,}令
厂( V2 1O)一 f Vl (n 砌)一 1 , f(o o)一 f v3 v2 3 V (I l 叫)一 2 , f(o o)一 f v2 va 1 V (, . w)一 4 .
v G)u g G , ( ) () 有 c “ =C , f为 G 的 走 邻点可 约边 染 色, 所用最 多染 色数称为 图 G W( ,r E( ) 当 =d 时, ( ) ( ) 则 一 其
的邻 点 可 约 边 色数 , 文 得 到 了若 干 广 义 Myi s i 的邻 点 可约 边 染 色数 . 本 c lk 图 e
广 义 My ilk 图 的邻 点 可 约边 染 色 ces i
张 园萍, 强会 英 , 孙 亮萍 , 文 飞
( 兰州交通大学 数理与软件 工程学 院, 甘肃 兰州 7 0 7 ) 300
摘
要 : 简单 图 G( E) 若存在 自然数 k 1 ≤△( ) 映射 f: G - { , , ,} 对 V, , ( ≤惫 G) 和 E( )- 12 … k 使得 对任意相邻 两点 “ -  ̄ ,
称 为 G的邻点 可 约边染 色数 , 中 : ( )一 { (v 其 C“ f u)
f ∈ E( ) 显然 X G)是存在 的. 删 G) . 一(
其它 边按如 下循环 着色 :
Un ’ 1, '" i U汁 2 O l7 1. , .i U汁 1, '2 i 汁 1 3’7 i 汁 1 1, 3汁 3 7 2。 ) 1 )2’ , . 3‘ ) ,
若干Mycielski图的邻点可区别均匀全染色
点 可 区别均 匀全 色数 。
My c i e l s k i 图是一类 应 用较 广泛 的 图 , 本文 利用 构造 法 和匹 配法 研 究 了路 、 圈、 星和扇的 M y c i e l s k i 图
{ e I e ∈ ( G ) , ( e ):i } , 。 : 。 u E 。 , 若满足: V i , ∈{ 1 , 2 , …, k } , l l T l l l ≤1 , 则称厂 为图G 的
一
个 一 邻点 可 区别均 匀全染 色 , 记为k - A V D E T C, 且 称 ( G)=m i n{ k 』 G的 k - A V D E T C} 为图 G的邻点
( 1 I )对 V u ∈E( G ) , 有, ( u )≠f ( ) , f ( )≠f ( “ ) , f ( / L )≠f ( ) , 则称 ,为图 G的 k 一 正 常全染
色。 进一 步 , 若厂 还 满足 : ( m)V/ / , V∈ E( G ) , “≠ , C ( u )≠ C ( ) , 则 称 /为 图 G 的 一 个 k 一邻 点 可 区 别 全 染 色 , 记 为
0 引 言
本 文所考 虑 的图均 为连 通 、 有限 、 无 向的简单 图 。2 0 0 4年 , 文献 [ 1 ] 提 出了邻 点 可 区 别全 染 色 的 概 念及 相关 猜想 , 给 出 了完 全 图 、 完 全二 部 图 、 圈、 扇、 轮 和树 等 简单 图 的邻 点 可 区别 全色 数 。文 献 [ 2—3 ] 提 出 了图 的均匀 全染 色概念 及相关 猜 想 。文献 [ 4— 6 ] 研 究 了一 些 简单 图的均 匀 全 色数 。在此 基 础上 , 文献 [ 7 ] 给 出了 图的邻 点可 区别 均匀 全 染 色 的概 念 及 其 几类 简 单 图的倍 图 的邻 点可 区别 均 匀 全 色数 , 并 提 出相关猜 想 。 由于邻点 可 区别均 匀全染 色 比邻 点 可 区别 全染 色 更 加 困难 , 所 以这 个 猜想 就 显 得 甚
三类K重Mycielski图的邻点强可区别E-全染色
三类K重Mycielski图的邻点强可区别E-全染色李雨虹;强会英;王洪申【摘要】对简单图G,如果图G存在一个染色法f,使得任意两个相邻的顶点染不同的颜色,任意一条边与其关联的点染不同的颜色,任意两个相邻点的色集合不同,其中每个点的色集合包含该点及其关联边和相邻点的颜色,则称该染色法f为G的邻点强可区别E-全染色,且称所用最小的颜色数为图G的邻点强可区别E-全色数.本文应用反证法和构造函数染色法研究了图Mk(Pn),Mk(Sn),Mk(Cn)的邻点强可区别E-全染色,并得出了其邻点强可区别E-全色数.【期刊名称】《安阳师范学院学报》【年(卷),期】2018(000)002【总页数】5页(P8-12)【关键词】K重Mycielski图;邻点强可区别全染色;邻点强可区别E-全染色【作者】李雨虹;强会英;王洪申【作者单位】兰州交通大学数理学院,甘肃兰州730070;兰州交通大学数理学院,甘肃兰州730070;兰州理工大学机电工程学院,甘肃兰州730050【正文语种】中文【中图分类】O157.51 引言图染色理论是图论[1]里面很重要并且应用很广泛的一门学科,它来源于1852年“四色猜想”问题的提出. 1993年,A.C.Burris和R.H.Schelp首次提出了图的点可区别正常边染色的概念;2002年,张忠辅,刘林忠等教授在点可区别正常边染色的基础上提出了图的邻强边染色[2];2005年,张忠辅,陈祥恩等教授结合学习传播过程中的干扰和共振现象提出了图的邻点可区别全染色[3];2007年,张忠辅,程辉等人提出了图的邻点强可区别全染色[4],文献[5]是邻点强可区别E-全染色的一些结果.本文在文献[5]的基础上得到了路图,圈图和星图的广义Mycielski图的邻点强可区别区别E-全染色,下面给出相关的定义:2 基本概念定义1[4,5] 设图G是阶数至少为2的连通图,映射f:V(G)∪E(G)→{1,2,…,k},其中k为正整数,C(u)={f(u)}∪{f(v)}∪{f(uv)|uv∈E(G),v∈V(G)}如果f满足:(1)对任意的uv∈E(G),f(u)≠f(v),f(u)≠f(uv),f(v)≠f(uv);(2)对任意的uv,uw∈E(G),u≠v,f(uv)≠f(uw);(3)对任意的uv∈E(G),u≠v,C(u)≠C(v).则称f为图G的k-邻点强可区别全染色,简记为k-AVSDTC.又称χast(G)=min{k|G有k-AVSDTC}为G的邻点强可区别全色数.定义2[5] 设图G是阶数至少为2的连通图,映射f:V(G)∪E(G)→{1,2,…,k},其中k为自然数,C(u)={f(u)}∪{f(v)}∪{f(uv)|uv∈E(G),v∈V(G)}.如果f满足:(1)对任意的uv∈E(G),u≠v,f(u)≠f(v),f(u)≠f(uv);(2)对任意的uv∈E(G),u≠v,C(u)≠C(v).则称f为G的k-邻点强可区别E-全染色,简记为k-E-AVSDETC,又称{G有k-E-AVSDETC}为图的邻点强可区别E-全色数.由图的邻点强可区别全染色和图的邻点强可区别E-全染色的概念,下面引理成立:引理1[5] 对于无孤立边的简单图G,有定义3[6] 对图G(V,E),μ(G)称为G的Mycielski,V(μ(G))=V(G)∪V′∪{w},E(μ(G))=E(G)∪{uv′|u∈V(G),v′∈V′,且uv∈E(G)}∪{wv′|v′∈V′},其中w∉V(G),V′={v′|v∈V(G)}定义4[7] 设G的顶点集合为V(G)={u1i|i=1,2,…,n}的简单图,n是正整数,称Mk(G)为G的k重Mycielski图,其中k≥2,如果V(Mk(G))={u1.1,u1.2,…,u1.n;u2.1,u2.2,…,u2.n;…;uk.1,…,uk.n}∪{w}E(Mk(G))=E(M(G))∪{uijui+1,l|u1ju1l∈E(G),1≤j,l≤n,1≤i≤k-1,}∪{wvkj|vkj∈V(G),1≤j≤n}.3 主要结论及其证明定理1 设Pn是n(n≥3)阶的路,则有证明易知χ(Mk(Pn))=3,由引理1可知如果设色集合C={1,2,3,4},令:φ(uij)={1,j≡1(mod2),2,j≡0(mod2),1≤i≤k;1≤j≤n.φ(w)=3,由图的结构知,|C(w)|≥3 ,下面分两种情形考虑:情形1:当|C(w)|=3 时,则点uij(除了u1j)和点w在邻点强可区别E-全染色的条件下,必存在j∈{1,2,…,n},使得C(u1j)=C(u1,j+1),与定义矛盾.情形2:当|C(w)|=4 时,必存在j∈{1,2,…,n},使得C(ukj)=C(w)与定义矛盾.故下面给出图Mk(Pn)的一个5-E-AVSDETC染色法,令f如下:f(uij)={1,j≡1(mod2),2,j≡0(mod2)1≤i≤k;1≤j≤n.f(w)=5.f(u1j,u1,j+1)=3,1≤j≤n-1.边uijui+1,l的染法分以下四种情况:当i≡0(mod4)时:f(uijui+1,j-1)=3,1≤i≤k-1;2≤j≤n.f(uijui+1,j+1)=3,1≤i≤k-1;1≤j≤n-1. 当i≡1(mod4)时:f(uijui+1,j-1)={3,j≡1(mod2),4,j≡0(mod2),1≤i≤k-1;2≤j≤n.f(uijui+1,j+1)={3,j≡1(mod2),4,j≡0(mod2),1≤i≤k-1;1≤j≤n-1.当i≡2(mod4)时:f(uijui+1,j-1)=4,1≤i≤k-1;2≤j≤n.f(uijui+1,j+1)=4,1≤i≤k-1;1≤j≤n-1. 当i≡3(mod4)时:f(uijui+1,j-1)={3,j≡0(mod2),4,j≡1(mod2),1≤i≤k-1;2≤j≤n.f(uijui+1,j+1)={3,j≡0(mod2),1,j≡1(mod2),1≤i≤k-1;1≤j≤n-1.f(wvkj)={1,j≡0(mod2),2,j≡1(mod2),1≤j≤n.此时,各点的色集合的补集为:当i≡0(mod4)或i≡1(mod4)时:{{4,5},j≡1(mod2),{5},j≡0(mod2),1≤i≤k-1;1≤j≤n.当i≡2(mod4)或i≡3(mod4)时:{{3,5},j≡1(mod2),{5},j≡0(mod2),1≤i≤k-1;1≤j≤n.当k≡0(mod4)时:{{3},j≡0(mod2),{4},j≡1(mod2),1≤j≤n.当k≡1(mod4)时:当k≡2(mod4)时:{{3},j≡1(mod2),{4},j≡0(mod2),1≤j≤n.当k≡3(mod4)时:显然,对∀uv∈E(G),有C(u)≠C(v),故结论成立.定理2 设Sn是n(n≥4)阶的星图,则有证明易知χ(Mk(Sn))=3,由引理1可知如果则会出现与定理1类似的矛盾,故下面给出图Mk(Sn)的一个5-E-AVSDETC染色法,令f如下:f(uij)={1,j=1,2,2≤j≤n,1≤i≤k.f(w)=5.f(u11u1j)=3,2≤j≤n.边uijui+1,l的染法如下:f(uijui+1,1)={3,i≡0(mod4)或i≡3(mod4), 4,i≡1(mod4)或i≡2(mod4),1≤i≤k-1;2≤j≤n.f(ui1ui+1,j)={3,i≡0(mod4)或i≡1(mod4), 4,i≡2(mod4)或i≡3(mod4),1≤i≤k-1;2≤j≤n.f(wvkj)={2,j=1,1,2≤j≤n.此时,各点的色集合的补集为:当i≡0(mod4)或i≡1(mod4)时:{{4,5},j=1,{5},2≤j≤n,1≤i≤k-1.当i≡2(mod4)或i≡3(mod4)时:{{3,5},j=1,{5},2≤j≤n,1≤i≤k-1.点ukj的色集合的补集分以下四种情况:当k≡0(mod4)时:{{4},j=1,{3},2≤j≤n.当k≡1(mod4)时:当k≡2(mod4)时:{{3},j=1,{4},2≤j≤n.当k≡3(mod4)时:显然,对∀uv∈E(G),有C(u)≠C(v),故结论成立.定理3 设Cn是n(n≥4)阶的圈图,则有{5,n≡0(mod2),6,n≡1(mod2),(k≥3).证明下面分两种情况讨论:情况1:当n≡0(mod2)时,易知χ(Mk(Cn))=3,由引理1可知如果则会出现与定理1类似的矛盾,故下面给出图Mk(Cn)的一个5-E-AVSDETC染色法,令f如下:f(uij)={1,j≡1(mod2),2,j≡0(mod2),1≤i≤k;1≤j≤n.f(w)=5.f(u1ju1,j+1)=3,1≤j≤n-1.f(u11u1n)=3.边uijui+1,l的染法分以下四种情况:当i≡0(mod4)时:f(uijui+1,j-1)=3,1≤i≤k-1;2≤j≤n.f(uijui+1,j+1)=3,1≤i≤k-1;1≤j≤n-1.当i≡1(mod4)时:f(uijui+1,j-1)={3,j≡1(mod2),4,j≡0(mod2),1≤i≤k-1;2≤j≤n.f(uijui+1,j+1)={〗3,j≡1(mod2),4,j≡0(mod2),1≤i≤k-1;1≤j≤n-1.当i≡2(mod4)时:f(uijui+1,j-1)=4,1≤i≤k-1;2≤j≤n.f(uijui+1,j+1)=4,1≤i≤k-1;1≤j≤n-1.当i≡3(mod4)时:f(uijui+1,j-1)={3,j≡0(mod2),4,j≡1(mod2),1≤i≤k-1;2≤j≤n.f(uijui+1,j+1)={3,j≡0(mod2),4,j≡1(mod2),1≤i≤k-1;1≤j≤n-1.f(uinui+1,1)={3,i≡0(mod4)或i≡3(mod4), 4,i≡1(mod4)或i≡2(mod4),1≤i≤k-1.f(ui1ui+1,n)={3,i≡0(mod4)或i≡1(mod4), 4,i≡2(mod4)或i≡3(mod4),1≤i≤k-1.f(wvkj)={1,j≡0(mod2),2,j≡1(mod2),1≤j≤n.此时,各点的色集合的补集为:当i≡0(mod4)或i≡1(mod4)时:{{4,5},j≡1(mod2),{5},j≡0(mod2),1≤i≤k-1;1≤j≤n.当i≡2(mod4)或i≡3(mod4)时:{{3,5},j≡1(mod2),{5},j≡0(mod2),1≤i≤k-1;1≤j≤n.点ukj的色集合的补集分以下四种情况:当k≡0(mod4)时:{{3},j≡0(mod2),{4},j≡1(mod2),1≤j≤n.当k≡1(mod4)时:当k≡2(mod4)时:{{3},j≡1(mod2),{4},j≡0(mod2),1≤j≤n.当k≡3(mod4)时:显然,对∀uv∈E(G),有C(u)≠C(v),故结论成立.情况2:当n≡1(mod2)时,易知χ(Mk(Cn))=4,由引理1可知如果设色集合C={1,2,3,4,5},令φ(uin)=3,1≤i≤k.φ(w)=4.φ(uij)={1,j≡1(mod2),2,j≡0(mod2),1≤i≤k;1≤j≤n-1.由图的结构知,|C(w)|≥4,下面分两种情形考虑:情形2.1:当|C(w)|=4时,则点uij(除了u1j)和点w在邻点强可区别E-全染色的条件下,必存在j∈{1,2,…,n},使得C(u1j)=C(u1,j+1)与定义矛盾.情形2.2:当|C(w)|=5时,必存在j∈{1,2,…,n},使得C(ukj)=C(w)与定义矛盾.故下面给出图Mk(Cn)的一个6-E-AVSDETC染色法,令f如下:f(uij)={1,j≡1(mod2),2,j≡0(mod2)1≤i≤k;1≤j≤n-1.f(uin)=3,1≤i≤k.f(w)=4.f(u1ju1,j+1)={3,1≤j≤n-2,5,j=n-1,f(u11u2n)=f(u1nu21)=f(u11u1n)=2.f(u1ju2,j-1)={3,j≡0(mod2),4,j≡1(mod2),2≤j≤n.f(u1ju2,j-+)={3,j≡0(mod2),4,j≡1(mod2),1≤j≤n-2.f(u1,n-1u2,n)=1. 边uijui+1,l的染法如下:f(uijui+1,j-1)={6,i≡1(mod4)或i≡2(mod4),5,i≡0(mod4)或i≡3(mod4),2≤i≤k-1;2≤j≤n.f(uijui+1,j+1)={6,i≡1(mod4)或i≡2(mod4),5,i≡0(mod4)或i≡3(mod4),2≤i≤k-1;2≤j≤n-1.f(ui1ui+1,n)=f(uinui+1,1)={6,i≡1(mod4)或i≡2(mod4),5,i≡0(mod4)或i≡3(mod4),2≤i≤k-1.当k≡0(mod4)或k≡2(mod4)时:f(wvkj)={2,j≡1(mod2),1,j≡0(mod4),1≤j≤n.当k≡1(mod4)时:f(wvkj)=6,1≤j≤n.当k≡3(mod4)时:f(wvkj)=5,1≤j≤n.此时,各点的色集合的补集为:{{5,6},j≡1(mod2),{4,5,6},j≡0(mod2),1≤j≤n-2.{{3,5},j≡0(mod2),{4,5},j≡1(mod2),1≤j≤n-2.当i≡0(mod4)时:{{4,6},j=1,n-1,n,{3,4,6},2≤j≤n-2,3≤i≤k-1.当i≡1(mod4)时:{{4},j=1,n-1,n,{3,4},2≤j≤n-2,3≤i≤k-1.当i≡2(mod4)时:{{4,5},j=1,n-1,n,{3,4,5},2≤j≤n-2,3≤i≤k-1.当i≡3(mod4)时:{{4},j=1,n-1,n,{3,4},2≤j≤n-2,3≤i≤k-1.当k≡0(mod4)时:{{6},j=1,n-1,n,{3,6},3≤j≤n-2.当k≡1(mod4)时:{φ,j=1,n-1,n,{φ},3≤j≤n-2.当k≡2(mod4)时:{{5},j=1,n-1,n,{3,5},3≤j≤n-2.当k≡3(mod4)时:{φ,j=1,n-1,n,{φ},3≤j≤n-2.显然,对∀uv∈E(G),有C(u)≠C(v),故结论成立.[参考文献]【相关文献】[1]Bondy J A. Graph theory with applications [J]. Journal of the Operational Research Society, 1977, 28(1):237-238.[2]Zhang Z,Liu L,Wang J.Adjacent strong edge coloring of graphs [J].Applied Mathematics Letters,2002,15(5):623-626.[3]张忠辅,陈祥恩,李敬文,等.关于图的邻点可区别全染色[J].中国科学,2004,34(5):574-583.[4]张忠辅,程辉,姚兵,等.图的邻点强可区别的全染色[J].中国科学,2007,37(9):1073-1082.[5]顾忠栋.若干图的邻点强可区别E-全染色[D].兰州:兰州交通大学,2017.[6]张忠辅,李敬文,田双亮,等.圈的Mycielski图的均匀全染色[J].兰州交通大学学报,2003, 22(6):1-3.[7]强会英,晁福刚,张忠辅.完全图的广义Mycielski图的邻点可区别的全色数[J].兰州大学学报:自然科学版,2006,42(2):99-101.。
广义 Mycielski 图的边色数
文章编号 : 1 0 0 1 - 5 0 5 1 ( 2 0 1 4 J y c i e l s k i 图 的边 色 数
王 维 凡 , 杨灿 权
( 浙 江师 范大 学 数理 与信 息工程 学 院 , 浙江 金华
摘
3 2 1 0 0 4 )
My c i e l s k i ra g p h -a n d p r o v e d t h a t i f G w a s a s i m p l e c o n n e c t e d g r a p h , o t h e r t h a n K 2 , t h e n ( G )w o u l d b e o f
要: 设 。 ( G ) 表示一个 图 G的 My c i e l s k i 图. 广义 My c i e l s k i 图 ( G ) 是 M y c i e l s k i 图 。 ( G ) 的 自然推广. 研
究 广义 M y c i e l s k i 图 ( G) 的边染色 问题 , 运 用换 色技 巧证 明了 : 若 G是不 同于 的连通 简单 图, 则对 任何 m≥2 , ( G ) 是第一类的 , 即边色数等 于最 大度. 推广 了现有关于 My c i e l s k i 图的边 色数 的相关结果 .
n a t u r a l g e n e r a l i z a t i o n o f My c i e l s k i g ra p h s . I t w a s f o c u s e d o n t h e e d g e c o l o r i n g p r o b l e m o f g e n e r a l i z e d
第3 7卷第 3期 2 0 1 4年 8月
路的Mycielski图上的对策着色和对策着色数
给 出 了 它 的对 策 色数 Ⅱ, 并给 出 了选 手 Ai 相 应 获 胜 的对 策 。 le c
关键词 :顶点 着色;色对 策;对策 色数 Ⅱ
中 图分 类 号 :T 9 17 N 1.3 文 献 标 识 码 :A 文 章编 号 :17 9 7 (0 6 4— 14— 6 2— 80 20 )0 0 3 0 4
维普资讯
第2 9卷 第 4期 2 06年 1 0 2月
长 春理 工大学 学报
Ju n lo a g h nUnv ri fS in ea dTe h oo y o r a fCh n c u iest o ce c n c n lg y
为 了简单起 见 , 我们 分 别称 上述 对 策着 色和 对 策色 数为 色对策 I和对策 色数 I。在 色对 策 I 的基
础上 ,C e , c e h n S hl S rv p和 hee对选手 B b再 附加 条 o
件 ,提 出了一 种 新 的对 策 着 色 , 即图 G的 对 策着
色 Ⅱ ,这 个 条 件 是 限 制 选 手 B b只 能利 用 选 手 J o
Ai le已引入 的颜 色 之 一 ,除 非 他 为保 证 图着 色 是 c 正 常 的而不得 不利用 x中 的一种新 颜色 。图 G的对 策色 数 Ⅱ是选 手 Aie 对 策 着色 Ⅱ中有一 个 获 胜 l 在 c 策 略 的最 小 的 t ,记 为 数Ⅱ
。 , r 、
( G)。图簇 J 的对策 色 r 1
( G)定 义为 :
f a { ( ) G∈厂f 若 ( )皆是有限值 , m x G : , G
… 一I ,
J 是树 ,并 确 定 了 r 1 类 ,由 ( ) G ,
图C_m ∨ C_n的Smarandachely邻点可区别全色数
定义 . 厂如下
- u )一 1 厂 1 ( ; -( / “, ’ )一 , 一 1 n ;
≠ - ) 厂 ; (
2 )V城, , ∈ F( , ≠ z 厂 / )≠ 厂 £ ; G) (" 2 U (n )
) {4 - o , 一n3 O d ,1 2 + ( ) im -  ̄ 三
f 一n2 。。, ( {. ̄(d 1 lo , m2 q注 ) - i
基 金 项 目:十 省教 育厅 科 研项 目(0 40 ) 兰州 市科 技 发 艇 i划 项 目(0l一一) l肃 10 —1 ; f 2 O】4 作 者 简 介 寻景 (9 8) 男 , 吕 1 7 一, 山东 阳 谷人 , 士 生 . 硕
>7 ≥ 4 , 0 [ ( ) 贝 ) ,G)一 n+ 4 . 证 明 设 , UU …U,1 - 一 12 f1 : j。 t , ,  ̄ 2 U " …%O , 0
点可 区别 全色数 , 结论 更具 有一般性 . 其
定义 1】 [ 对 于阶数 不小 于 2的连通 图 G( V,
中 图分 类 号 : 5 . O1 75
文献 标 志码 : A
0 引言
图的染 色是 图论 的重要 研 究 内容 之一 , 由计 算 机科 学 和信 息 科 学 等 所 产 生 的 一 般 点 可 区别 边 染 色 邻点 可 区别 边 染 色 ( 邻强 边 染 色 )2 D( ¨、 或 _ 引、
中任意一点的 色集合为该点所 染色与其关联边所染 色的并. 文章给 出了当( < 且 m为偶数 时, ) Ⅲ阶 圈与 阶囤
的联 图的 S rn a h l 点 可 区 别 全 色数 . maa d c ey邻
关 键 词 : 图 ; 点 可 区 别 全 染 色;maad ce 联 邻 S rn ah l 点 可 区别 全 染 色 y邻
广义Mycielski图的邻强边色数和邻点可区别全色数的两个上界
广义Mycielski图的邻强边色数和邻点可区别全色数的两个上
界
广义Mycielski图的邻强边色数和邻点可区别全色数的两个上界
对简单图G,|V(G)|=p,n是自然数,Mn(G)被称为图G的广义Mycielski图,如果V(Mn(G))={v01,v02,…,v0p;v11,v12,…,v1p;…;vn1,vn2,…,vnp},E(Mn( G))=E(G)∪{vijv(i+1)k|v0jv0k∈E(G),1≤j,k≤p, i=0,1,…,n-1}.文中针对简单图G与它的广义Mycielski图之间的关系,给出了G的广义Mycielski图的邻强边色数和邻点可区别全色数的两个上界.
作者:李沐春强会英张忠辅LI Mu-chun QIANG Hui-ying ZHANG Zhong-fu 作者单位:兰州交通大学,数理与软件工程学院,甘肃,兰州,730070 刊名:大学数学PKU英文刊名:COLLEGE MATHEMATICS 年,卷(期):2009 25(2) 分类号:O157.5 关键词:广义Mycielski图邻强边色数邻点可区别全色数。
广义Mycielski图的D(β)-点可区别VIE-全染色
(.长江大学 信息与数学学院, 1 湖北 荆州 442 ; .西北师范大学 数学与信息科学学院, 303 2 兰州 707 ) 309
摘 要 :单 图 G的 D( )一点 可 区 VE一 染 色是 满足 当 , E ( )0 < d ,)≤ 时 , I 全 G , (
有.u s )≠| ( s )的正常全染 色,这里 d t 是任意两点 扎 间的距 离, ( ) ( ( ,) , , | M 是点 u的色集合。 s D( )一点可 区别 VE一全 色数 是对 图 G进行 D( 3 / I 3)一点 可 区别 VE一全染 色所 需最 小 色数 。文 中 I
tn ih n E —t tlc rmai umb r i g s i g VI u oa h o tc n e
1 引 言
定 义 1‘ G ( 【 】 V,E) 是 阶 至 少 为 2的连 通
图 的染 色 理论 是 图论 中有重要 理论 意义 和实 践
图, 是正整数 , 是从 ( )u ( ) { , , , k , G G 到 12 … k 的 一 个 映 射 。对 V 仨 V G } H ( ),称 S ) = ( { ) }u { 删)I1 ∈E G } , 1 1 3 ( ) 为点 的色集合 。 若, 是图 G的正 常全染色 ,且 当 Ⅱ ∈ ( )0 < , G,
L U —q n I Li u , CHENG a g—e Xin n
( . o eeo n r ai n te ai ,Y n t n e i ,J gh u 30 3 hn ; 1 C lg f m t na dMahm ts a gz U i r t i zo ,4 4 2 ,C i l fI o o c e v sy n a 2 C lg . o eeo l fMahm tsa f r ai c ne otw s N r a n e i ,L nh u7 0 7 ,C ia te ai n I om t nSi c ,N r e om l  ̄ rt a zo 3 0 9 hn ) c d n o e h t U sy A s a t e G b i pega h rp r o l o r go a e / b t c :L t eas l rp ,A p e t l n f i cl da 3 r m o ta c o i G s l D( )一vr xdsn usigV E— et i igi n I e t h t a c l n f ytods nt et e u t∈ ( )0 <d u t o l o r gi o a iic vrcs , G , t o i f rn w t i , ( ,)≤j } B,w aes “ e v J )≠ . t h ( s, ( ),w ee ( , h r d u )dn tsh i a c e en ad口o n , ( ), ( )i cl e o evr x eoe eds n ebt e n fr y E V G S Ⅱ s o r t fh et u.T e /)一vr x t t w u a o s t e h D( 3 et e
图的若干标号问题
摘要图G的k-(d,1)-全标号是对G的点和边的以{0,1,...,k}为标号集的一个标号分配,使得G中相邻的点标号不同,相邻的边标号不同,相关联的点和边的标号值差至少为d.图G的(d,1)-全标号数λT(G)定义为G的所有的k-(d,1)-全标号中的最小的k值.平d面图G的k-(2,1)-点面标号是对G的点和面的以{0,1,...,k}为标号集的一个标号分配,使得G中相邻的点标号不同,相邻的面标号不同,相关联的点和面的标号值差至少为2.平面图G的(2,1)-点面标号数λvf(G)定义为G的所有的k-(2,1)-点面标号中的最小的k值.2(G)≤2002年,Havet和Yu[7]给出了(d,1)-全标号的定义,并猜想:对任意图G,λTdΔ(G)+2d−1.2015年,陈东[20]给出了平面图的(2,1)-点面标号的定义,并猜想:对任意平面图G,(G)≤7.λvf2本学位论文研究了一些图类的(2,1)-全标号及(2,1)-点面标号,主要分为以下三部分.第一章,我们介绍了图论的一些基本的概念以及图的两类标号问题的研究进展,并给出了本论文的主要结果.第二章,我们主要研究了外平面图、哈林图以及棱柱图的(2,1)-点面标号.第三章,我们主要研究了哈林图、一般Mycielski图以及M(K n,m)图的(2,1)-全标号.关键词:图;标号问题;(d,1)-全标号;(2,1)-点面标号AbstractA k-(d,1)-total labelling of a graph G is a mapping from V(G)∪E(G)to the label set{0,1,...,k}such that any two adjacent vertices have different labels,any two adjacent edges have different labels and any incident vertex and edge have the label difference at least d.The(d,1)-total labelling numberλT(G)of a graph G is the least k such that Gdhas a k-(d,1)-total labelling.A k-(2,1)-coupled labelling of a plane graph G is a mapping from V(G)∪F(G)to the label set{0,1,...,k}such that any two adjacent vertices have different labels,any two adjacent faces have different labels and any incident vertex and(G)of a face have the label difference at least2.The(2,1)-coupled labelling numberλvf2plane graph G is the least k such that G has a k-(2,1)-coupled labelling.In2002,Havet and Yu[7]investigated the(d,1)-total labelling of graphs and con-(G)≤Δ(G)+2d−1.jectured that:For any graph G,λTdIn2015,Chen[20]investigated the(2,1)-coupled labelling of plane graphs and con-(G)≤7.jectured that:For any plane graph G,λvf2In this thesis,we study(2,1)-total labelling and(2,1)-coupled labelling problems of some graphs.The thesis consists of three parts as follows.In Chapter1,we collect some basic notions used in the thesis and give a chief survey on two kinds of labelling problems for graphs.Main results in the thesis are stated.In Chapter2,we discuss the(2,1)-coupled labelling of some special graphs such as outerplane graphs,Halin graphs,Prism graphs,etc.In Chapter3,we discuss the(2,1)-total labelling of some special graphs such as Halin graphs,general Mycielski graph,M(K n,m)graphs,etc.Keywords:Graph;Labelling Problems;(d,1)-Total Labelling;(2,1)-Coupled Labelling目录摘要 (i)Abstract (iii)目录 (v)第一章绪论 (1)1.1基本概念 (1)1.2图的两类标号问题的研究进展 (2)1.3本论文的主要结果 (7)第二章平面图的(2,1)-点面标号 (9)2.1外平面图的(2,1)-点面标号 (9)2.2哈林图的(2,1)-点面标号 (14)2.2.1哈林图的点色数 (15)2.2.2哈林图的面色数 (16)2.2.3哈林图的(2,1)-点面标号数 (17)2.3棱柱图的(2,1)-点面标号 (19)第三章图的(2,1)-全标号 (25)3.1哈林图的(2,1)-全标号 (25)3.1.1哈林图的边色数 (25)3.1.2哈林图的(2,1)-全标号数 (26)3.2Mycielski图的(2,1)-全标号 (37)3.2.1一般Mycielski图的(2,1)-全标号数 (37)3.2.2M(K n,m)图的(2,1)-全标号数 (39)参考文献 (45)目录攻读学位期间取得的研究成果 (51)致谢 (53)浙江师范大学学位论文独创性声明 (55)学位论文使用授权声明 (55)浙江师范大学学位论文诚信承诺书 (57)vi第一章绪论本章主要分为三节,第一节介绍了本文所涉及的一些基本概念,第二节介绍了图的两类标号问题的研究进展,第三节介绍了本文的主要结果.1.1基本概念在本节中,我们介绍图论中的一些基本术语以及相关符号.图G可由一个有序二元组G=(V,E)来表示,其中E的每一个元素对应于V中的一个无序对.我们把V中的元素叫做图G的顶点(或简称为点),E中的元素叫做图G的边.通常我们用V(G),E(G)分别表示G的顶点集合和边集合.图G的顶点数(也称作阶数)和边数我们一般用|V(G)|和|E(G)|表示,也可分别记作n和m.如果一个图G的顶点集V(G)和边集E(G)都是有限集,那么称G为有限图;否则称之为无限图.两个端点重合为一个顶点的边称为环.我们把没有重边和环的图称为简单图.除非特别指出,本文研究的图均指有限简单无向图.设u和v是图G中任意两个点,e为图G中任意一条边.如果e=uv∈E(G),那么称u和v相邻,且u和v是e的两个端点,也可以说u和v分别与e关联.在图中,与同一个顶点关联的边称作相邻的.设v∈V(G),把与v相关联的边的条数叫做v在G中的度数,用d G(v)表示.把与v相邻的所有的顶点全体构成的集合称作v在G中的邻域,记作N G(v).根据定义,可以得到:d G(v)=|N G(v)|.称度数为k的顶点为k度点,简记为k-点.类似地,如果一个点至少(至多)与k条边相关联,那么我们把这个点分别称为k+-点(k−-点).G中顶点的度中最大值和最小值分别称为G的最大度和最小度,分别记为Δ(G)和δ(G).如果图G的任意两个点都相邻,那么我们把图G称为完全图,记作K n,其中n指的是G的顶点数.如果图G中的每个顶点的度数均是某个固定正整数k,那么我们称图G为k-正则图.我们把Δ(G),N G(v),d G(v)分别简记为Δ,N(v),d(v).对于图G=(V,E)和图H=(V′,E′),如果有V′⊆V,E′⊆E,那么我们称图H是图G的一个子图.对于V′⊆V,我们把G中属于V′的点以及与V′中的点关联的边都删除所得到的图记作G∖V′或者G−V′.对于V′⊆V,我们把由V′作为顶点集, E={e|e=uv∈E,u,v∈V′}作为边集的图叫做G中由顶点子集V′导出的子图,记作G[V].图G的一条途径是一个有限非空的点边交替序列w=v0e1v1e2...e k v n,使得对1≤i≤k,e i=v i−1v i∈E(G).若途径w上的顶点v0,v1,...,v n互不相同,则称w为一条路,记作P n,称v0,v n分别为路P n的起点和终点.起点和终点相同的路叫做圈.两个圈(面)相邻是指这两个圈(面)至少共用一条边.称路(圈)上的边数为路(圈)的长度,其中P n中的n指路中顶点的数目.如果圈的长度是奇数,那么称该圈为奇圈;否则,称之为偶圈.图G中两个顶点u和v的距离是指G中从u到v的最短路的路长,记作d G(u,v).任何两个点间都有一条路连接的图我们称为连通图,否则称为不连通图.若图G是无圈的连通图,那么称图G为一棵树,一般记作T.若图G含有圈,我们把G中最短圈的长度称为G的围长,用g(G)表示.如果能将G画在平面上,使得它的边仅在端点处相交,则称G是可平面化图.图的这种平面上的画法称为图的平面嵌入,或称作平面图.我们通常用F(G)表示面集合,简记为F.另外,对于f∈F,记f=[u1u2...u n]并用b(f)表示面f的边界,其中u1,u2,...,u n是b(f)按顺时针方向排列的边界点.面f的度数是指围成面f的边界的边数(其中割边计算两次),用d G(f)表示,简记为d(f).同时,把度数为k,至少为k,或者至多为k的面分别称为k-面,k+-面,k−-面.一个图G的最大平均度为Mad(G)= max{2|E(H)|/|V(H)|:H⊆G}.若平面图G满足:如果连接G中任意一对不相邻的顶点u和v,都会令G+uv不是一个平面图,那么我们把这类平面图称为极大平面图.此外,我们把顶点均在其无界面上的这类平面图称为外平面图.文中所提到的术语和符号与文献[1]基本一致,其他未介绍的图论术语将在必要时予以阐述.特别地,本文所考虑的图都是无环无割边的简单连通平面图.另外,在本文中,我们用a(a)表示数字a的循环,用c(a)=b表示a的标号为b.1.2图的两类标号问题的研究进展图论是近些年来数学上较为活跃的一个分支,与其他的数学分支,如群论、概率论、拓扑学、矩阵论、数值分析等有着密切的联系.凡有着二元关系的系统,应用图论均可建立一种合适的数学模型,因而图论在很多学科领域有着重要地位和作用.此外,图论的理论和方法也是数学竞赛、数学建模等的理论基础和工具.图论的应用及其广泛,内容也很丰富.我们现实中的很多问题都能转化成图进行研究,图论非常贴近我们的现实生活.例如:无线通讯频道分配、任务分派、交通定向、调度问题、考试日程安排、化学品的存储问题等均可用图论来进行解决.从20世纪50年代以后,由于计算机的迅速发展,图论的发展得到了有力的推动,使得图论成为数学中发展最快的分支之一.图的染色理论是图论最重要的分支之一,它也是引领图论发展的研究方向之一.图的染色问题的研究来源于著名的“四色问题”.“四色问题”也称作“四色猜想”是图论乃至整个数学领域中最著名、最困难的问题之一.1852年,Francis Guthrie注意到在英格兰地图上使用4种颜色就可以使相邻的区域(有公共边界)有不同的颜色.在这个基础上,他猜想任何地图都可以用4种颜色染好.换句话说:平面上给定一张世界地图,如果任意两个国家的公共边界上至少有一段连续曲线,那么我们说这两个国家是相邻的.所谓四色猜想就是说,总可以用至多四种颜色给每一个国家染色,使得相邻国家得到不同的颜色.图的L(2,1)-标号问题起源于频道分配问题.组建一个无线电收发网络,为一个无线电网络中的每个基站分配无线电频道,为减少干扰,要求距离非常近的两个基站频道之间的差值足够大,而距离较近的两个基站之间频道不能相同.同时,因为无线电频谱资源是有限的且需合理利用,所以要尽可能少的使用频道数且令整个无线电网络所使用频道间隔尽可能小.于是建立了这样的一个数学模型:每一个基站就是图中的点,需要直接通信的基站之间用一条边相连,若两个基站在图中相邻,则要求它们所使用频道差值至少为2;若两个基站之间距离为2,则要求它们使用不同的频道.这就图论中经典的距离2标号问题,也被称为L(2,1)-标号问题.显然,L(2,1)-标号问题可以看成是一种特殊的染色问题.1992年,Griggs和Yeh[2]最先引入并研究了图的L(2,1)-标号问题,并证明一个图是否存在一个k-L(2,1)-标号是NP-完全的.后来,随着越来越多的学者对L(2,1)-标号问题进行研究,一些与之相关的推广问题先后被提出并研究,如L(p,q)-标号问题[26]、[r,s,t]-染色问题[29]、(2,1)-全标号问题[7,34]、(2,1)-点面标号问题[20]等.令p,q为两个非负整数,图G的L(p,q)-标号是一个从V(G)到标号集合{0,1,...,k}的映射c,使得当x和y是相邻的顶点时,|c(x)−c(y)|≥p,当x和y是距离为2的顶点时|c(x)−c(y)|≥q.图G的L(p,q)-标号数λp,q(G)定义为使得G是L(p,q)-标号最小的k值.特别地,我们有λ(G)=λ2,1(G).λ(G)的下界很显然为Δ(G)+1,当G=K1,Δ(G)时下界是紧的.在1992年,对于任意图的上界,Griggs和Yeh[2]提出猜想:猜想1.2.1.[2]对于Δ≥2的任意图G,λ2,1(G)≤Δ2.在同一篇文章中,Griggs和Yeh[2]证明了:定理1.2.1.[2]对于任意图G,λ2,1(G)≤Δ2+2Δ.在1993年,Jonas[12]用构造标号证明了:定理1.2.2.[12]对于任意图G,λ2,1(G)≤Δ2+2Δ−4.在1996年,Chang和Kuo[13]证明了:定理1.2.3.[13]对于任意图G,λ2,1(G)≤Δ2+Δ.在2003年,Kr´a l和ˇSkrekovski[14]证明了:定理1.2.4.[14]对于任意图G,λ2,1(G)≤Δ2+Δ−1.在2008年,Goncalves[16]证明了:定理1.2.5.[16]对于任意图G,λ2,1(G)≤Δ2+Δ−2.在2012年,Havet,Reed和Sereni[4]证明了:定理1.2.6.[4]存在一个正整数Δ0使得满足Δ≥Δ0的任意图G,λ2,1(G)≤Δ2.Geores和Mauro[5]对于所有的p,q(p>q)计算了路和圈的跨度.设G是一个平面图,p和q是两个正整数并满足p≥q.在2002年,Boroding[64]等给出了:定理1.2.7.[64]如果Δ≥47,那么λp,q(G)≤(2q−1)⌈9Δ/5⌉+8p−8q+1.在2003年,Van den Heuvel和McGuinnes[9]证明了:定理1.2.8.[9]λp,q(G)≤(4q−2)Δ+10p+38q−24.在2004年,Wang和Lih[3]根据平面图G的围长g(G)得到了下面结论:定理1.2.9.[3]设G是最大度为Δ的平面图,g(G)是G的围长:若g(G)≥7,则λp,q(G)≤(2k−1)Δ+4p+4q−4;若g(G)≥6,则λp,q(G)≤(2k−1)Δ+6p+12q−9;若g(G)≥5,则λp,q(G)≤(2k−1)Δ+6p+24q−15.在2005年,Molloy和Salavatipour[30]证明了:定理1.2.10.[30]λp,q(G)≤q⌈5Δ/3⌉+18p+77q−18.在2008年,Wang和cai[59]证明了:定理1.2.11.[59]G是一个不含4-圈的平面图,那么λ2,1(G)≤min{4Δ+9,Δ+57}.在2012年,Zhu[65]等人证明了:定理1.2.12.[65]G是一个不含4-圈与5-圈的平面图,那么λp,q(G)≤max{(2q−1)Δ+6p+2q−4,9(2q−1)+8p−4,6(2q−1)+10p−5};λp,q(G)≤max{(2q−1)Δ+6p+6q−6}.在2014年,Zhu[66]等人证明了:定理1.2.13.[66]设G是一个不含4-圈的平面图,那么λp,q(G)≤(2q−1)Δ+8p+14q−11.在2004年,Bodlaender,Kloks和van Leeuwen[60]证明了:定理1.2.14.[60]对于Δ≥2的任意的外平面图G,λ2,1(G)≤Δ+8.同年,Calamoneri和Petreschi[57]证明了:定理1.2.15.[57]对于最大度至少为8的外平面图,λ2,1(G)≤Δ+2.在2013年时,Li和Zhou[54]证明了:定理1.2.16.[54]对于最大度为3的外平面图G,λ2,1(G)≤6.对于任意的一棵树T,在1992年时,Griggs和Yeh[2]证明了λ2,1(T)不是Δ+1就是Δ+2,并且猜想确定这两类问题是NP-困难的.1996年,Chang和Kuo[13]否定了这一猜想,同时给出了一个基于动态规划的多项式时间算法.2013年,Hasunuma[33]等人给出了一个线性时间算法.但是,目前还没有人能够完全刻画树的L(2,1)-标号.目前,关于树的L(2,1)-标号数的分类,只有一些充分条件.在2006年,Wang[53]证明了:定理1.2.17.[53]设T是一棵最大度至少为3的树,T不含距离为1,2或4的最大度点时,λ2,1(T)=Δ(T)+1.在2012年,Zhai,Lu和Shu[31]证明了:定理1.2.18.[31]T是一棵最大度至少为5的树,且T不含距离为2或4的最大度时,λ2,1(T)=Δ(T)+1.关于树的L(p,q)-标号问题(q>1)的研究仍然是开放的,很多学者为此做了很大的努力.在1995年,Whittlesey,Georges和Mauro[19]研究了关联图的L(2,1)-标号问题.图G的关联图是把G的每条边用长为2的路代替后得到的图.G的关联图的L(2,1)-标号问题等价于对V(G)∪E(G)的每个元素分配一个整数,使得G中相邻的顶点标号不同,相邻的边标号不同,相关联的点和边标号差值至少为2.这个标号就叫做(2,1)-全标号.2002年,Havet和Yu[7]将其推广为(d,1)-全标号这一形式.设d≥1为一个整数,图G的k-(d,1)-全标号是一个从V(G)∪E(G)到标号集合{0,1,...,k}的一个映射c,使得,(1)当x和y是相邻的顶点时,c(x)=c(y);(2)当e和e′是相邻的边时,c(e)=c(e′);(3)当x和e是相关联的点和边时,|c(x)−c(e)|≥d.G的(d,1)-全标号数定义为G的所有的k-(d,1)-全标号中的最小的k值,记作λT(G).d当d=1时,(1,1)-全标号就是全染色问题.这个问题在[8,11,52]中已经被广泛研究.在2002年时,Havet和Yu[7]提出了一个猜想,即:(G)≤Δ+2d−1.猜想1.2.2.[7]对于任意图G,λTd在2003年时,Havet[15]证明了:定理1.2.19.[15]对于任意图G:(1)λTd(G)≤2Δ−log(Δ+2)+d−1+2log(16d−10);(2)如果Δ≥3,那么λT2(G)≤2Δ;(3)如果Δ≥5并且是奇数,那么λT2(G)≤2Δ−1.在2003年,Bazzaro,Montassier和Raspaud[18]证明了下列结果:定理1.2.20.[18]如果平面图G的围长g(G)和最大度Δ满足以下条件之一,那么λTd(G)≤Δ+d−2:(1)Δ≥2d+1且g(G)≥11;(2)Δ≥2d+2且g(G)≥6;(3)Δ≥2d+3且g(G)≥5;(4)Δ≥8d+2.在2006年,Montassier和Raspaud[19]证明了下列结果:定理1.2.21.[19]如果一个图G满足以下条件之一,那么λTd(G)≤Δ+d−2:(1)Δ≥2d+1且Mad(G)<52;(2)Δ≥2d+2且Mad(G)<3;(3)Δ≥2d+3且Mad(G)<103.在2007年,Chen和Wang[25]证明了:定理1.2.22.[25]设G是一个外平面图.(1)若Δ(G)≥5,那么λT2(G)≤Δ(G)+2;(2)若Δ(G)=3且G是2-连通的,那么λT2(G)≤5;(3)若Δ(G)=4且G没有相交3圈,那么λT2(G)≤6.在2008年时,Havet和Yu[32]证明了:定理1.2.23.[32]对任意图G,λTd(G)≤2Δ+d−1.2011年Zhang,Yu和Liu[17]证明了:定理1.2.24.[17]设G是一个1-可平面图,如果Δ≥8d+4或者Δ≥6d+2且g(G)≥4,那么λTd(G)≤Δ+d−2.在2014年,刘新月和孙磊[24]证明了:定理1.2.25.[24]若G为连通图,Δ(G)≤3,mad(G)<94,则λT2≤5.若G为连通图,Δ(G)≤4,mad(G)<52,则λT2≤7.在2017年,Yu,Zhang,Wang[22]等人证明了:定理1.2.26.[22]最大度Δ≥12的平面图G的(2,1)-全标号数λT2(G)至多为Δ+2.在2018年,吕萧和孙磊[21]证明了:定理1.2.27.[21]设G是一个Δ=p+5的平面图,且G不包含5-圈和6-圈,那么G的(2,1)-全标号数λT2(G)=2Δ−p,p=1,2,3.2015年,陈东[20]给出了平面图G的(2,1)-点面标号的定义.平面图G的k-(2,1)-点面标号是对G的点和面的以{0,1,···,k}为标号集的一个标号分配,使得G中相邻的点标号不同,相邻的面标号不同,相关联的点和面的标号差值至少为2.G的(2,1)-点面标号数λvf2(G)定义为G的所有k-(2,1)-点面标号中最小的k值.并且证明了:定理1.2.28.[20]λvf2(G)=2当且仅当G是一个空图.定理1.2.29.[20]λvf2(G)=3当且仅当G是一个非空森林.定理1.2.30.[20]如果G是一个欧拉二部平面图,那么λvf2(G)=4.定理1.2.31.[20]如果C是一个圈,那么当C是一个偶圈时,λvf2(C)=4;当C是一个奇圈时,λvf2(C)=5.定理1.2.32.[20]如果K4是一个4阶完全图,那么λvf2(K4)=6.定理1.2.33.[20]如果G是一个2-连通外平面图,那么4≤λvf2(G)≤6.定理1.2.34.[20]如果G是一个2-连通的开外平面图,那么λvf2(G)=6当且仅当G中存在一个无2-点的奇内面或者存在两个距离为奇数的奇内面.定理1.2.35.[20]设G是一个2-连通的外平面图,并且G只含有一个闭内面¯f,其中¯f是一个偶面,那么λvf2(G)=6当且仅当G有一个极大开子图是坏的.定理1.2.36.[20]设G是一个2-连通的外平面图,并且G只含有一个闭内面¯f,其中¯f是一个奇面,那么λvf2(G)=5当且仅当G的极大开子图都是好的,并且¯f上存在一个4-点v使得v关联的2个极大开子图中的每一个奇内面与¯f在G中的距离都是奇数.1.3本论文的主要结果本学位论文主要是关于图的(2,1)-全标号及(2,1)-点面标号问题,得到的主要结果如下:(1)设G为只含有一个闭内面¯f的2-连通外平面图,且¯f是一个偶面,那么λvf2(G)=6当且仅当G是坏的.(2)设W n(n≥3)是一个轮图,当n为偶数时,λvf2(W n)=5;当n为奇数时,λvf2(W n)=6.(3)设G是一个哈林图,那么λvf2(G)≤7.(4)对于棱柱图P(n),当n为偶数时,λvf2(P(n))=5;当n为奇数时,λvf2(P(n))=6.(5)设H=T∪C是一个哈林图且Δ≥7.如果H里每一个Δ-点至多相邻Δ-3个Δ-点,那么λT2(H)=Δ+1.(6)设G是有n≥2Δ(G)+5个点的简单图,那么λT2(M(G))=n+1.(7)设M(K n,m)(m≥n+3)的最大度为Δ,那么λT2(M(K n,m))=Δ+1.第二章平面图的(2,1)-点面标号本章我们主要研究外平面图、哈林图、棱柱图的(2,1)-点面标号数.定义2.1.1.[20]图G的k-(2,1)-点面标号是对图的点和面的一个标号分配,即存在映射c: V(G)∪F(G)→{0,1,···,k},使得(1)G中相邻的两个点u与v,满足|c(u)−c(v)|≥1;(2)G中相邻的两个面f与g,满足|c(f)−c(g)|≥1;(3)G中相关联的点u与面f,满足|c(u)−c(f)|≥2.(G),图G的所有k-(2,1)-点面标号中,最小的k被称为图G的(2,1)-点面标号数,记为λvf2即λvf(G)=min{k:G有一个k-(2,1)-点面标号}.若c是图G的一个k-(2,1)-点面标号,对2于任意的元素x∈V(G)∪F(G),令c′(x)=k−c(x).显然,c′也是G一个k-(2,1)-点面标号,并称标号c与c′是对称的.2.1外平面图的(2,1)-点面标号本节研究外平面图的(2,1)-点面标号.若无特殊说明,本节中的外平面图均为2-连通外平面图.设G是一个外平面图,令f O为G的外面,并称f O上的边为外边,其余的边为内边.设f是G中的一个内面,若f上的边全是内边,则称f为闭内面,否则称为开内面;只含有一条内边的开内面被称为端面.若G不含闭内面,则称G为开外平面图.此外,定义G的内面对偶图G*:G的内面作为G*的点,G*中两个点相邻当且仅当它们在G中对应的内面有公共边,并删除G*中的重边.显然,G*是一棵树.对于外平面图,文献[20]已经给出了其(2,1)-点面标号数的上下界:(G)≤6.引理2.1.1.[20]如果G是一个外平面图,那么4≤λvf2容易验证,这两个界都是紧的.此外,文献[20]中还有下列相关结论:(G)=4.引理2.1.2.[20]如果G是一个欧拉二部平面图,那么λvf2(G)=6当且仅当G中存在一个无2-点的引理2.1.3.[20]设G是一个开外平面图,那么λvf2奇内面或者存在2个距离为奇数的奇内面.根据引理2.1.1与引理2.1.2,对于一个外平面图G,若其不是欧拉二部平面图,那么G的(2,1)-点面标号数不是5就是6.而引理2.1.3给出了开外平面图的刻画条件,那么研究含有闭内面的外平面图的(2,1)-点面标号数的刻画条件就变得很有价值.本节主要研究只含有一个闭内面且该闭内面为偶面的外平面图,并找到了其(2,1)-点面标号数的刻画条件.在给出定理2.1.1的证明之前,我们需要一些术语符号和基本引理.设c是图G的一个(2,1)-点面标号,uv是G中的一条边.为方便叙述,若c(u)=a, c(v)=b,则称uv为一条(a,b)V-边.引理2.1.4.[20]设G是一个含有5-(2,1)-点面标号的2-连通图,那么G中只可能有(0,1)V-边,(0,2)V-边,(0,5)V-边,(1,2)V-边,(2,3)V-边,(3,4)V-边,(3,5)V-边,(4,5)V-边.引理2.1.5.设G为只含有一个闭内面¯f的外平面图,且¯f为偶面,f1为奇阶开内面.若λvf(G)≤5,则G存在一个5-(2,1)-点面标号c,使得f1上一定有标号为2或3的点,且G的2点标号集合为{0,1,2}或{3,4,5},相应的面标号集合为{3,4,5}或{0,1,2}.证明.利用反证法.首先,假设f1上没有标号为2或3的点.对于f1上的任意一条边e,根据引理2.1.4,e只可能为(0,1)V-边,(0,5)V-边,(4,5)V-边,而只使用这三类边无法构造出奇面.这与f1是奇面矛盾.因此,f1上一定有标号为2或3的点.于是,我们又假设G的点标号集合不是{0,1,2},也不是{3,4,5}.根据标号的对称性,不妨设f1上有一个标号为2的点u.那么f1上不存在标号为4或5的点,否则f1与外面f O的标号只能为0,这是一个矛盾.于是,再假设f1上存在一个标号为3的点.由于f1不是G的闭内面,那么f1与外面f O的标号就是0和5.进而推知,f1上其它点的标号只能为2和3,这与奇面至少需要3个不同的标号相矛盾.因此,f1上点的标号集只能是{0,1,2},并且标号集合中的每个标号都会被用到,同时c(f O),c(f1)∈{4,5}.根据标号的对称性,如果f1上点的标号集使用{3,4,5},那么c(f O),c(f1)∈{0,1}.显然,对于外面f O而言,这是两种完全矛盾的标号方法,所以G上所有的奇阶开内面必定同时使用点标号集合{0,1,2}或{3,4,5}.又因为G含有一个偶阶的闭内面,由假设可知,G中至少存在一个偶面f2使得其点标号集不是{0,1,2}和{3,4,5}.下面讨论G中偶面的标号情况.根据标号的对称性,不妨设G中所有奇阶开内面使用点标号集合{0,1,2},那么对应的面标号集合就是{4,5}.对于外面f O,若c(f O)=4,则每一个偶面的点标号一定属于{0,1,2},与假设矛盾.于是,c(f O)=5.由假设可知,偶面f2上一定存在一个点标号为3的点v,从而c(f2)∈{0,1,5}.如果c(f2)=1,结合c(f O)=5,那么f2上所有的点只能使用标号3,矛盾.因此,c(f2)∈{0,5}.下面讨论偶面f2为闭内面时的情形.为方便叙述,不妨令f2=¯f2.若c(¯f2)=0,则¯f2上所有的点标号只能为2和3.由于¯f2是G中唯一的闭内面,所以其邻面都是标号为5的开内面,这与c(f O)=5矛盾.于是,假设c(¯f2)=5.由c(v)=3可知,v在¯f2上的邻10点(设为w1,w2)满足c(w1),c(w2)∈{0,1,2}.根据引理2.1.4,c(w1)=c(w2)=2.设g1,g2分别为vw1与vw2区别于¯f2的关联面,易知c(g1)=c(g2)=0,并且开内面g1与g2上所有点的标号都是2或3,进而可得g1与g2都是偶阶的终端面.于是,修改部分元素标号,将g1,g2上所有标号为3的点的标号修改为1,再令c(v)=1,c(g1)=c(g2)=4,显然这还是一个正常5-(2,1)-点面标号,与假设矛盾.如果f2是开内面,由c(f O)=5可得,c(f2)=0,那么f2上所有点的标号都是2或3,并且f2不存在与之相邻的开内面.于是,f2必然与¯f相邻,并且c(¯f)=5.因为f2上所有点的标号都是2或者3,这就意味着¯f上也有标号为3的点.此时,与之前讨论的闭内面¯f2上有标号为3的点并且c(¯f2)=5时的情形类似,同理可以导出矛盾.因此,根据标号的对称性,G中一定存在一个5-(2,1)-点面标号使得所有点的标号集为{0,1,2}或{3,4,5},与之对应的,面的标号集合就是{3,4,5}或{0,1,2}.引理证毕.设G是只含有一个闭内面¯f的外平面图,V(¯f)是¯f上点的集合.对于¯f上任意一条边uv,必然存在一个最长的圈,使得该圈包含u和v,但不含V(¯f)中其它的点;把这个圈上的点在图G中的导出子图称为G的一个极大开子图,记为G uv.显然,G的每一个开内面f都只存在于它唯一对应的极大开子图中.引理2.1.6.设G是只含有一个闭内面的外平面图,G1是G的一个极大开子图,则λvf2(G1)≤λvf2(G).证明.假设G存在一个k-(2,1)-点面标号c,¯f是G中唯一的闭内面,外面f O的标号为a.如果c(¯f)=a,那么修改¯f的标号,令c(¯f)=a.因为¯f与f O不相邻,同时f O与G中所有点相关联,所以这样的修改是合理的,c仍然是G的一个k-(2,1)-点面标号.根据极大开子图的定义,显然c也是G1的一个k-(2,1)-点面标号.因此,λvf2(G1)≤λvf2(G).引理证毕.下面给出一些必要的定义与符号:令f′i(i=1,2,3...)表示G中所有不含2-点且与闭内面¯f相邻的奇面;令f′′j (j=1,2,3...)表示G中所有与闭内面¯f相邻的偶面,且f′′j对应的极大开子图中存在一个奇内面与f′′j 的距离为奇数.若无特殊说明,f′i与f′′j既表示这两种特殊面的类型,同时又作为这些面的名称.对于G的任意两个面f与g,设V(f,g)=V(f)∩V(g).特别地,令V4(f,g)⊆V(f,g)表示面f和g的度数为4的公共点的全体.设点集P i=V4(f′i ,¯f)∖⋃︀jV4(f′′j,¯f).显然,对于只含有一个闭内面¯f的外平面图G而言,P i⊆V(¯f),且每个P i、V4(f′i ,¯f)和V4(f′′j,¯f)中,至多含有2个4-点.11定义2.1.2.设外平面图G只含有一个闭内面¯f,若G存在以下4种情况之一,则称G为坏的.(a)G的一个极大开子图中存在一个无2-点的奇内面;(b)G的一个极大开子图中存在两个距离为奇数的奇内面;(c)存在一个P i=∅;(d)从G的每个P i中任意选取一个点(可以是两个P i的交点),每种选法选出的点中总存在两个相邻的点.接下来,就是本节的主要结论及其证明.定理2.1.1.设G为只含有一个闭内面¯f的2-连通外平面图,且¯f是一个偶面,那么λvf2(G)= 6当且仅当G是坏的.证明.给出定理的证明之前,我们断言如下.断言1:设G存在一个5-(2,1)-点面标号c,如果点标号集合为{0,1,2}并且外面f O的标号为5,则以下情形成立:(i)面标号集合为{3,4,5},其中开内面标号集合为{3,4};(ii)如果某个开内面f为奇面时,那么c(f)=4,并且f上一定存在标号为2的点;(iii)f′i 上一定存在标号为2的点,并且这些点一定属于V4(f′i,¯f);(iv)f′′j上不存在标号为2的点.断言1的证明:根据引理2.1.5以及标号的对称性,G存在一个5-(2,1)-点面标号c,使得点标号集合为{0,1,2},面标号集合为{3,4,5}.因为c(f O)=5,于是开内面的标号集合为{3,4}.同样地,根据引理2.1.5,奇内面上一定存在标号为2的点,所以奇内面的标号为4.情形(i)(ii)成立.根据情形(ii)以及f′i 的定义,f′i作为奇内面,其中一定存在标号为2点,并且c(f′i)=4.现在将f′i 上的点分成两类,一类点用x表示,x/∈V(f′i,¯f);另一类点用y表示,y∈V(f′i,¯f).对于f′i 上的点x,因为f′i不含2-点,所以d(x)≥3.于是,可以假设x关联着一条内边e,并且e是另一个开内面g与f′i的公共边.如果c(x)=2,根据情形(i),开内面标号集合为{3,4},那么c(f′i )=c(g)=4,这是一个矛盾.于是,f′i上标号为2的点只可能是y∈V(f′i,¯f).我们再将y类点分为两类,分别是y1/∈V4(f′i ,¯f)与y2∈V4(f′i,¯f).因为G是2-连通的外平面图,而且¯f是G中唯一的闭内面,所以d G(y1)≥5.也就是说,除了外面f O与唯一的闭内面¯f之外,每一个y1类的点还关联着至少3个开内面,而其中必然有两个开内面是相邻的.如果c(y1)=2,那么这两个相邻的开内面的标号都只能为4,矛盾.因此,f′i中标号为2的只能是y2类的点.情形(iii)成立.。
若干图的Mycielski图的点可区别均匀边色数
若干图的Mycielski图的点可区别均匀边色数
安常胜;冯旭霞;罗亮;崔俊峰
【期刊名称】《苏州科技学院学报(自然科学版)》
【年(卷),期】2010(27)1
【摘要】简单图G的正常边染色f,若对于(A)u,v∈V(G),有C(u)≠C(v),称f是图G 的点可区别边染色,其中C(u)={f(uv)|uv∈E(G)}.若满足||Ei-|Ej||≤1(i,j=1,2,…,k),其中e∈Ei,f(e)=i(i=1,2,…,k),称f是图G的点可区别均匀边染色.讨论了若干图的Mycielski图的点可区别均匀边染色.
【总页数】6页(P21-25,60)
【作者】安常胜;冯旭霞;罗亮;崔俊峰
【作者单位】兰州交通大学数理与软件工程学院,甘肃,兰州,730070;兰州交通大学数理与软件工程学院,甘肃,兰州,730070;兰州交通大学数理与软件工程学院,甘肃,兰州,730070;兰州交通大学数理与软件工程学院,甘肃,兰州,730070
【正文语种】中文
【中图分类】O157.5
【相关文献】
1.若干图广义Mycielski图的点边邻点可区别的全染色 [J], 强会英;张忠辅
2.若干Mycielski图邻点可区别Ⅰ-均匀全染色 [J], 张婷;朱恩强;赵双柱;杜佳
3.若干Mycielski图的邻点可区别均匀全染色 [J], 史小艺;苗连英;张宁
4.P2n的Mycielski图的邻强边色数和邻点可区别全色数 [J], 孔令峰;苏文龙;罗海鹏;黎贞崇;何建东
5.广义Mycielski图的邻强边色数和邻点可区别全色数的两个上界 [J], 李沐春;强会英;张忠辅
因版权原因,仅展示原文概要,查看原文内容请购买。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
情形 1.1 当 n=3 时,令 C={1,2,3,4,5}构造 f 如下
f(v1v2)=f(v1′w)=1 f(v2v3)=f(v2′w)=2 f(v1v3)=f(v3′w)=3
f(v1v2′)=f(v2v3′)=f(v3v1′)=4 f(v2v1′)=f(v3v2′)=f(v1v3′)=5
此时
C(v1)={1,3,4,5} C(v2)={1,2,4,5} C(v3)={2,3,4,5} C(v1′)={1,4,5}
安常胜, 冯旭霞, 罗 亮, 崔俊峰
(兰州交通大学 数理与软件工程学院,甘肃 兰州 730070)
摘 要 : 简 单 图 G 的 正 常 边 染 色 f, 若 对 于 坌u,v∈V (G), 有 C (u)≠C (v), 称 f 是 图 G 的 点 可 区 别 边 染 色 , 其 中
C(u)={f(uv) uv∈E(G)}。 若满足 |Ei|-|Ej| ≤1(i,j=1,2,…,k),其中坌e∈Ei, f(e)=i(i=1,2,…,k),称 f 是图 G 的点可 区别均匀边染色。 讨论了若干图的 Mycielski 图的点可区别均匀边染色。
f(v1v2)=f(v1′w)=1 f(v1v2′)=f(v3′w)=f(v2v3)=2 f(v2v1′)=f(v3v2′)=3 f(v2v3′)=f(v2′w)=4
此时
C(v1)={1,2} C(v2)={1,2,3,4} C(v3)={2,3} C(v1′)={1,3}
23 i=2
C(v2′)={2,3,4} C(v3′)={2,4} C(w)={1,2,4}且|Ei|= 2 其他
第1期
安常胜等:若干图的 Mycielski 图的点可区别均匀边色数
23
≥5 n=3,4
定理 2 设 Cn 是 n 阶圈,则有 χvde′(M(Cn))= n n≥5 。
证明 情形 1 当 n=3,4 时,易得 μ(M(C3))=μ(M(C4))=5。
显然,有 χvde′(M(C3))≥μ(M(C3))=5, χvde′(M(C4))≥μ(M(C4))=5,只需证明 M(C3),M(C4)有一个 5-VDEEC。
此时
C(v1)={3,5} C(v2)={1,2,3,5} C(v3)={1,2,4,5} C(v4)={4,5}
C(v1′)={1,3} C(v2′)={2,3,5} C(v3′)={1,3,5} C(v4′)={1,4}
22 i=2,4
C(w)={1,2,3,4,v∈V(M(P4)),若 u≠v,均有 C(u)≠C(v),且 |Ei|-|Ej| ≤1(i,j=1,2,3,4,5)。
23 i=1,n-1,n
C(w)={1,2,…,n} C(vi′)={i,i+1,i+2}(i=2,3,…,n-2}且|Ei|= 4 其他 显然,对坌u,v∈V(M(Pn)),若 u≠v,均有 C(u)≠C(v),且 |Ei|-|Ej| ≤1(i,j=1,2,…,n)。 所以,f 是 M(Pn)的一个 n-VDEEC。
所以,f 是 M(P4)的一个 5-VDEEC。
情形 3 当 n≥5 时,可求得
λ λ λ λ λ λ λ λ μ(M(Pn))=max{min{λ|
λ n
≥1},min{λ|
λ 4
≥n-2},min{λ|
λ 3
≥n-2},min{λ|
λ 2
≥4}}=n
显然,有 χvde′(M(Pn))≥μ(M(Pn))=n,只需证明 M(Pn)有一个 n-VDEEC。 令 C={1,2,…,n}构造 f 如下
关键词: 圈;星;Mycielski 图;点可区别均匀边染色;点可区别均匀边色数
中图分类号: O157.5
MR(2000) Subject Classification: 05C15
文献标识码: A
文章编号: 1672-0687(2010)01-0021-05
图论在自然科学与应用科学中都起着重要作用,图的染色问题是图论研究的主要内容之一,具有很强的
显然,有 χvde′(M(P4))≥μ(M(P4))=5,只需证明 M(P4)有一个 5-VDEEC。
令 C={1,2,3,4,5}构造 f 如下
f(v1′w)=f(v3v4′)= f(v2v3′)=1 f(v2v3)=f(v2′w)=2 f(v1v2′)=f(v2v1′)=f(v3′w)=3
f(v3v4)=f(v4′w)=4 f(v3v2′)= f(v4v3′)=f(v1v2)=5
k),则称 f 是图 G 的点可区别均匀边染色,简记为 k-VDEEC of G,且称 χvde′(G)=min{k k-VDEEC of G}为 G
的点可区别均匀边色数。
定 义 2[1~7] 对 简 单 图 G,ni 表 示 具 有 度 为 i 的 点 数 ,δ、△ 分 别 表 示 图 G 的 最 小 度 与 最 大 度 ,称 μ(G)=
E(G)},则称 f 是图 G 的点可区别边染色,简记为 k-VDEC of G,且称 χvd′(G)=min{k k-VDEC of G}为 G 的点
可区别边色数。
若 f 是图 G 的点可区别边染色,且满足 |Ei|-|Ej| ≤1(i,j=1,2,…,k),其中任意 e∈Ei, f(e)=i(i=1,2,…,
V(Fn)={vi i=0,1,…,n}, E(Fn)={v0vi i=1,2,…,n}∪{vivi+1 i=1,2,…,n-1} 记 n+1 阶轮 Wn 为
V(Wn)={vi i=0,1,…,n}, E(Wn)={v0vi i=1,2,…,n}∪{vivi+1 i=1,2,…,n-1}∪{v1vn}
— —— —— —— —— —— —— —— —— —— [收稿日期] 2008-04-23 [基金项目] 国家自然科学基金资助项目(10771091) [作者简介] 安常胜(1983-),男,甘肃榆中人,硕士研究生,研究方向:组合与网络优化的研究。
22
苏州科技学院学报(自然科学版)
2010 年
文 中 未 加 说 明 的 符 号 或 标 记 可 见 参 考 文 献 [2,8,9]。
≥3 i=4,5
C(v2′)={2,4,5} C(v3′)={3,4,5} C(w)={1,2,3}且|Ei|= 2 其他
显然,坌u,v∈V(M(C3)),若 u≠v,均有 C(u)≠C(v),且 |Ei|-|Ej| ≤1(i,j=1,2,3,4,5)。
所以,f 是 M(C3)的一个 5-VDEEC。
情形 1.2 当 n=4 时, 令 C={1,2,3,4,5}构造 f 如下
f(v1v2)=f(v4v1′)=f(v4′w)=1 f(v2v3)=f(v1v2′)=f(v1′w)=2 f(v3v4)=f(v2v3′)=f(v2′w)=3
f(v1v4)=f(v3v4′)=f(v3′w)=4 f(v1v4′)=f(v4v3′)=f(v3v2′)=f(v2v1′)=5
λ λ max{min{λ|
λ i
≥ni}δ≤i≤△}为图 G 的组合度。
猜想 1[2,3] 对|V(G)|≥3 的简单连通图 G,则有 μ(G)≤χvde′(G)≤μ(G)+1。 猜想 2[2,3] 对|V(G)|≥3 的简单连通图 G,则有 χvde′(G)=χvd′(G)。 定义 3 对图 G(V,E),M(G)称为 G 的 Mycielski 图,如果 V(M(G))=V(G)∪V′∪{w};
显然,坌u,v∈V(M(C4)),若 u≠v,均有 C(u)≠C(v),且 |Ei|-|Ej| ≤1(i,j=1,2,3,4,5)。
所以,f 是 M(C4)的一个 5-VDEEC。
情形 2 当 n≥5 时,可求得
λ λ λ λ λ λ μ(M(Cn))=max{min{λ|
λ n
≥1},min{λ|
定理 1
4n
n
n=3
n
设
P(n)为
n
阶路(n≥2),则有
χvde′(M(Pn))=
5nn
n n
n=2,4 。
n
nnn
n
其他
证明 情形 1 当 n=3 时,易得 μ(M(P3))=4。
显然,有 χvde′(M(P3))≥μ(M(P3))=4,只需证明 M(P3)有一个 4-VDEEC。
令 C={1,2,3,4}构造 f 如下
C(v1)={3,n} C(v1′)={1,3} C(v2)={2,3,4,n} C(vn)={1,2} C(vn′)={2,n} C(vn-1′)={1,2,n-1} C(vn-2)={1,n-1,n-2,n-3} C(vn-1)={1,2,n-2,n} C(vi)={i-1,i,i+1,i+2}(i=3,4,…,n-3}
理论和现实意义。 目前,国内外众多学者对该问题作了大量工作,其中包括确定具有某种属性的特殊图的色
数的研究。 笔者得到了圈、星的 Mycielski 图的点可区别均匀边色数。
定 义 1[1~7] 对 简 单 图 G 的 正 常 边 染 色 f, 任 意 u,v∈V (G), 若 C (u)≠C (v), 其 中 C (u)={f (uv) uv∈
C(vi′)={i,i+1,i+2}(i=1,2,…,n-2)且|Ei|=4(i=1,2,…,n)
显然,对坌u,v∈V(M(Cn)),若 u≠v,均有 C(u)≠C(v),且 |Ei|-|Ej| ≤1(i,j=1,2,…,n)。