第五节着色问题.docVIP

第五节 着色问题 定义1. 图的顶点着色(Verter Colouring)是给每个顶点赋予一种颜色，使得相邻顶点的颜色不同，给图进行顶点着色需要的颜色的最小值称为的色数(Chromatic Number)，记为. 若，则称是-色的(κ-chromatic)；若，则称是可-着色的(κ-colourable). 例1. 在下图中，，. 注意即为，即为 下面讨论的上界和下界，先给出下面的定义. 定义2. 图中两两不相邻的顶点组成的集合称为独立集(Independent Set)，用来表示中最大独立集的元素个数. 图中两两相邻的顶点构成的集合称为团(Clique)，用表示中最大团的元素个数. 注记： 　　（1）显然，是可-着色的当且仅当是个独立集的并. 特别的，是可2-着色的当且仅当是二部图. 　　（2）且（习题1）. 　　（3）对于完全图有：. 但一般来说可以远大于. 下面介绍一种构造任意色数的三角形无关图（即不含为子图）的方法，这种方法归功于Mycielski,1955. 定义3(Mycielski构造). 由简单图产生一个以为子图的简单图. 从顶点集为的图开始添加顶点和；添加边，使得与中的顶点相邻，与中的所有顶点相邻. 例1中，以2-色图开始，进行二次Mycielski构造，分别得到3-色图和4-色图. 下面的定理告诉我们可以构造一个色数任意大的图且. 定理1(Mycielski