一、图的边着色

(一)、相关概念

定义1 给定图 G=(V,E)G=(V,E)G=(V,E),称映射 π:E→{1,2,3,...,k}\pi : E \to \{1, 2, 3, ..., k\}π:E{1,2,3,...,k}GGG 的一个 kkk 边着色,简称边着色,称 {1,2,3,...,k}\{1, 2, 3, ..., k\}{1,2,3,...,k} 为色集。若 π\piπGGG 的边着色且 ∀e′,e′′∈E\forall e{'}, e{''} \in Ee,e′′E,当
e′与e′′e{'} 与 e{''}ee′′ 相邻时,π(e′)≠π(e′′)\pi(e') ≠ \pi(e'')π(e)=π(e′′),则称该着色是正常的。图 GGG 的正常 kkk 边着色的最小值 kkk 称为 GGG边色数π(e)\pi(e)π(e) 为图 GGG 的边着色,eeeGGG 的边)

GGG 是图,对GGG的边进行染色,若相邻边染不同颜色,则称对GGG进行正常边着色;

如果能用kkk种颜色对图GGG进行正常边着色,称GGGkkk边可着色的

定义2GGG是图,对GGG进行正常边着色需要的最少颜色数,称为GGG的边色数,记为:χ′(G)\chi^{\prime}(G)χ(G) (χ\chiχ 读为 kappa)

注: 对图的正常边着色,实际上是对GGG的边集合的一种划分,使得每个划分块是GGG的一个边独立集(无环时是匹配); 图的边色数对应的是图的最小独立集划分数。

因此,图的边着色,本质上是对应实际问题中的“划分”问题或“分类”问题。

在对GGG正常边着色时,着相同颜色的边集称为该正常着色的一个色组。

(二)、几类特殊图的边色数

1、偶图的边色数

定理 1 χ′(Km,n)=Δ\chi^{\prime}(K_{m,n})=\Deltaχ(Km,n)=Δ (完全偶图的边色数 = 最大度)

完全偶图的最大度为,当 m > n,最大度为 m, 当 n > m,最大度为 n

且任何正常边着色中和任何一个顶点关联得各边必须着不同色,因此 χ′≥Δ\chi^{\prime} ≥ \DeltaχΔ


使用上面定理,使用最大度的颜色:4 进行边着色


定义3π\piπGGG的一种正常边着色,若点uuu关联的边的着色没有用到色iii,则称点 uuuiii色。

定理2 (哥尼,1916)GGG是偶图,则 χ′(G)=Δ\chi^{\prime}(G)=\Deltaχ(G)=Δ

2、一般简单图的边色数

引理:GGG是简单图,xxxy1y_1y1GGG中不相邻的两个顶点,π\piπGGG的一个正常kkk边着色。若对该着色π,x,y1\pi, x,y_1π,x,y1以及与 xxx 相邻点均至少缺少一种颜色,则 G+xy1G+xy_1G+xy1kkk边可着色的。

定理3 (维津定理,1964)GGG是单图,则:χ′(G)=Δ或 χ′(G)=Δ+1\chi^{\prime}(G)=\Delta\text{或 }\chi^{\prime}(G)=\Delta+1χ(G)=Δ χ(G)=Δ+1

为什么这里会说 G1G_1G1Δ(G)+1\Delta(G) + 1Δ(G)+1 正常边着色,会显然每个顶点都至少缺少一种颜色?

很显然, G1G_1G1 的最大度为 Δ(G)\Delta(G)Δ(G),而为这个最大度进行边着色,最多只需用到 Δ(G)\Delta(G)Δ(G) 种颜色,Δ(G)+1\Delta(G) + 1Δ(G)+1 正常边着色,肯定至少要剩一种颜色出来。

注: (1) 根据维津定理,单图可以按边色数分成两类图,一是色数等于Δ(G)Δ(G)Δ(G)的单图,二是色数等于Δ(G)+1Δ(G)+1Δ(G)+1的单图。


3、三类特殊简单图的边色数

定理4GGG是单图且Δ(G)>0Δ(G)>0Δ(G)>0。若GGG中只有一个最大度点或恰有两个相邻的最大度点,则:χ′(G)=Δ(G)\chi^{\prime}(G)=\Delta(G)χ(G)=Δ(G)



定理5GGG是单图。若点数 n=2k+1n=2k+1n=2k+1 且边数 m>kΔm>kΔm>kΔ, 则:χ′(G)=Δ(G)+1\chi^{\prime}(G)=\Delta(G)+1χ(G)=Δ(G)+1

为什么着同色的边最多 n−12\frac{n - 1}{2}2n1 是因为假设这 nnn 个点组成一条路,某个颜色交替的在这条路上进行着色,也只有 kkk 条边着这个色。

为什么边数最多 kΔk \DeltakΔ ,是因为着某个颜色最多只能着 kkk 条,如果最小着色集 χ′=Δ\chi' = \Deltaχ=Δ,那么能着的色做多也就是 kΔk \DeltakΔ


顶点数 n=2∗2+1=5n = 2 * 2 + 1 = 5n=22+1=5,且 m=9>2∗4m = 9 > 2 * 4m=9>24,因此 χ′=Δ+1\chi' = \Delta + 1χ=Δ+1


定理6GGG是奇数阶ΔΔΔ正则单图, 若Δ>0Δ>0Δ>0, 则:χ′(G)=Δ(G)+1\chi^{\prime}(G)=\Delta(G)+1χ(G)=Δ(G)+1

Δ\DeltaΔ 正则单图,每个顶点度为 Δ\DeltaΔ,则边数为 nΔ2\frac{n \Delta}{2}2nΔ


CnC_nCn 的每个点度为 2,满足奇数阶正则单图




(三)、边着色的应用

边着色对应的实际问题就是图的匹配分解问题。边色数对应的是最小匹配分解问题。所以,生活中的许多问题都可模型为边着色问题来解决。


例 1 中(1)问每一行的和就代表 xix_ixi 的度数,每一列之和就代表 yiy_iyi 的度数,边着色的最大度即找最大的行或列的和

(2)每天 8 节课,一周就是 40 节课,总课时是 240 ,教室就是 240 / 40


P187—190 习题7 :1----6

二、图的顶点着色

(一)、相关概念

跟图的边着色问题一样,生活中的很多问题,也可以模型为所谓的图的顶点着色问题来处理。例如课程安排问题。

定义1GGG是一个图,对GGG的每个顶点着色,使得相邻顶点着不同颜色,称为对GGG的正常顶点着色;

定义1 给定图 G=(V,E)G=(V,E)G=(V,E),称映射 π:V→{1,2,3,...,k}\pi : V \to \{1, 2, 3, ..., k\}π:V{1,2,3,...,k}GGG 的一个 kkk 点着色,简称着色,称 {1,2,3,...,k}\{1, 2, 3, ..., k\}{1,2,3,...,k} 为色集。若 π\piπGGG 的点着色且 ∀u,v∈E\forall u, v \in Eu,vE,当
u与vu 与 vuv 相邻时,π(u)≠π(v)\pi(u) ≠ \pi(v)π(u)=π(v),则称该着色是正常的。图 GGG 的正常 kkk 着色的最小值 kkk 称为 GGG色数π(u)\pi(u)π(u) 为图 GGG 的点着色,uuuGGG 的顶点)

如果用kkk种颜色可以对GGG进行正常顶点着色,称GGGkkk正常顶点着色;

对图GGG正常顶点着色需要的最少颜色数,称为图GGG的点色数。图GGG的点色数用 χ(G)\chi\left(G\right)χ(G) 表示。

注: 对图的正常顶点着色,带来的是图的顶点集合的一种划分方式。所以,对应的实际问题也是分类问题。属于同一种颜色的顶点集合称为一个 色组,它们彼此不相邻接,所以又称为点独立集。用点色数种颜色对图GGG正常着色,称为对图GGG最优点着色。(一个色组就是一个点独立集)

定义2 色数为kkk的图称为kkk色图。

(二)、图的点色数的几个结论(了解性学习)

定理1 对任意的图GGG,有:χ(G)≤Δ(G)+1\left.\chi\left(G\right.\right)\leq\Delta\left(G\right.)+1χ(G)Δ(G)+1

分析: 事实上,定理结论容易想到,因为任意一个顶点度数至多为ΔΔΔ,因此,正常着色过程中,其邻点最多用去ΔΔΔ种颜色,所以,至少还有一种色可供该点正常着色使用。

对于GGG来说,可以给出其Δ(G)+1Δ(G)+1Δ(G)+1正常点着色算法。


其中的 C(vi)C(v_i)C(vi)

注: (1)不能通过上面算法求出色数,例如,根据上面算法,我们求出了一个4色方案,但G是3色图:
在这里插入图片描述

(2) Welsh—Powell稍微对上面算法做了一个修改,着色时按所谓最大度优先策略,即使用上面算法时,按顶点度数由大到小的次序着色。这样的着色方案起到了对上面算法的一个改进作用。

对于简单图GGG来说,数学家布鲁克斯(Brooks)给出了一个对定理111的色数改进界。这就是下面著名的布鲁克斯定理。

定理2(布鲁克斯,1941)GGG是连通的单图,并且它既不是奇圈,又不是完全图,则:χ(G)≤Δ(G)\chi\left(G\right)\leq\Delta\left(G\right)χ(G)Δ(G)

对于简单图的点色数,还可以在定理2的基础上获得改进。

定义3GGG是至少有一条边的简单图,定义:
Δ2(G)=max⁡u∈V(G)max⁡v∈N(u)d(v)≤d(u)d(v)\Delta_2(G)=\max_{u\in V(G)}\max_{\begin{array}{c}v\in N\left(u\right)\\d\left(v\right)\leq d\left(u\right)\end{array}}d\left(v\right)Δ2(G)=uV(G)maxvN(u)d(v)d(u)maxd(v)

如果令:V2(G)={v∣v∈V(G),N(V)中 存在点u, 满足d(u)≥d(V)}V_2(G)=\begin{Bmatrix}v|v\in V(G),N(V)\text{中 存在点}u\text{, 满足}d(u)\geq d(V)\end{Bmatrix}V2(G)={vvV(G),N(V) 存在点u满足d(u)d(V)}
那么,
Δ2(G)=max⁡{d(v)∣v∈V2(G)}\Delta_2\left(G\right)=\max\left\{d\left(v\right)|v\in V_2(G)\right\}Δ2(G)=max{d(v)vV2(G)}

在这里插入图片描述

注: 由次大度的定义知:Δ2(G)≦Δ(G)Δ_2(G)≦Δ(G)Δ2(G)Δ(G)

定理3GGG是非空简单图,则:χ(G)≤Δ2(G)+1\chi(G)\leq\Delta_2(G)+1χ(G)Δ2(G)+1

注: 定理3是对定理2的一个改进!

在这里插入图片描述

推论:GGG是非空简单图,若GGG中最大度点互不邻接,则有:χ(G)≤Δ(G)\chi(G)\leq\Delta(G)χ(G)Δ(G)

(三)、四色与五色定理

1、四色定理

2、五色定理

定理4 (希伍德) 每个平面图是555可着色的。

根据平面图和其对偶图的关系,上面定理等价于每个平面图是555可顶点正常着色的。


(四)、顶点着色的应用

图的正常顶点着色对应的实际问题是“划分”问题。


P187—190 习题7 :7----9

三、与色数有关的几类图和完美图(不管)

(一)、与色数有关的几类图

1、临界图

定义1 若对图GGG的任意真子图HHH,都有χ(H)<χ(G)\chi(H)<\chi(G)χ(H)<χ(G),则称GGG临界图。点色数为kkk的临界图称为kkk临界图。

在这里插入图片描述
注: 临界图由狄拉克在1952年首先提出并研究。上面的4临界图是Grotzsch(格勒奇)在1958年提出的。

定理1 临界图有如下性质
(1) kkk色图均有kkk临界子图;
(2) 每个临界图均为简单连通图;
(3) 若GGGkkk临界图,则δ≥k−1δ≥k-1δk1

证明: (1)是显然的。

(2) 因为删掉环或平行边中的一条边并不破坏原有的顶点正常着色,所以每个临界图是单图;又因为删掉色数较小的分支,剩下部分的图的色数和原图色数相等,所以,临界图必须是连通图。

(3) 若不然,δ<k−1δ< k-1δ<k1
d(v)=δd(v)=δd(v)=δ。因为GGGkkk临界图,所以G−vG-vGvk−1k-1k1可正常顶点着色的。设пппG−vG-vGvk−1k-1k1正常顶点着色方案,显然,它可以扩充为GGGk−1k-1k1正常点着色方案。这与GGGkkk临界图相矛盾。

推论: 每个kkk色图至少有kkk个度不小于k−1k-1k1的顶点。

在这里插入图片描述


在这里插入图片描述


在这里插入图片描述


在这里插入图片描述


在这里插入图片描述

(2) 由例4中命题推布鲁克斯定理。

在这里插入图片描述

2、唯一可着色图

对图的顶点进行正常着色,实际上给出图的顶点集合的一种划分,不同的着色方案,给出的划分一般不同。但是,也存在一类特殊图,对于任意的最优着色方案,导出的顶点划分却是相同的。为此,我们给出如下定义。

定义2 设简单标定图GGG的点色数是kkk, 如果在任意的kkk正常点着色方案下,导出的顶点集合划分唯一,称GGG是唯一kkk可着色图,简称唯一可着色图。
在这里插入图片描述
下面给出唯一可着色图的几个特征。

定理2(哈拉里,1968)GGG是唯一kkk可着色图,k≥2k≥2k2, 则:
(1) δ≥k−1δ≥k-1δk1;
(2) 在GGG的任意一种kkk着色中,GGG的任意两个色组的并的导出子图是连通的。

在这里插入图片描述
在这里插入图片描述

定理3 (夏特朗) 每个唯一k(k≥2)k (k≥2)k(k2)可着色图是(k−1)(k-1)(k1)连通的。
在这里插入图片描述

推论:GGG是唯一n(n≥2)n(n≥2)n(n2)可着色图,ппп是任意一种nnn着色方案,则由ппп的任意kkk个色组导出的子图是(k−1)(k-1)(k1)连通的。

证明: 显然,任意kkk个色组导出子图是唯一kkk可着色图,由定理3得到推论结论。
注: (1) 唯一1可着色图是零图;
(2) 唯一2可着色图是偶图;
除此之外,没有简单的结论!

定理4 每个唯一4可着色可平面图都是极大可平面图。
在这里插入图片描述

3、不含三角形的k色图

定义3 若图GGG的点色数是kkk,且GGG中不含有三角形,称GGG是一个不含三角形的kkk色图。

在这里插入图片描述


在这里插入图片描述

注: 利用米歇尔斯基方法构造一个不含三角形的k色图时,结果图与初始图有关。


在这里插入图片描述


定理5 (米歇尔斯基) 对于任意正整数kkk, 存在不含三角形的kkk色图。

定理6 (Erdos) 对于任意正整数mmmnnn, 存在一个围长超过mmmnnn色图。

(二)、完美图简介

1、相关概念

定义4 (1)单图GGG的团:若单图GGG的一个顶点子集SSSGGG中的导出子图是完全图,则称SSSGGG的一个团;

(2) 单图GGG的团数:单图GGG的最大团包含的顶点数称为GGG的团数,记为cl(G)c l (G)cl(G),即:cl(G)=max⁡{∥S∥S是G的团}cl(G)=\max\left\{\left\|S\right\|S\text{是}G\text{的团}\right\}cl(G)=max{SSG的团}

显然,图GGG的点色数与团数的关系为:
χ(G)≥cl(G)\chi(G)\geq cl(G)χ(G)cl(G)

定义5GGG是一个图。若对GGG的每个点导出子图HHH,均有χ(H)=cl(H)\chi(H)=cl(H)χ(H)=cl(H) ,则称GGG为完美图。

例如KnK_nKn, 偶图是完美图,而不含三角形但含奇圈的图不是完美图。

因为不含三角形的但含奇圈的图的团数为2,但色数为3,所以,它不能是完美图。

注:完美图问题是点着色的进一步讨论题材,属于比较高深和困难的问题。

定义6GGG是一个图。由GGG中若干互不邻接的顶点作成的子集称为GGG的一个点独立集;GGG中含顶点数最多的点独立集称为GGG的最大独立集,其包含的顶点数称为独立数。

GGG的点独立数记为α(G)α(G)α(G)ααα

注: 关于图的覆盖与图的点独立数之间的关系,加莱得到了一些很漂亮的结论。

2、关于独立数的完美图

定义7SSS是图GGG的顶点集合的一个划分。如果SSS的每个子集在GGG中的导出子图均是完全图,称SSSGGG的一个完全分类。GGG的最小完全分类所包含的元素个数称为GGG的完全数,记为θ(G)θ(G)θ(G),即:
θ(G)=min⁡{∣S∣∣S为G的完全分类}\theta(G)=\min\left\{|S||S\text{为G的完全分类}\right\}θ(G)=min{S∣∣SG的完全分类}

注: α(G)≤θ(G)\alpha(G)\leq\theta(G)α(G)θ(G)。这是因为独立集中任意一点应该属于SSS中的某个顶点子集,同时,SSS中每个顶点子集最多包含独立集中的一个元素。

定义8 若对GGG中每个点导出子图HHH,都有α(G)=θ(G)\alpha(G)=\theta(G)α(G)=θ(G), 称GGG是关于点独立集的完美图。

定理7 (完美图定理) GGG是关于色数的完美图当且仅当GGG是关于独立集的完美图。

定理8 GGG是完美图当且仅当其补图是完美图。

3、关于完美图的结构研究

在关于完美图结构的问题上,贝尔热提出了下面的强完美图猜想(SPGC猜想)

定理9 (强完美图定理)GGG是完美的当且仅当GGG和其补图均没有导出子图是长度至少为555的奇圈。

注: 强完美图定理是一个还没有被证明的公开性问题,所以,现在还是一个吸引许多学者研究的问题。

P187—190 习题7 :22 ,23,24,26

四、着色的计数与色多项式

(一)、色多项式概念

所谓色计数,就是给定标定图GGG和颜色数kkk,求出正常顶点着色的方式数。方式数用Pk(G)P_k(G)Pk(G)表示。

可以证明:Pk(G)P_k(G)Pk(G)kkk 的多项式,称为图 GGG 的色多项式。

由点色数 χ(G)\chi(G)χ(G) 和色多项式 Pk(G)P_k(G)Pk(G) 的定义可得:

(1) 若 k<χ(G)k<\chi(G)k<χ(G),则 Pk(G)=0P_k(G) = 0Pk(G)=0; χ(G)=min⁡{k∣Pk(G)≥1}\chi(G)=\min\left\{k|P_k(G)\geq1\right\}χ(G)=min{kPk(G)1}

(2) 若 GGGnnn 阶空图,则 Pk(G)=knP_k(G)=k^nPk(G)=kn

(3) Pk(Kn)=k(k−1)…(k−n+1)P_k(K^n)=k(k-1)…(k-n+1)Pk(Kn)=k(k1)(kn+1)

(4) 若图 GGG 含有 nnn 个孤立点,则 Pk(G)=knPk(G′)P_k(G) = k^nP_k(G')Pk(G)=knPk(G),其中 G′G'GGGG 去掉 nnn 个孤立点后所得的图

(5) 若图 GGG 有环或有重边,则去掉环并将重边用单边代替之后所得的图的 kkk 着色数目与原图一样。(这是因为研究图的着色时,涉及的是点与点是否邻接,并不涉及两点的邻接方式)

(二)、色多项式的两种求法

1、递推计数法

定理1GGG为简单图,则对任意 e∈E(G)e\in E(G)eE(G) 有:
Pk(G)=Pk(G−e)−Pk(G•e)P_k(G)=P_k(G-e)-P_k(G•e)Pk(G)=Pk(Ge)Pk(Ge)

推论:GGG是单图,e=uve=uve=uvGGG 的一条边,且 d(u)=1d(u)=1d(u)=1,则:
Pk(G)=(k−1)Pk(G−u)P_k(G)=(\text{k}-1)P_k(G-u)Pk(G)=(k1)Pk(Gu)


通过加边变为完全图,加边规则为:任意连接两个顶点 + 将两个顶点收缩;通过减边变为空图,减边规则为:任意删掉某条边 - 将这条边的两点收缩

一般,对于具有 n 个点 m 条边的图,当 m≤12C(n,2)m ≤ \frac{1}{2}C(n, 2)m21C(n,2) ,宜用减边方法


注意: 在变换的过程中,出现环则去掉,出现平行边则合并为一条边

2、理想子图计数法

(1) 预备知识

定义1:HHH是图GGG的生成子图(包含所有顶点)。若HHH的每个分支均为完全图,则称HHHGGG的一个理想子图。用Nr(G)N_r (G)Nr(G)表示GGG的具有 rrr 个分支的理想子图的个数。(有 nnn 个顶点就对应 nnnNr(G)N_r (G)Nr(G)



定理2qr(G)q_r(G)qr(G)表示将单图GGG的顶点集合VVV划分为 rrr 个不同色组的色划分个数,则:

qr(G)=Nr(G‾),(1≤r≤∣V∣)q_r(G){=}N_r(\overline{G}),(1{\leq}r{\leq}|V|)qr(G)=Nr(G)(1rV)

证明: 一方面,设GGG的任一rrr色划分为:{V1,V2,…,Vr}\{V_1, V_2,…,V_r\}{V1,V2,,Vr}。于是,对于 1≦i≦r1≦i≦r1ir, G‾[Vi]\overline{G}\left[V_i\right]G[Vi]G‾\overline{G}G 的完全子图。
因为Vi∩Vj=Φ(i≠j)V_i ∩ V_j = Φ (i≠j)ViVj=Φ(i=j), 所以 G‾[Vi]\overline{G}\left[V_i\right]G[Vi]G‾\overline{G}G 的理想子图。
这说明:GGG 的任一 rrr 色划分必然对应 G‾\overline{G}G 的一个理想子图。容易知道,这种对应是唯一的;
另一方面,对于 G‾\overline{G}G 的任一具有rrr个分支的理想子图,显然它唯一对应GGG中一个rrr色组。
所以,我们得到:qr(G)=Nr(G‾).....(1≤r≤∣V∣)q_r(G){=}N_r(\overline{G}).....(1{\leq}r{\leq}|V|)qr(G)=Nr(G).....(1rV)

(2) 色多项式求法——理想子图法(期末考过)

上面定理2实际上给我们提供了色多项式的求法:用kkk种颜色对单图GGG正常着色,可以这样来计算着色方式数:色组为1的方式数+色组为2的方式数+…+色组为nnn的方式数。即有如下计数公式:Pk(G)=∑i=1nNi(Gˉ)[k]i,其中,[k]i=k(k−1)(k−2)...(k−i+1)P_k(G)=\sum_{i=1}^nN_i(\bar{G})[k]_i,\text{其中,}[k]_i=k(k-1)(k-2)...(k-i+1)Pk(G)=i=1nNi(Gˉ)[k]i,其中,[k]i=k(k1)(k2)...(ki+1)

定义2 :GGG是单图,令Ni(Gˉ)=ri,[k]i=xiN_i(\bar{G})=r_i , [k]_i=x^iNi(Gˉ)=ri,[k]i=xi 。称
h(G,x)=∑i=1nrixih(G,x)=\sum_{i=1}^nr_ix^ih(G,x)=i=1nrixi

为图GGG伴随多项式

于是,求Pk(G)P_k(G)Pk(G)就是要求出 G‾\overline{G}G 的伴随多项式。



使用理想子图法求色多项式,还可以通过如下定理进行改进。

定理3GGGttt个分支H1,H2,…HtH_1,H_2,…H_tH1,H2,Ht, 且HiH_iHi的伴随多项式为 h(Hi,x),i=1,2,…,th(H_i, x), i=1,2,…,th(Hi,x),i=1,2,,t, 则:
h(G,x)=∏i=1th(Hi,x)h\left(G,x\right)=\prod_{i=1}^{t}h\left(H_{i},x\right)h(G,x)=i=1th(Hi,x)

该定理说明,在求 G‾\overline GG 的伴随多项式时,可以分别求出它的每个分支的伴随多项式,然后将它们作乘积。


求出了色多项式,可以由多项式推出点色数。但是,求色多项式的计算量是很大的。递推方法是指数类计算量,而理想子图法中主要计算量是找出所有理想子图,这也不是多项式时间算法。

(三)、色多项式的性质(了解即可)

定理4 nnn阶单图GGG的色多项式Pk(G)P_k(G)Pk(G)是常数项为000的首111整系数多项式,且各项系数符号正负相间。
在这里插入图片描述


在这里插入图片描述


在这里插入图片描述

Logo

北京人形旗下天工造物具身智能开源社区,聚焦具身天工与慧思开物两大平台

更多推荐