1. 引言
在图论研究中,图的染色问题非常有趣且具有极其重要的研究意义和应用价值,近年来,随着图的染色问题在现实生活中的广泛应用,它逐渐成为被许多学者研究的重要领域之一,点可区别的正常边染色或一般边染色、点可区别的正常全染色或一般全染色以及点可区别的未必正常全染色等一系列问题到现在依然是图论研究者追求且有趣的难题。
设图G是一个简单图。图G的一个一般全染色是指用不同的颜色对图G的所有顶点和G的边进行染色。设图G的一个全染色f (正常或未必正常)和图G的任意一个顶点X,用C(X)表示顶点X的色集合,它是指顶点X所染颜色及与这个顶点关联边所染颜色组成的集合。在这篇文章中讨论的是图的点可区别的一类未必正常全染色。如果让相邻两个顶点之间染不同的颜色,并且让每条关联边与它的端点染不同颜色则称为图G的一个E-全染色。设f为G的一个E-全染色,若满足对
,
,有
,则称f为G的VDET染色,也就是点可区别E-全染色。图G的VDET色数
。
文献 [1] [2] 主要提出了图的点可区别等概念,文献 [3] [4] [5] [6] 陈祥恩等人讨论了完全二部图
、星、扇、轮、路和圈的点可区别E-全染色;文献 [7] [8] 讨论了完全二部图
的点可区别E-全染色。 [9] [10] [11] [12] 中讨论了完全二部图
,
,
,
的点可区别E-全染色,文献 [13] 杨芳等人讨论了完全图和合成图的点可区别正常边染色,文献 [14] [15] 中得出了
和
的一般点可区别全染色。本文主要通过讨论
的VDET染色并且得到
的VDET色数。
令
,
,其中,
,
。设
,
。
2. 引理
引理1 当
时,有
。
引理2 当
时,有
。
3. 主要结果及证明
定理1 当
时,有
。
证明:用反证法。首先,假设
存在7-VDET染色,利用分析法可以推出矛盾,然后利用构造染色法给出
的一个8-VDET染色。
假设
存在一个7-VDET染色f,用颜色1, 2, 3, 4, 5, 6, 7去染色,则我们只需要考虑以下六种情形。
情形1:
的11个顶点中颜色互不相同的仅有一种。不妨设
,那么每个
都不能用1去染色。因此{1, 2, 3, 4, 5, 6, 7}中可作为C(Y)的子集数目为
。57个集合不能够区别出Y中的n个顶点,矛盾。
情形2:
的11个顶点中颜色互不相同的仅有两种。不妨设
,则每个
是2-子集时不能用颜色1或2去染色。因此
中可作为C(Y)的子集数目为
。其中,当
时,109个集合不能够区别开Y中的n
个顶点,矛盾。下面我们只需考虑当
时的情形。令
,其中:
;
;
为{1, 2, 3, 4, 5, 6, 7}的所有4、5、6、7-子集和除去
中的3-子集所构成的集合,共94个集合。
观察到在
中包含i的集合有57个
。在
中包含j的集合有61个
。因此,每个
至少包含3种颜色,故
,
,有
,可得
。所以当
时,
中的集合不能够区别出X和Y中的
个顶点,矛盾。以下就只需要考虑当
时的情形。
情形2.1:
,则
情形2.1.1:
,(否则,若
,则
,
,矛盾。),则每个
恰好同时包含3, 4, 5, 6, 7中的任意1种色,不妨设
则
,从而
,可得
,当
时,92个集合不能够区别出Y中的n个顶点,矛盾。下面仅考虑
时的情形。此时{1, 4, 5}, {1, 4, 6}, {1, 4, 7}, {1, 5, 6}, {1, 5, 7}, {1, 6, 7}中至多有3集合不属于C(Y),因此每个顶点为1的色集合至少同时包含4, 5, 6, 7中的任意两种色,不妨设
,
,
;同理{2, 4, 5}, {2, 4, 6}, {2, 4, 7}, {2, 5, 6}, {2, 5, 7}, {2, 6, 7}中至多有3个集合不属于C(Y),因此每个顶点为2的色集合至少同时包含4, 5, 6, 7中的任意两种色,不妨设
时,
,其中
,此时
即
。从而每个
只能是下面集合中的某一个:{1, 2, 3, 4, 5}, {1, 2, 3, 6, 7}, {1, 2, 3, 4, 5, 6}, {1, 2, 3, 4, 5, 7}, {1, 2, 3, 4, 6, 7}, {1, 2, 3, 5, 6, 7}, {1, 2, 3, 4, 5, 6, 7},7个集合不能够区别开X中的11个顶点,矛盾。
情形2.1.2:如果
,则
,那么每个
要至少同时包含3, 4, 5, 6, 7中的任意2种色,不妨设
,从而每个
只能是下面的集合中的任意一个:{1, 2, 3, 4}, {1, 2, 3, 4, 5}, {1, 2, 3, 4, 6}, {1, 2, 3, 4, 7}, {1, 2, 3, 4, 5, 6}, {1, 2, 3, 4, 5, 7}, {1, 2, 3, 4, 6, 7}, {1, 2, 3, 4, 5, 6, 7},矛盾。
情形2.2:
。
情形2.2.1:
,则3, 4, 5, 6, 7的颜色中至少有一种颜色同时包含在每个
中,不妨设
,则
, 则有
,
,矛盾。
情形2.2.2:
此时,
,有
,即
,因此当
时,矛盾。以下仅考虑
时的情形,此时
中至少有6个集合属于C(Y)。
1)
中恰有6个或7个元素属于C(Y),这时3, 4, 5, 6, 7中至少有两种色会同时包含在每个
中,不妨设
,则
,即
,
,因此当
时,矛盾。以下仅考虑
时的情形。
,且至多有一个不是C(Y)的集合,
,则X中顶点为1的色集合中就至少会包含5, 6, 7中的任意两种颜色,不妨设
,
,由
,可得颜色为2的C(X)包含5, 6, 7中的最少两种相同的颜色,设对每个满足
的
都有
,
。由
,则
至少同时包含5, 6中的任意一种色,不妨设
因此,
,矛盾。
2)
中恰有8个或9个元素属于C(Y),这时
中同时包含3, 4, 5, 6, 7至少有3种相同的色,不妨设
,则
,即
,即
,因此当
时,矛盾。以下仅考虑
时的情形。
且至少有1个属于C(Y),不妨设Y中某个顶点
的色集合
,
,则每个
包含{1, 2}, {1, 6}或{2, 6}
(
),此,
,矛盾。
3)
,这时
中至少同时包含3, 4, 5, 6, 7中的任意4种色,不妨设
,从而满足
,矛盾。
情形3:
的11个顶点中颜色互不相同的仅有三种。不妨设
,则当
是2-子集时,不能用颜色1, 2或3染色,且每个
都不是{1, 2, 3}。因此{1, 2, 3, 4, 5, 6, 7}
可作为C(Y)的子集数目为
。当
时,104个集合不
能够区分出Y中的n个顶点,矛盾。下面仅考虑当
时的情形。令
,其中:
;
;
是{1, 2, 3, 4, 5, 6, 7}的子集中的4-、5-、6-、7-子集和不在
中的3-子集,共有86个。
观察到
中包含57个i集合
,包含60个j集合
,因此每个
至少包含任意3种色,故
,则
,有
,可得
,从而当
时,105个集合不能够区别开X和Y中的
个顶点,矛盾。下面仅考虑
时的情形。此时在
中至少有1个集合属于C(Y),因此每个
中至少包含4, 5, 6, 7中的任意1种色,故
,
,有
,
。以下仅考虑
时的情形。此时
中至多有四个集合不属于C(X)和C(Y)。
情形3.1:
中恰有3个集合是属于C(X)和C(Y)的,则每个
刚好包含4, 5, 6, 7中的任意一种色,不妨设
则
,
,且至多有2个不属于
C(Y),因此,
,从而
,矛盾。
情形3.2:
中的集合恰有4个或5个属于C(X)和C(Y),则每个
恰好包含4, 5, 6, 7中的任意两种色,不妨设
,则
,
,因此有
,从而
,矛盾。
情形3.3:
且
,则每个
恰好包含4,5,6,7中的任意3种颜色,不妨设
,则
且
中至多有四个集合不属于C(Y),因此
,从而
,矛盾。
情形3.4:
且
,则
,则
,
,矛盾。
情形4:
的11个顶点颜色中互不相同的仅有四种。设
,则当
是2-子集时,不包含颜色1, 2, 3或4,
,因此{1,
2, 3, 4, 5, 6, 7}可作为C(Y)的成员数目为
。当
时,
97个集合不能区分Y中的n个顶点,矛盾。下面仅考虑
时的情形。令
,其中:
;
;
是{1, 2, 3, 4, 5, 6, 7}中的5-、6-、7-子集以及除去{1, 2, 3, 4}的4-子集及不在
中的3-子集共76个。
观察到
中包含57个i集合(
),包含60个j集合(
), 因此每个至少包含三种色,
,有
,即
。从而当
时,102个集合不能够区别开X和Y中的
个顶点,矛盾。所以以下仅考虑当
时的情形,则
中至多有3个集合不属于C(Y)。
情形4.1:
中至少有1个集合是属于C(Y)的,则在5, 6, 7中至少有1种色同时包含在每个
中,不妨设
。因此{1, 2, 3}, {1, 2, 4}, {1, 3, 4}, {2, 3, 4}, {1, 2, 3, 4}均不属于C(X),故
,即
,
,86个集合不能够区别出Y中的n个顶点,矛盾。
情形4.2:
,则
,不妨设
,
,则每个
包含颜色2或3,故
,
故
有
,得
,81个集合不能够区别开Y中的n个顶点,矛盾。
情形5:
的11个顶点颜色中互不相同的仅有五种。不妨设
,当
是2-子集时,不包含1, 2, 3, 4或5且每个
也都不是{1, 2, 3, 4, 5}的3-子集、4-子集、5-子集,
共有
个,因此{1, 2, 3, 4, 5, 6, 7}中可作为C(Y)的子集数目为
,84个集合不能够区别出Y中的n个顶点,矛盾。
情形6:
的11个顶点颜色中互不相同的仅六种。不妨设
,则每个
都不是2-子集,且每个
也都不是{1, 2, 3, 4, 5, 6}的3-子集、4-子集、5-子集、6-子集,
共有
个,因此{1, 2, 3, 4, 5, 6, 7}可作为C(Y)的子集数目为
,57个集合不能够区别出Y中的n个顶点,矛盾。
因此,7种颜色不能够区别出
,则当
时,
。下面利用构造染色法,给出
的一个8-VDET染色。
首先,确定f212。X中顶点
的色集合分别为:{1, 3, 4, 5, 7, 8}, {2, 3, 4, 5, 7, 8}, {1, 3, 4, 6, 7, 8}, {2, 3, 4, 6, 7, 8, {1, 3, 4, 5, 6, 7, 8}, {2, 3, 4, 5, 6, 7, 8}, {1, 2, 3, 4, 7, 8}, {1, 3, 4, 7, 8}, {1, 2, 3, 4, 5, 7, 8}, {1, 2, 3, 4, 6, 7, 8}, {1, 2, 3, 4, 5, 6, 7, 8}。且给X中
11个顶点所染的颜色分别为1, 2, 1, 2, 1, 2, 1, 1, 2, 1, 2。
让由
所导出的一个子图
按照引理2给出的7-VDET染色f88进行染色,然后给其它的顶点和关联边进行染色。将
和它的关联边按照表1的方案进行染色(表1的第一行表示顶点
的色集合不能染的颜色,第二行表示顶点
所染的颜色,第三行的38 (3)表示顶点
用3来染色,关联
分别用8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8来染色,并且顶点
,并且以此类推下去)。
将顶点
分别对应色集合{1, 2, 3, 4, 5, 6, 7, 8}的全体含颜色8的2-、3-、4-、5-、6-、7-集合,但不是{1, 2, 8}, {3, 8},也不是表1中任意一个顶点的色集合去染色。顶点
及其它的关联边
的最优具体染色方案见表2。当
时,
的8-VDET染色f212在由
所导出的那个子图上的限制就是
的8-VDET染色fj。

Table 1. The coloring method of vertex v j and its incident edges of K 11 , 212 when 89 ≤ j ≤ 104
表1.
顶点
及其关联边的染色方案

Table 2. The coloring method of vertex v j and its incident edges of K 11 , 212 when 105 ≤ j ≤ 212
表2.
顶点
及其关联边的染色方案
4. 结语
根据反证法和分析法可以得到,当
时,用7种颜色不能对
进行VDET染色。因此,当
时,
。然后利用构造染色法,说明用8种颜色可以对
进行点可区别E-全染色,从而可以得到
的VDET色数是8。当
时,会对
的VDET色数将继续进行研究。在后续的研究中,可继续利用反证法、结构分析法以及构造染色法等,讨论并给出相应的VDET色数,由于这个证明过程较长,此证略。