1. 引言
本文只考虑有限简单图,设G是一个点集为V(G),边集为E(G)的图,它的最大度,最小度分别为Δ(G),δ(G)。当点v的度是k时,称为k-点。令NG(v)代表与v相邻的点集。很容易得到对简单图G中的任一点v,有
。在不会混淆的情况下,Δ(G),δ(G),dG(v)和NG(v)分别可以写成Δ,δ,d(v)和N(v)。令Pn和Cn分别表示阶为n的路和阶为n的圈。如果图G的每个点的度都是一个固定的常数k,则称G是k-正则的。一个图G如果是3-正则的,则称为立方图;如果满足
,则称为子立方图。图G如果满足
,则称G为正常的。
图G的一个正常k-全染色是指一个映射
,使得对任意两个相邻的或相关联的元素
,有
。设
。如果对任意一对相邻的点u和v,有
,我们把φ称为邻点可区别的。图G的邻点可区别全色数Xat(G)是使G有一个k-邻点可区别全染色的最小正整数k。此外,如果对任意一对相邻的点u和V,有
和
,我们称φ为严格邻点可区别的。图G的严格邻点可区别全色数χat(G)是使G有一个k-严格邻点可区别全染色的最小正整数k。
2005年,张忠辅等人在 [1] 中首先给出了图的邻点可区别全染色的概念,并且对圈、完全图、完全二部图、扇、轮图和树的邻点可区别全染色展开研究,确定了它们的邻点可区别全色数,并根据特殊图的邻点可区别全色数提出了如下猜想:
猜想1 [1] 对于阶不少于2的简单连通图G,有
。
如果猜想1成立,则这个上界是紧的。例如,对于任意正整数
,有
。Chen和Wang分别在 [2] 和 [3] [4] 中证明了
的连通图满足猜想1。奇数阶的完全图的邻点可区别全色数可以达到猜想1的上界,由于奇数阶的完全图的最大度为偶数,但是对于
的连通图,上界6是否是紧的这一问题至今仍未解决。Papaioannou和Raftopoulou在 [5] 中从算法的角度证明了所有的4-正则图G,有
,是满足猜想1的。Lu等人在 [6] 中运用组合零点定理证明了所有
的连通图G,有
,是满足猜想1的。Huang,Wang和Yan在 [7] 中把
的图的邻点可区别全色数的上界改进到2Δ(G)。
严格邻点可区别全染色(被命名为Smarandachely邻点可区别全染色)有及以下猜想。
猜想2 对于阶不小于2的简单连通图G,有
。
2009年,梁少卫在 [8] 中证明了
的k-正则偶图和k-方体图Qk,满足猜想2。2011年,卫斌等人在 [9] 中证明了圈的平方图,满足猜想2。文献 [10] [11] [12] [13] 中给出了若干类的3-正则图的严格邻点可区别全色数均为5,满足猜想2。2015年,陈妹君等人在 [14] 中研究了Mycielski图的严格邻点可区别全色数满足猜想2。2019年,李春梅等人在 [15] 证明了
的2-连通外平面图满足猜想2。
2. 主要结果
在展示主要结果前,我们先建立一些有用的观察。首先,根据定义,以下式子显然成立。
引理1 [2] 如果图G是一个
的图,则G有一个6-邻点可区别全染色。
引理2 对
,每个r-正则图G满足
。
结合引理1和2,我们得到以下事实:
引理3 如果图G是一个3-正则图,则
。
引理4 对一个阶为n的圈Cn,有
。
引理5 对
,有
。
证明:设
,连接v1和vn得到一个圈Cn。设
是一个颜色集合。由引理4,Cn有一个4-严格邻点可区别全染色φ。除了点v1和vn,用与Cn相同的颜色染Pn中的点和边,设
,
,用α染点v1,用β染点vn。 £
定理1 如果图G是一个正常的子立方图,则
。
证明:我们用反证法证明。设
是一个颜色集合。假设图G是一个边数
最小的极小反例。如果
,则定理成立,因为足以给每条边分配不同的颜色。所以假设G是一个
,
的图,且G无法用C中的颜色染好。
如果
,G是一个圈或一条路,由引理4和引理5,有
。所以假设
。为了完成证明,我们需要构造以下一系列的断言。在断言的证明中,我们用C(v)代替Cφ(v)。
断言1 G不包含1-点。
证明:反之,G包含一个1-点v。设点u是v的邻点。如果
,设
;如果
,设
。令
,则H是一个
且
的图。所以H存在一个6-严格邻点可区别全染色φ,其所用颜色集合为C。
对
,如果
,取
。令
,用α染边uv。令
,用β染点v。断言1的证明完成。 £
断言2 G不包含相邻2-点。
证明:反之,G包含两个相邻2-点u和v。设
,
。令
,则H是一个
且
的图。所以H存在一个6-严格邻点可区别全染色φ,其所用颜色集合为C。
先假设
。己知
,令
,用α改染点v。令
,用β染边uv。因此
。如果
,令
,用α改染点v。令
,用β染边uv。如果
,令
,用β染边uv。断言2的证明完成。 £
断言3 G中的3-点不与3个2-点相邻。
证明:反之,v是G中的3-点,
且
。由断言2,u,x,y两两不相邻。令
,则H是一个
的图。所以H存在一个6-严格邻点可区别全染色φ,其所用颜色集合为C。
情形1.
。
令
,用α染点v。集合C\{α}中必定存在一个在C(u),C(x),C(y)中至多用了一次的颜色,不妨设为1。
如果
,用1染边uv。令
,用β1染边vx。当
,因为
,令
,用β2染边vy。当
,删去边uv的颜色,用1染边vy。设
,
。如果
,取
,因为
,令
,用β2染边uv。
如果
(或C(x),或C(y)),假设
。用1染边vx,因为
,令
,用β1染边vy。设
,
。如果
,取
,因为
,令
,用β2染边uv。
情形2.
。
设
,则
。因为
,令
,用α改染点u。此时
,根据情形1,G有一个6-严格邻点可区别全染色。
断言3的证明完成。 £
断言4 G中2-点不与3-点相邻。
证明:反之,G包含相邻的3-点u和2-点v,设
,因此w是一个3-点。设
,
。u1,u2,w1,w2是2-点或3-点。由断言3,u1或u2是3-点,w1或w2是3-点。不妨设
,
。令
,则H是一个
的图。所以H存在一个6-严格邻点可区别全染色φ,其所用颜色集合为C。如果
,取
。如果
,取
。设
。
情形1.
。
设
,用α1染边uv。设
,用α2染边vw。设
,用α3染点v。
情形2.
。
不妨设
。令
,
,用α1染边uv,α2染边vw。如果
,令
,用α3染点v。如果
,令
,用α3染点v。
情形3.
。
不妨设
。令
,
,用α1染边uv,α2染边vw,6染点v。
情形4.
。
不妨设
,
。删去点w的颜色,用4染边vw。当
时,取
。当
时,取
。令
,用α1染点w。显然,
。令
,
,用α2染边uv,α3染点v。
断言4的证明完成。 £
由断言1-4得G是3-正则的。但是根据引理3,G有一个6-严格邻点可区别全染色的,矛盾。 £