图染色问题研究--成品分析.docVIP

图的染色问题研究 杨光------112208204124 摘要：本文主要介绍图染色问题的出现，历史进程以及一些有关图染色的基本性质和结论和它今后的应用与展望。 序言： （1）问题的提出：图的染色问题起源于著名的“四色猜想”问题，这个由伦敦的一名中学生在一百多年前提出的猜想是说，每个地图至多用4种色就可以“正常”着色了（即，可以使每两个有公共边界的国家都涂上不同的颜色）。我们把地图看成是由平面上的顶点和边所组成，每个国家对应于其中的一个平面区域，这样，每张地图就对应于一个平面图（即，可画在平面上使任两边都不在非顶点处交叉的图），而每个国家对应对应于平面图中的一个面。在图论中四色猜想是说：每个平面图的面至多用4种色就可以“正常”着色了。[1] （2）研究与发展：“四色猜想”提出后，许多数学家着手研究“四色猜想”，力图给出证明。时隔二十七年后，1897年肯普给出了 “四色猜想”的第一个证明，又过了十一年，1890年希伍德发现肯普的证明是错误的。但他指出，肯普德证明方法虽然不能证明地图染色用四种颜色足够，却可以证明用五种颜色就够了。[2]然而，这个困扰了无数天才数学家和众多业余爱好者达一个多世纪的猜想，终于在1976年由Appel和Haken用大型计算机证实了。当时需要用手工输入1400个图形到计算机里，在用巨型程序去计算。因此，从1976年以后，就把“四色猜想”改称为“四色定理”了。该证明至今未能得到彻底的检验。近来Robertson，Sanders，Seymour和Thomas提出了一个改进，“只要”633个图形就够了，且简化了证明方法。但是，无论如何，由于至今未能得到理论上的证明，人们仍然无法一窥“四色猜想”得以成立的内在机制，使证明该猜想的努力难以停息。[3] 二、[4]性质： （1）边着色问题： a.基本定理： 定义1:对图G的边进行着色,且相邻的边没有相同的颜色,称为图G 的一个边着色. 定义2:使图G的n边着色最小的n,称为图n的边色数,记作x(G)。 定义3（Vizing定理）:任意(简单,无向)图G的边着色数 (edge chromatic number) 有△≤x≤△+1。 定义3：由Vizing定理可知x（G）=△或x（G）=△+1。若x（G）=△，称图G为第一类，记作，否则x（G）=△+1，称图G为第二类记作。 b.基本结论： 引理1 (Vizing邻接引理)：设 G为△临界图,且uv E（G），d（v）= k  则有 (1) 若k△, u 至少相邻于G的△-k+1个度数为△的顶点; (2) 若k =△，u至少相邻于G的两个度数为△的顶点. 引理2：若G为△临界图（△≥3），则 。 定理3：对实数α（0≤α≤3），满足△（G）≥3α-1和  的图G是第一类的。 定理4：设 G为一连通的平面图,如果:G的任何两个长为3的面都不 相邻(即不共边)，且只含有长为3，k,k+1, …的面(k≥4) ,则有 。 定理5：设 G为一连通的平面图,如果G的任何两个长度为3的面都不关联于同一个顶点,且只有长为3，k,k+1, … 的面（k≥4)，则有 。 [5] （2）列表着色问题： a.基本定理： 令G为一个图，f是从G（V）到N的函数。图G的f—列 表L是指对每一个顶点v满足)=f(v)。如果存在一个f—列表L，使得G具有一个唯一列表染色，则称图G是唯一f—列表可染的，或UFLC的。 定义1：给图G的每个顶点x一个列表L(x),称G是L可染的是指对每个顶点xV(G)都可从其对应列表L(x)中找到一种染色c x）L(x)，使得c是G的正常染色。 定义2：一个图G的k-列表是指G每个顶点的列表长度都为k。如果对任意的k-列表图G都有一个列表染色,则称G为k-可选的(k-choosable)。使得G为k-可选的的最小无称为列表色数(list chromatic number)或选择数(choosability)记为(G)或ch(G)。 定义3：假设对图G的任意一个顶点v，存在v的一个