一般图的可区别着色算法研究.doc

兰州交通大学硕士学位论文 1 绪论 引言 相比与其他纯数学的分支，图论[1]是一门年轻但又快速成长的学科。它与其他数学 分支有着紧密的联系，例如最优化理论，群论，矩阵代数，概率论，逻辑学等。正因为 如此，图论的应用也十分广泛，可以用来解决运筹学、生物科学、通信工程、社会科学 等方面的问题，并且已显示出极大的优越性。四色定理、哥尼斯堡(Konigsberg)七桥、 中国邮递员问题等这些都是众所周知的图论问题。1736 年，瑞士数学家列昂哈德·欧拉 (Leonhard Euler)解决了哥尼斯堡七桥问题，并发表了关于图论的第一篇文章，列昂哈 德·欧拉因此也被称为图论之父。1936 年，第一本图论专著《有限图与无限图的理论》 问世，它的作者是匈牙利数学家哥尼格。自此，图论作为一门纯数学的独立分支学科成 立了。 图论中研究的主要问题之一同时也是是学者研究最多的问题就是图的染色问题 (Graph Coloring Problem)。图的染色有古典染色例如正常边染色、正常点染色、正常全 染色以及在此基础上要求更高的其它染色如可区别染色等。染色时要做的是用最少的色 数来满足各种染色要求，而与色数有密切关系的是图的阶数、度的分布、边密度等参数 的值。就图的点、边、面染色来说已经得到了很多重要结果，而图的全着色问题是在正 常点着色和边着色的基础上提出的，现阶段已有一系列论文成果和专著[2-7]。本文研究 的点可区别及邻点可区别染色问题是近年来提出的[8-12]，由于其难度较高，已有的科学 成果相对较少。研究图的染色问题除了具有重要的理论意义外，也具有很高的实用价值。 一些典型的组合优化问题如加工调度、最大支配集、二次分配、聚类问题等[13,14]都可以 转化为图染色问题来研究，另外还有一些实际的问题如学校的排课表、商品的配送收集、 停车场的建立、无线通讯网的建立等[15,16]则可以转化为可区别染色问题来研究。 研究背景 图论的起源和发展大致可以分为三个阶段：第一个阶段是从 1736 年到 19 世纪中叶， 在这一阶段迷宫问题和游戏问题是大多数学者的研究内容，哥尼斯堡七桥问题就是在这 一时间被人们提出并广泛研究的。第二个阶段是从 19 世纪中期到 1936 年，人们提出了 更多的以迷宫、棋盘为背景的图论问题，哥尼格的《有限图与无限图的理论》是这一时 期的重要学术成果。1936 年到今是图论的第三个阶段，也是图论迅速发展的阶段，它与 其他学科分支相互关联，被应用到很多实际问题中。 其中值得一提的是近代数学三大难题之一的“四色猜想”问题。“四色猜想”是 1852 - 1 - 万方数据 一般图的可区别着色算法研究 年被提出的，即每个(无飞地的)地图都可以用不超过四种的颜色来染色，并使两两相邻 的区域颜色都不相同。被称为相邻的两个区域是指它们有一段公共的边界，并且不止有 一个公共的交点。这个问题提出后一直没有解决，直到 1976 年终于由美国数学家凯尼 斯·阿佩尔和沃夫冈·哈肯借助电子计算机被完全地证明，这是第一个主要利用计算机 来完成证明的科学定理。在经历了一个多世纪之后，四色猜想终于成为四色定理。这一 成功的例子成为了像本文一样的利用高效的计算机算法研究解决图染色问题的工作的 动力和方向。 在对图的染色问题的研究上最早出现的是点染色和边染色，因此这两种染色也被称 为古典染色。在点染色方面，最经典的结果是 1941 年由 Brooks 给出的：若 G 是连通的 简单图，并且它既不是奇圈，又不是完全图，则 ?(G) ? ?(G) ，?(G)表示图 G 的点色数， ?(G) 表示图 G 的最大度。1964 年，在边染色方面 Vizing 也提出了一个与 Brooks 定理 同等重要的定理，即：对于任何简单图 G，有 ? (G) ? ?(G) 或 ? (G) ? ?(G) ?1，? (G) 表 示图 G 的边色数。1965 年，伊朗数学家 Behzad M 提出了全染色的概念，同年又在其博 士论文中提出了全染色猜想[17,18]：对于任意简单图 G，有 ? ( ) ? ?( ) ? 2 ， ( ) T G G ? 表示 T G 图 G 的全色数。目前人们已经证明了全染色猜想对于某些特殊的图类是成立的。作为古 典染色问题的一个扩张，1993 年 Burris 首先介绍并研究了点可区别边染色，Balister， Schelp，Bazgan 等在相关文献中作了更深入的研究[19,20]，得到了一些好的结果；2002 年 和 2004 年张忠辅教授等人先后提出了图的邻点可区别全染色的概念、定理和猜想[21]， 它与点可区别边染色问题的研究具有同样的深度。在这之后一系列的概念和猜想被提出 如点可区别全染色、邻强可区别边染色、点强可区别全染色等[22-26]。正如