1. 引言
随着计算机科学的飞速发展,图论作为离散数学的一个重要分支,越来越成为各个领域研究的热点。纵观图论发展史,“四色猜想”是其中一个非常著名的问题,它与“费马猜想”,“哥德巴赫猜想”并称世界三大数学猜想。“四色猜想”的内容是:任何一张地图都可用四种颜色进行染色使得拥有共同边界的国家染以不同颜色。1976年,Appel和Haken [1] 宣称他们借助计算机历时1200个小时证明了该猜想,即“四色定理”。但关于它的理论性证明至今无人给出。在四色定理的推动下,图的染色问题受到国内外学者的高度关注,由此衍生出多种类型的染色问题,如图的点染色,边染色,点和边全染色以及列表染色等等。有兴趣的读者可从文献 [2] [3] [4] 中了解关于图染色问题的更多文献。
图的点染色问题是指用不同颜色对一个图G的顶点集进行染色,使得相邻顶点染色不同,所需的最小颜色数记为
。于是,四色定理可以转化为图的点染色问题,即将每个地区看作图中的一个顶点,相邻的地区之间用一条边连接,通过求证点染色问题的最小颜色数为4,从而确定地图需要4种颜色。1985年,Burr和Jacobson等人 [5] 对图的点染色做进一步推广,提出非正常点染色的概念。设
是k个非负整数。如果图G的点集V可以被剖分成k个子集
,使得对
中的每个点v,至多
个邻点与v同属于子集
,
,则称G是非正常
-可染的,简称
-可染的。当
时,即为正常染色。于是,四色定理又可以表述为:每个平面图是
-可染的。近年来,图的非正常染色问题受到国内外学者的广泛关注,其研究对象为禁子圈的平面图和具有度数限制的图等,感兴趣的读者可参见文献 [6] [7] [8] [9] [10] 了解更多该方面的文献。
本文以图的非正常点染色问题为切入点,研究特殊图类的非正常2-染色问题。第二节介绍图论的基本定义和广义Petersen图的概念,第三节将给出广义Petersen图
的非正常2-染色结果的证明。
2. 基本概念
本文所研究的图是有限且无重边,无环的简单图,未定义的概念和符号参见文献 [11] 。
定义2.1 [11] 设
是一个简单图,其中V表示点集,E表示边集。对任意的点
,如果
,则称u和v邻接,u和v互称为邻点,u在图G中的所有邻点的个数称为u的度数,记为
。如果对任意的
,
,则称G是一个k-正则图。
定义2.2 [11] 设
是图G中n个点的序列,如果对所有的
,
当且仅当
和
是连续点,则称
是G中的一条路。进一步地,如果
,则称P是一个圈。
定义2.3 [12] 设3-正则图G的顶点集和边集分别为:
,
,其中下标取模n,
,
,称G为广义Petersen图,记
。当
时,
和
的情形见图1。
3. 广义Petesen图的非正常2-染色
定理3.1 [12]
。
根据定理3.1,至少需要3种颜色对广义Petersen图
进行正常点染色。若允许某些相邻顶点染相同颜色,即非正常染色,则可达到降低色数的效果,从而在实际问题中将起到节约资源的目的。我们用数字1和2分别代表颜色,且允许每个染以颜色1 (或2)的点至多有一个邻点与其染色相同,得到如下结果。
(a) G(5, 2) (b) G(6, 2)
Figure 1. We use numbers 1 and 2 to denote color red and blue in the proof of Theorem 3.2, respectively
图1. 在定理3.2的证明中,红色和蓝色分别用数字1和2表示
定理3.2
是
-可染的。
证明:令
,
。我们将分别对点集
和
进行染色,记染色为c,其染色方式如下:首先考虑外圈
,令偶下标顶点染颜色1,奇下标顶点染颜色2,即对每一个
,如果
,则令
,如果
,则令
。
接下来考虑
,分下述两种情形:
情形1 n为奇数。此时内部圈为
。
令
,
。对每一个奇数
,令
。如果
,则令
;如果
,则令
(
时的染色见图1)。
首先考虑
,
,根据
的定义,
与
,
都不邻接。如果出现
,那么由于n是奇数,按照染色规则,有
,即与
(或
)染相同颜色1的邻点只有
(或
),并且对每个
且
,至多一个邻点
与
染色相同;如果
,很容易验证,对每个
,至多一个邻点
与
染色相同。类似地,可验证
中的点:只有
和
相邻且有相同颜色1,而对于
,至多一个邻点
与
染色相同。
情形2 n为偶数。此时内部两个圈分别为:
和
。
首先,考虑
。对每一个
,如果
,令
;如果
,则令
。再来考虑
。对每一个
,如果
,则令
;如果
,则令
(
时的染色见图1)。
类似于情形1,对每个
,考虑
,容易验证至多一个邻点
与其染色相同;再考虑
,按照染色规则,
,若出现
,则由于n是偶数,结合染色规则,有
;最后对
中的点分析类似。无论哪种情形,至多一个邻点与
染色相同,
。
定理得证。
4. 注记
注意到,定理3.2的结论是最好可能的,即不存在一种染色方式使得
是
-可染的。如在对
的染色过程中,假设所有染颜色2的点不邻接。对u0染颜色2,则u1和u5需染颜色1,因为v1和v5相邻,所以染色不能相同。(否则,或者出现两个相邻点染颜色2,或者出现v1和v5都有两个邻点与其染相同颜色1,矛盾。)又由于v3与v5,v1都邻接,故无论v3染哪种颜色均产生矛盾。
本文主要研究了广义Petersen图的非正常2-染色,图论中还有许多类似问题不仅可以激发学生的学习兴趣,还可以锻炼与培养学生的逻辑思维能力和创造力。