[理学]6图染色问题.ppt

图的着色问题 问题来源:由地图的着色问题引申而来的：用m种颜色为地图着色，使得地图上的每一个区域着一种颜色，且相邻区域颜色不同。 问题处理：如果把每一个区域收缩为一个顶点，把相邻两个区域用一条边相连接，就可以把一个区域图抽象为一个平面图。 例如，图12-1（a）所示的区域图可抽象为12-1（b）所表示的平面图。在图12-1中，区域用城市名表示，颜色用数字表示，则图中表示了不同区域的不同着色问题 。 问题来源 图的着色 通常所说的着色问题是指下述两类问题： 1．给定无环图G=(V,E)，用m种颜色为图中的每条边着色，要求每条边着一种颜色，并使相邻两条边有着不同的颜色，这个问题称为图的边着色问题。 2．给定无向图G=(V,E)，用m种颜色为图中的每个顶点着色，要求每个顶点着一种颜色，并使相邻两顶点之间有着不同的颜色，这个问题称为图的顶着色问题。 边的着色问题 定义：给图G的边着色，使得有共同顶点的边异色的最少颜色数，称为边色数。 一、边的着色问题 课程考试安排： 用顶点v1,v2,…,vn表示n门课程，若其中两门课i,j被同时选，则vi,vj间连一条边。 一、边的着色问题3 定理：二分图G的边色数＝图中顶点的最大度。 一、边的着色问题3 定理(Vizing 1964)：若图G为简单图，图中顶点最大度为d，则G的边色数为d或d+1。 顶点的着色问题 定义：给图G的顶点着色，使得相邻的顶点异色的最少颜色数，称为图G顶点色数，简称色数；记作χ(G)。 四色定理 在1852年，一个英国青年名叫盖思里（Francis Guthrie）提出：任何连通的平面图，可以用不多于4种颜色对每一个区域着色，使相邻区域着不同颜色。 1878～1880年两年间，数学家肯普和泰勒两人分别宣布证明了四色定理。后来，人们发现他们实际上证明了一个较弱的命题——五色定理。就是说对平面图着色，用五种颜色就够了。 1976年美国伊利诺州立大学的两位教授，阿佩尔（Kenneth Appel）和海肯（Wolfgang Haken）宣布，用计算机证明了这个问题。他们的证明需要对1900多种情况进行详尽的分析，在一台高速计算机上耗时超过1200小时。对数学家来说总还是希望能找到数学方法的证明。 二、顶点的着色问题1 色数的性质： （1）图G只有孤立点时，χ(G)=1； （2）n个顶点的完全图G有χ(G)=n； 二、顶点的着色问题1 （3）若图G是n个顶点的回路，则  χ(G)=2 n为偶数 χ(G)= 3 n为奇数； 二、顶点的着色问题1 （4）图G是顶点数超过1的树时，χ(G)=2； 二、顶点的着色问题1 （5）若图G是二分图，则χ(G)=2。 二、顶点的着色问题2 定理：若图G=(V,E)，d=max{d(vi)},vi∈V，则χ(G)≤d+1。 顶点着色的近似算法 （一）下面给出顶点着色的算法(假定G的顶点为v1,v2,…,vn;用来染色的颜色为c1,c2,…cn)： （1）对i=1,2,…,n,作Ci={c1,c2,…,ci}； （2）标顶点vi (i=1,2,…,n)的颜色集Ci的第一种颜色ck； （3）对顶点vi的所有邻接点vj(ji)，作Cj= Cj-{ck}； （4）转到（2），直到所有顶点都着色为止。 韦尔奇·鲍威尔(WelchPowell)着色算法（穷举法） 步骤如下： （1）将图G中的顶点按度数递减次序排列； （2）用第一种颜色对第一顶点着色，并将与已着色顶点不邻接的顶点也着第一种颜色； （3）按排列次序用第二种颜色对未着色的顶点重复（2）；用第三种颜色继续以上做法，直到所有的顶点均着上色为止。 韦尔奇·鲍威尔法例 （1）各顶点按度数递减次序排列： c，a，e，f，b，h，g，d。 （2）对c和与c不邻接的e，b着第一种颜色。 韦尔奇·鲍威尔法例 （1）各顶点按度数递减次序排列： c，a，e，f，b，h，g，d。 （2）对c和与c不邻接的e，b着第一种颜色。 （3）对a和与a不邻接的g，d着第二种颜色。 韦尔奇·鲍威尔法例 （1）各顶点按度数递减次序排列： c，a，e，f，b，h，g，d； （2）对c和与c不邻接的e，b着第一种颜色； （3）对a和与a不邻接的g，d着第二种颜色； （4）对f和与f不邻接的h着第三种颜色。 一、边的着色问题4 边的着色问题可以转化为顶点的着色问题。 图着色问题的应用－安排考试问题 设学校共有n门功课需要进行期末考试，因为不少学生不止选修一门课，所以不能把一个同学选修的两门课安