第七章 图的着色
7.1 边着色
现实生活中很多问题, 可以模型为所谓的图(边)着色问题来处理. 例如排课表问题, 光纤网络中的频率分配,寄存器资源分配, 任务指派, 会期安排问题等.
排课表问题: 设有 mm 位教师, nn 个班级, 其中教师 xixi 要给班级 yjy_j 上 pijp_{ij} 节课. 求如何在最少节次排完所有课. 建模: 令 X={x1,x2,…,xm},Y={y1,y2,…,yn}X=\{x_1,x_2,…,x_m\}, Y=\{y_1,y_2,…,y_n\}, xix_i 与 yjy_j 间连 pijp_{ij} 条边, 得二部图 G=(X,Y)G=(X,Y). 于是, 问题转化为如何在 GG 中将边集 EE 划分为互不相交的 pp 个匹配, 且使得 pp 最小.
如果每个匹配中的边用同一种颜色染色, 不同匹配中的边用不同颜色染色, 则问题转化为在 GG 中给每条边染色, 相邻边染不同色, 至少需要的颜色数. 这就需要我们研究图着色问题.
相关概念
边着色
设 GG 是图, 对 GG 的边进行染色, 若相邻边染不同颜色, 则称对 GG 进行正常边着色(proper edge-coloring).
- 注: 正常边着色图不能有自环.
如果能用 kk 种颜色对图 GG 进行正常边着色, 称 GG 是 kk 边可着色的 (kk-colorable).
★边色数
设 GG 是图, 对 GG 进行正常边着色需要的最少颜色数, 称为 GG 的边色数 (chromatic index), 记为: χ′(G)χ^′ (G)
- 注: 对图的正常边着色, 实际上是对 GG 的边集合的一种划分, 使得每个划分块是 GG 的一个边独立集; 图的边色数对应的是图的边独立集最小划分数. 因此, 图的边着色, 本质上是对应实际问题中的“划分”问题或“分类”问题.
色组 (类)
在对 GG 正常边着色时, 着相同颜色的边集称为该正常着色的一个色组 (类).
二部图的边色数
★定理: 完全二部图的边色数等于最大度
χ′(Km,n)=Δχ^′ (K_{m,n})=Δ
证明: 设 X={x0,x1,...,xm−1},Y={y0,y1,...,yn−1}X=\{x_0,x_1,...,x_{m-1}\}, Y=\{y_0,y_1,...,y_{n-1} \}
又设 ∆=n∆=n, 即有 m≤nm≤n. 设颜色的集合为 {0,1,2,…,n−1}\{0,1,2,…, n−1\}, ππ 是 Km,nK_{m,n} 的一种 nn 着色方案, 满足
∀xiyj∈E(Km,n),π(xiyj)=(i+j)( mod n)∀x_i y_j∈E(K_{m,n}),π(x_i y_j)=(i+j)(\bmod n)
我们证明: 上面的着色是正常边着色.
对 Km,nK_{m,n} 中任意的两条邻接边 xiyjx_iy_j 和 xiykx_iy_k. 若 π(xiyj)=π(xiyk)π(x_i y_j)=π(x_i y_k), 则: i+j( mod n)=i+k( mod n)i+j(\bmod n)=i+k(\bmod n), 得到 j=kj=k, 矛盾!
所以, 上面着色是正常着色. 所以: χ′(Km,n)≤nχ^′ (K_{m,n})≤n.
又显然 χ′(Km,n)≥Δ=nχ^′(K_{m,n})≥Δ=n, 所以, χ′(Km,n)=Δχ^′ (K_{m,n})=Δ.
例
用最少的颜色数对 K3,4K_{3,4} 正常边着色.
解: 用四种颜色着色:
π(xiyj)=(i+j)( mod 4)π(x_i y_j)=(i+j)(\bmod 4)
缺某色
设 ππ 是 GG 的一种正常边着色. 若点 uu 关联边的着色没有用到颜色 ii, 则称 uu 缺 ii 色 (color i missing on u).
★定理: 二部图的边色数等于最大度
(König, 1916) 若 GG 是二部图, 则 χ′(𝐺)=Δχ^′(𝐺)=Δ.
证明: 我们对 GG 的边数 mm 作归纳.
当 m=1m=1 时, Δ=1Δ=1, 有 χ′(G)=Δ=1χ^′ (G)=Δ=1
设对于小于 mm 条边的二部图来说命题成立. 设 GG 是具有 mm 条边的二部图.
取 uv∈E(G)uv∈E(G), 考虑 G1=G−uvG_1=G−uv, 由归纳假设有: χ′(G1)=Δ(G1)≤Δ(G)χ^′ (G_1)=Δ(G_1)≤Δ(G). 这说明, G1G_1 存在一种 Δ(G)Δ(G) 边着色方案 ππ. 对于该着色方案, 因为 uvuv 未着色, 所以点 uu 与 vv 均至少缺少一种色.
情形 1: 如果 uu 与 vv 均缺同一种色 ii, 则在 G1+uvG_1+uv 中给 uvuv 着色 ii, 而 G1G_1 其它边, 按 ππ 方案着色. 这样得到 GG 的 ΔΔ 着色方案, 所以: χ′(G)=Δχ^′ (G)=Δ.
情形 2: 如果 uu 缺色 ii, 而 vv 缺色 jj, 但不缺色 ii.
设 H(i,j)H(i, j) 表示 G1G_1 中由 ii 色边与 jj 色边导出的子图. 显然, 该图每个分支是 ii 色边和 jj 色边交替出现的路或圈 (类似两个匹配对称差).
对 H(i,j)H(i, j) 中包含点 vv 的分支来说, 因 vv 缺色 jj, 但不缺色 ii, 所以, 在 H(i,j)H(i, j) 中, 点 vv 的度为 11. 这说明, H(i,j)H(i, j) 中含 vv 的分支是一条路 PP.
进一步地, 我们可以说明, 上面的路 PP 不含点 uu. 因为, 如果 PP 含有点 uu, 那么 PP 必然是一条长度为偶数的路, 这样, P+uvP+uv 是 GG 中的奇圈, 这与 GG 是二部图矛盾!
既然 PP 不含点 uu, 所以我们可以交换 PP 中着色, 而不破坏 G1G_1 的正常边着色. 但交换着色后, uu 与 vv 均缺色 ii, 于是由情形1, 可以得到 GG 的 ΔΔ 正常边着色, 即证明: χ′(G)=Δχ^′ (G)=Δ.
注: 在一条路上进行色交换的思想是 Kempe 在尝试证明四色定理的时首创的. 虽然 Kempe 未能如愿证明四色定理 (证明有误), 但该方法是图论中非常有用的方法之一.
一般简单图的边色数
引理
设 GG 是简单图, xx 与 yy 是 GG 中两个不相邻的点, ππ 是 GG 的一个正常 kk 边着色. 若对该着色 ππ, x,yx, y 以及与 xx 相邻点均至少缺少一种颜色, 则 G+xyG+xy 是 kk 边可着色的.
★Vizing 定理
(Vizing[1964], Gupta[1966]) 若 GG 是简单图, 则:
χ′(G)=Δ 或 χ′(G)=Δ+1χ^′ (G)=Δ \text{ 或 } χ^′ (G)=Δ+1
证明: 只需要证明 χ′(G)≤Δ+1χ^′ (G)≤Δ+1 即可.
对 GG 的边数 mm 作数学归纳证明.
当 m=1m=1 时, Δ=1Δ=1, χ′(G)=1<Δ+1χ^′(G)=1< Δ+1
设当边数少于 mm 时, 结论成立. 下面考虑边数为 m≥2m≥2 的简单图 GG.
设 xy∈E(G)xy∈E(G), 令 G1=G−xyG_1=G−xy. 由归纳假设有: χ′(G1)≤Δ(G1)+1≤Δ(G)+1χ^′ (G_1)≤Δ(G_1)+1≤Δ(G)+1. 于是, 存在 G1G_1 的 Δ(G)+1Δ(G)+1 正常边作色 ππ.
显然 G1G_1 的每个顶点都至少缺少一种颜色. 根据引理知 G1+xyG_1+xy 是 Δ(G)+1Δ(G)+1 可着色的. 即证明: χ′(G)≤Δ(G)+1χ^′ (G)≤Δ(G)+1.
第一类图, 第二类图
将 χ′(G)=Δ(G)χ^′ (G)=Δ(G) 的简单图称为第一类图 (class one);
将 χ′(G)=Δ(G)+1χ^′ (G)=Δ(G)+1 的简单图称为第二类图 (class two).
意外的是, 确定一般图是否第一类的问题是 NP-完全的. 甚至对 3 正则图, 边色数的问题都是 NP-完全的.
Erdos 和 Wilson 用随机方法证明几乎所有的图都是第一类的.
三类特殊简单图的边色数
★定理1
设 GG 是简单图且 Δ(G)>0Δ(G)>0. 若 GG 中只有一个最大度点或恰有两个相邻的最大度点, 则: χ′(G)=Δ(G)χ^′ (G)=Δ(G).
证明:
(1) 若简单图 GG 恰有一个最大度点 uu, 取 uu 的一个邻点 vv, 作 G1=G−uvG_1=G-uv.
那么, Δ(G1)≤Δ(G)−1Δ(G_1)≤Δ(G)-1.
由 Vizing 定理: χ′(G1)≤(Δ(G)−1)+1=Δ(G)χ^′ (G_1)≤(Δ(G)-1)+1=Δ(G).
于是 G1G_1 是可 Δ(G)Δ(G) 正常边着色的, 因为 G1G_1 的每个顶点都至少缺少一种颜色, 所以由引理: G1+uv=GG_1+uv=G 是可 Δ(G)Δ(G) 正常边着色的, 即: χ′(G)=Δ(G)χ^′ (G)=Δ(G).
(2) 若简单图 GG 恰有 22 个邻接的最大度点 uu 与 vv. 设 G1=G−uvG_1=G-uv.
那么, Δ(G1)=Δ(G)−1Δ(G_1)=Δ(G)-1.
由 Vizing 定理: χ′(G1)≤(Δ(G)−1)+1=Δ(G)χ^′ (G_1)≤(Δ(G)-1)+1=Δ(G).
于是 G1G_1 是可 Δ(G)Δ(G) 正常边着色的, 因为 G1G_1 的每个顶点都至少缺少一种颜色, 所以由引理: G1+uv=GG_1+uv=G 是可 Δ(G)Δ(G) 正常边着色的, 即: χ′(G)=Δ(G)χ^′ (G)=Δ(G)
例
确定下图的边色数.
解: 由上述定理知道:
Δ(G1)=4Δ(G_1)=4, 恰有一个最大度点, 故 χ′(G1)=4χ^′ (G_1)=4.
Δ(G2)=5Δ(G_2)=5, 恰有一个最大度点, 故 χ′(G2)=5χ^′ (G_2)=5.
Δ(G3)=4Δ(G_3)=4, 恰有 22 个邻接的最大度点, 故 χ′(G3)=4χ^′ (G_3)=4.
★定理2
设 GG 是简单图. 若顶点数 n=2k+1n=2k+1 且边数 m>kΔm>kΔ, 则: χ′(G)=Δ(G)+1χ^′ (G)=Δ(G)+1.
证明: 若不然, 由 Vizing 定理, χ′(G)=Δ(G)χ^′ (G)=Δ(G).
设 ππ 是 GG 的 Δ(G)Δ(G) 正常边着色方案, 对于 GG 的每个色类来说, 包含的边数至多 (n−1)/2=k(n-1)/2=k. 这样: m(G)≤Δkm(G)≤Δk, 与条件矛盾.
例
确定下图的边色数.
解: 由上述定理, 图 GG 顶点数 n=5n=5, k=2k=2, Δ(G)=4Δ(G)=4, 边数 m=9>kΔ=8m=9 > kΔ=8, 故 χ′(G)=Δ(G)+1=5χ^′ (G)=Δ(G)+1=5.
★定理3
设 GG 是奇数阶 ΔΔ 正则简单图, 若 Δ>0Δ>0, 则: χ′(G)=Δ(G)+1χ^′ (G)=Δ(G)+1.
证明: 设 n=2k+1n=2k+1. 因 GG 是 ΔΔ 正则简单图, 且 Δ>0Δ>0, 所以:
m(G)=nΔ2=(2k+1)Δ2>kΔm(G)=\frac{nΔ}{2}=\frac{(2k+1)Δ}{2}>kΔ
由定理2: χ′(G)=Δ(G)+1χ^′ (G)=Δ(G)+1.
例
设 n=2k+1,k>0n=2k+1, k>0. 求 χ′(Cn),χ′(Kn)χ^′ (C_n), χ^′ (K_n).
解: 由上述定理知:
χ′(Cn)=2+1=3χ^′ (C_n)=2+1=3.
χ′(Kn)=(n−1)+1=nχ^′ (K_n)=(n-1)+1=n.
练习: 设 n=2k,k>0n=2k, k>0. 求 χ′(Cn),χ′(Kn)χ^′ (C_n), χ^′ (K_n).
对于 CnC_n 使用两种颜色交替着色即可, 故 χ′(Cn)=2χ^′ (C_n) = 2.
χ′(Kn)=n−1χ^′ (K_n)=n-1.
例
求出 Petersen 图的边色数.
解: 一方面, Petersen图中去掉任意一个 11 因子后, 剩下两个 55 长圈, 所以, 不能 11 因子分解. 故: χ′(G)≥4χ^′ (G)≥4.
另一方面: 通过验证, GG 可以 44 正常着色. 所以: χ′(G)=4χ^′ (G)=4.
注: 事实上, kk-正则图是第一类的⟺可 11 因子分解. 故判定一般 kk 正则图 (非二部, k≥3k≥3) 是否可 11 因子分解也是 NP-完全的.
例
求证: 每个哈密尔顿 33 正则图都有泰特着色. 33 正则图的正常 33 边着色称为泰特 (Tait) 着色.
证明: 设 GG 是 33 正则 H 图, CC 是 GG 的一个 H 圈, 则 CC 是二部圈, 所以 CC 是 22 可正常边着色的. 因 G−CG−C 是 GG 的一个 11 因子, 所以, 可 11 正常边着色. 因此, GG 是可以 33 边正常着色的, 即 GG 有泰特着色 (事实上, 第五章中已证明该图可 11-因子分解).
注: Tait提出Tait着色是为了证明“四色定理”. 因为如果证明了每个3连通3正则平面图的边色数是3, 那么“四色定理”就得到证明. Tait(1880)认为: 每个3连通3正则平面图是H图, 所以由上面例7, Tait深信他已经证明了“四色定理”. 非常遗憾, Tutte 1946年通过构图方式否定了每个3连通3正则平面图是H图的断言.
非简单图的边色数
Vizing 定理 (非简单图)
设无环图 GG 中边的最大重数为 μμ, 则, χ′(G)≤Δ+μχ^′ (G)≤Δ+μ.
例如, 下图是一个边色数达到 Δ+μΔ+μ 的图, 其中 Δ=4,μ=2Δ=4, μ=2.
★边着色的应用
边着色对应的实际问题就是图的匹配分解问题. 边色数对应的是最小匹配分解问题. 所以, 生活中的许多问题都可模型为边着色问题来解决.
排课表问题
在一个学校中, 有 77 个教师 1212 个班级. 在每周 55 天教学日条件下, 教课的要求由如下矩阵给出:
P=(323333333333136042513304505500505055242424242423352203144325550055050550034343434330)P= \begin{pmatrix} 3&2&3&3&3&3&3&3&3&3&3&3 \\ 1&3&6&0&4&2&5&1&3&3&0&4 \\ 5&0&5&5&0&0&5&0&5&0&5&5 \\ 2&4&2&4&2&4&2&4&2&4&2&3 \\ 3&5&2&2&0&3&1&4&4&3&2&5 \\ 5&5&0&0&5&5&0&5&0&5&5&0 \\ 0&3&4&3&4&3&4&3&4&3&3&0 \\ \end{pmatrix}
其中, pijp_{ij} 表示 xix_i 必须教 yjy_j 班的节数. 求: 一天分成几节课, 才能满足所提出的要求?
解: 问题可模型为一个二部图. 一节课对应边正常着色的一个色组. 由于 GG 是二部图, 所以边色数为 GG 的最大度 3535. 这样, 最少总课时为 3535 节课. 平均每天要安排 77 节课.
★比赛安排问题
Alvin (A) 曾邀请 3 对夫妇到他的避暑别墅住一个星期. 他们是: Bob 和 Carrie , David 和 Edith, Frank 和 Gena. 由于这 6 人都喜欢网球运动, 所以他们决定进行网球比赛. 6 位客人的每一位都要和其配偶之外的每位客人比赛. 另外, Alvin 将分别和 David, Edith, Frank, Gena 进行一场比赛. 若没有人在同一天进行 2 场比赛, 则要在最少天数完成比赛, 如何安排?
解: 用点表示参赛人, 两点连线当且仅当两人有比赛. 这样得到比赛状态图.
问题对应于求状态图的一种最优边着色(用最少色数进行正常边着色).
由于 n=2×3+1n=2×3+1, 所以 k=3k=3 (每天最多有3场比赛). 而Δ=5,m=16>3×5=kΔΔ=5, m=16>3×5=kΔ, 所以由定理2知: χ′(G)=6χ^′ (G)=6.
最优着色为:
7.2 顶点着色
相关概念
点着色
设 GG 是一个图, 对 GG 的每个顶点着色, 使得相邻顶点着不同颜色, 称为对 GG 的正常点着色 (proper coloring).
如果用 kk 种颜色可以对 GG 进行正常点着色, 称 GG 可 kk 正常点着色 (proper kk-coloring).
★点色数
对图 GG 正常顶点着色需要的最少颜色数, 称为图 GG 的点色数 (chromatic number). 图 GG 的点色数用 χ(G)χ(G) 表示.
例
说明下图的点色数是4.
解: 一方面, 由图的结构特征容易知道 χ(G)≥4χ(G)≥4, 因为 LA 与其余 5 个点相连, 不能和其余 5 个点着相同色, 其余 5 个点构成一个 5 长圈, 至少需要 3 个颜色.
另一方面, 通过具体着色, 用 4 种颜色可以得到该图的一种正常点着色, 则: χ(G)≤4χ(G)≤4.
所以, χ(G)=4χ(G)=4.
色组
注: 对图的正常顶点着色, 带来的是图的顶点集合的一种划分方式. 所以, 对应的实际问题也是分类问题.
属于同一种颜色的顶点集合称为一个色组, 它们彼此不相邻接, 所以又称为点独立集.
色数为 kk 的图称为 kk 色的 (kk-chromatic).
图的点色数的几个结论
KnK_n 的点色数
显然 χ(G)≤nχ(G)≤n, 且仅对 KnK_n 有 χ(G)=cl(Kn)=nχ(G)=cl(K_n)=n. 对一般图 χ(G)≤nχ(G)≤n 未考虑到图的任何结构信息.
★定理
对任意的图 GG, 有: χ(G)≤Δ(G)+1χ(G)≤Δ(G)+1.
分析: 事实上, 定理结论容易想到, 因为任意一个顶点度数至多为 ΔΔ. 因此, 正常着色过程中, 其邻点最多用去 ΔΔ 种颜色, 所以, 至少还有一种色可供该点正常着色使用.
证明: 我们对顶点数作数学归纳证明.
当 n=1n=1 时, 结论显然成立.
设对顶点数少于 nn 的图来说, 定理结论成立. 考虑一般的 nn 阶图 GG.
任取 v∈V(G)v∈V(G), 令 G1=G−vG_1=G−v, 由归纳假设: χ(G1)≤Δ(G1)+1≤Δ(G)+1χ(G_1)≤Δ(G_1)+1≤Δ(G)+1.
设 ππ 是 G1G_1 的一种 Δ(G)+1Δ(G)+1 正常点着色方案, 因为 vv 的邻点在 ππ 下至多用去 Δ(G)Δ(G) 种色, 所以给 vv 染上其邻点没有用过的色, 就把 ππ 扩充成了 GG 的 Δ(G)+1Δ(G)+1 着色方案.
Δ+1Δ+1 正常点着色算法
对于 GG 来说, 可以给出其 Δ(G)+1Δ(G)+1 正常点着色算法.
GG 的 Δ(G)+1Δ(G)+1 正常点着色算法 (Greedy strategy)
设 G=(V,E),V={v1,v2,…,vn}G=(V,E), V=\{v_1,v_2,…,v_n\}, 色集合 C={1,2,…,Δ+1}C=\{1, 2, …, Δ+1\}, 着色方案为 ππ.
(1) 令 π(v1)=1,i=1π(v_1)=1, i=1;
(2) 若 i=ni=n, 则停止;
否则若 kk 为与 vi+1v_{i+1} 相邻的顶点里未使用的标号最小的色号, 且令 π(vi+1)=kπ(v_{i+1} )=k.
(3) 令 i=i+1i=i+1, 转(2).
例
给出下图的 Δ+1Δ+1 正常点着色.
解: 颜色集 C={1,2,3,4,5}C=\{1, 2, 3, 4, 5\}
(1) π(v1)=1π(v_1)=1,
(2) k=2,π(v2)=2k=2, π(v_2)=2,
(3) k=3,π(v3)=3k=3, π(v_3)=3,
(4) k=1,π(v4)=1k=1, π(v_4)=1,
(5) k=2,π(v5)=2k=2, π(v_5)=2,
(6) k=4,π(v6)=4k=4, π(v_6)=4.
注
(1) 不能通过上面算法求出色数. 例如, 根据上面算法, 我们求出了一个 44 色方案, 但 GG 是 33 色图:
(2) 该算法求出的颜色数依赖于顶点的编号(亦即顶点编号不同, 求出的颜色数可能不同)
(3) 一种策略就是对每一种顺序的顶点编号, 均用该算法得到颜色数, 最后再比较求出最小的颜色数就是点色数. 但要对 n!n! 种顶点都计算, 显然非多项式时间!
(4) Welsh—Powell (1967) 对上面算法做了一个修改, 着色时按所谓最大度优先策略(即考虑图的结构), 即用上面算法时, 按顶点度数由大到小的次序着色. 这样的着色方案是对上面算法的一个改进(也仅仅是一个改进, 没有彻底解决点色数的问题), 得到 ≤maximin{di,i−1},1≤i≤n≤\max_i \min\{d_i, i−1\}, 1≤ i ≤n.
Petersen 图的点色数
试求 Petersen 图的点色数.
解: 找到 Petersen 图 GG 的一个 44 点独立集, 其余 66 个点的导出子图是 3K23K_2, χ(G)≥3χ(G)\ge 3.
又给出一个 33 着色方案, 得到 χ(G)≤3χ(G)\le 3.
综上, χ(G)=3χ(G)=3.
★Brooks 定理
对于简单图 GG 来说, 数学家 Brooks 给出了一个对定理的改进. 这就是下面著名的 Brooks 定理.
(Brooks, 1941) 若 GG 是连通的简单图, 并且它既不是奇圈, 又不是完全图, 则: χ(G)≤Δ(G)χ(G)≤Δ(G).
Lovász 在 1975 年给出了如下漂亮证明.
证明: 略.
注:
(1) 对点色数, Brooks 定理可以得到其上界为 Δ(G)Δ(G), 并可应用贪婪算法得到 Δ(G)+1Δ(G)+1 种颜色的染色方式.
(2) 对一般图来说, 判定其是否是 33 可着色的问题是 NP-完全的. 求一般图的色数问题是 NP-困难的. 这也就是 Brooks 定理仅能给出上界的原因.
关于色数的一个猜想
一般来说, 以下情况成立:
χ(G×H)≤min{χ(G),χ(H)}χ(G\times H)≤\min\{χ(G),χ(H)\}
1966 年, Stephen T.Hedetniemi 进一步推测 χ(G×H)=min{χ(G),χ(H)}χ(G\times H)=\min\{χ(G),χ(H)\}.
2019 年, Yaroslav Shitov 证明了 χ(G×H)χ(G\times H) 可以小于 min{χ(G),χ(H)}\min\{χ(G),χ(H)\}.
四色与五色定理
四色定理
1852 年, 刚毕业于 University College London 的 Francis Guthrie (1831-99) 发现: 给一张英国地图 (平面的) 正常着色, 仅需要 4 种颜色. 这就是著名的 4 色问题.
20 世纪 70 年代, Haken 和他的学生 Appel 着力用计算机方法证明 4 色定理, 借助于 Appel 在编程方面的深厚功底. 他们于 1976 年 6 月终于成功解决了寻找不可约构形集合中的元素, 宣告 4 色定理的成功证明.
五色定理 (Heawood)
每个平面图是 55 可着色的.
根据平面图和其对偶图的关系, 上面定理等价于每个平面图是 5 可顶点正常着色的.
证明: 我们对图的顶点作归纳.
当 n=1n=1 时, 结论显然. 假设 n=kn=k 时结论成立. 考虑 n=k+1n=k+1 的连通平面图 GG.
因 GG 是连通平面图, 所以 δ(G)≤5δ(G)≤5. 设 d(u)=δ(G)≤5d(u)=δ(G)≤5.
令 G1=G–uG_1=G–u. 由归纳假设, G1G_1 是 55 可顶点正常着色的. 设 ππ 是 G1G_1 的 55 着色方案.
(1) 如果 d(u)=δ(G)<5d(u)=δ(G)<5, 显然 ππ 可以扩充为 GG 的 55 正常顶点着色;
(2) 如果 d(u)=δ(G)=5d(u)=δ(G)=5, 分两种情况讨论.
情形 1: 在 ππ 下, 如果 uu 的邻接点中, 至少有两个顶点着相同颜色, 则容易知道, ππ 可以扩充为 GG 的 55 正常顶点着色;
情形 2: 在 ππ 下, 设 uu 的邻接点中, 55 个顶点着了 55 种不同颜色.
不失一般性, 设 π(xi)=i(1≤i≤5)π(x_i)=i (1≤i≤5). 设 H(i,j)H(i, j) 表示着 ii 和 jj 色的点在 G1G_1 中的点导出子图.
如果 x1x_1 与 x3x_3 属于 H(1,3)H(1,3) 的不同分支. 则通过交换含 x1x_1 的分支中的着色顺序, 可得到 G1G_1 的新正常点着色方案, 使 x1x_1 与 x3x_3 着同色, 于是由情形 1, 可以得到 GG 的 55 正常顶点着色方案;
设 x1x_1 与 x3x_3 属于 H(1,3)H(1,3) 的相同分支.
在上面假设下, x2x_2 与 x4x_4 必属于 H(2,4)H(2, 4) 的不同分支. 否则, 将会得到 H(1,3)H(1,3) 与 H(2,4)H(2,4) 的交叉点. 因此, ππ 可以扩充为 GG 的 55 正常顶点着色.
★顶点着色的应用
图的正常顶点着色对应的实际问题是“划分”问题.
★课程安排问题
某大学数学系要为这个夏季安排课程表. 所要开设的课程为: 图论(GT), 统计学(S), 线性代数(LA), 高等微积分(AC), 几何学(G), 和近世代数(MA). 现有10名学生(如下所示)需要选修这些课程. 根据这些信息, 确定开设这些课程所需要的最少时间段数, 使得学生选课不会发生冲突. (学生用Ai表示)
A1: LA, S;
A2: MA, LA, G;
A3: MA, G, LA;
A4: G, LA, AC ;
A5: AC, LA, S;
A6: G, AC;
A7: GT, MA, LA;
A8: LA, GT, S;
A9: AC, S, LA;
A10: GT, S.
解: 把课程模型为图G的顶点, 两顶点连线当且仅当有某个学生同时选了这两门课程.
如果我们用同一颜色给同一时段的(冲突的)课程顶点染色, 那么, 问题转化为在状态图中求对应于图的点色数及其着色方案.
(1) 求点色数
一方面, 因图中含有奇圈 (红色边), 所以, 点色数至少为 33. 又因为点 LA 与该圈上每一个点均邻接, 所以, 点色数至少为 44. 另一方面, 我们用 44 种色实现了 GG 的正常点着色. 所以, 图的点色数为 44.
(2) 具体安排
★交通灯的相位设置问题
如图所示, 列出了繁华街道路口处的交通车道 L1, L2, …, L9. 在此路口处安置了交通灯. 当交通灯处于某个相位时, 亮绿灯的车道上的车辆就可以安全通过路口. 为了让所有的车辆都能安全通过路口(包括不同车辆驶入同一车道), 交通灯所需相位的最小数目是多少?
解: 车道模型为顶点, 两点连线当且仅当两个车道上的车不能同时安全地进入路口.
问题转化为求 GG 的点色数. 一方面, GG 中含有 K4K_4. 所以, 点色数至少为 44.
另一方面, 通过尝试, 用 44 种色实现了正常点着色.
所以, 最小相位为 44.
7.3 〇与色数有关的几类图
临界图
(色) 临界图
若对图 GG 的任意真子图 HH, 都有 χ(H)<χ(G)χ(H)<χ(G), 则称 GG 是 (色) 临界图 (color-critical).
kk 临界图
点色数为 kk 的临界图称为 kk 临界图 (k-critical graph).
定理 (Dirac, 1952)
临界图有如下性质:
(1) kk 色图均有 kk 临界子图;
(2) 每个临界图均为简单连通图;
(3) 若 GG 是 kk 临界图, 则 δ≥k−1δ≥k-1.
证明:
(1) 是显然的. (注: 但是没有好的算法)
(2) 显然图无自环. 删掉平行边中的一条边并不影响原有的顶点正常着色, 所以每个临界图是简单图; 又因为删掉色数较小的分支, 剩下部分的图的色数和原图色数相等, 所以, 临界图必连通.
(3) 若不然, δ(G)<k−1δ(G)<k-1.
设 d(v)=δd(v)=δ. 因为 GG 是 kk 临界图, 所以 G−vG−v 是 k−1k−1 可正常顶点着色的. 设 ππ 是 G−vG−v 的 k−1k−1 正常顶点着色方案, 显然, 它可以扩充为 GG 的 k−1k−1 正常点着色方案. 这与 GG 是 kk 临界图相矛盾.
推论
每个 kk 色图至少有 kk 个度不小于 k−1k−1 的顶点.
证明: 因 GG 是 kk 色图, 所以, 它包含 kk 临界子图 G1G_1, 所以有: δ(G1)≥k−1δ(G_1)≥ k−1, 即 G1G_1 中至少有 kk 个顶点, 其度数不小于 k−1k−1. 所以, GG 中至少有 kk 个度不小于 k−1k−1 的顶点.
例
利用上面推论证明: 对任意图 GG, 有: χ(G)≤Δ(G)+1χ(G)≤Δ(G)+1.
证明: 设 GG 的点色数为 χ(G)χ(G). 由推论, GG 中至少有 χ(G)χ(G) 个顶点, 其度数不小于 χ(G)−1χ(G)-1.
所以, Δ(G)≥χ(G)−1Δ(G)≥χ(G)-1, 即: χ(G)≤Δ(G)+1χ(G)≤Δ(G)+1.
例
求证: (Dirac, 1952) 临界图没有割点.
证明: 设 GG 是 kk 临界图. 如果 GG 有割点 vv, 设 G1,G2,…,GrG_1, G_2, …, G_r 是 G−vG−v 的分支. 又设第 ii 个分支顶点集为 Vi(1≤i≤r)V_i (1≤i≤r).
设 Hi=G[Vi∪v],(1≤i≤r)H_i=G[V_i∪{v}], (1≤i≤r). 则 HiH_i 是 k−1k−1 可正常点着色的, 现对每个 HiH_i 进行 k−1k−1 正常点着色, 且 vv 都分配同一种颜色, 那么, 将着色后的 HiH_i 合在一起, 得到 GG 的 k−1k−1 正常点着色方案, 这与 GG 是 kk 色图矛盾. 所以临界图没有割点.
例
求证: 仅有的 11 临界图是 K1K_1; 仅有的 22 临界图是 K2K_2; 仅有的 33 临界图是奇圈.
证明: 由于 11 色图是空图, 所以 11 临界图只能是 K1K_1; 22 色图是二部图, 所以, 22 临界图只能是 K2K_2; 33 色图必然含有奇圈, 而奇圈的色数是 33, 所以, 33 临界图只能是奇圈.
不含三角形的 kk 色图
不含三角形的 kk 色图
若图 GG 的点色数是 kk, 且 GG 中不含有三角形, 称 GG 是一个不含三角形的 kk 色图 (triangle-free k-critical graph).
构造不含三角形的 kk 色图
1953年, Dirac 在 “kk 色图的构造” 一文中提出一个问题: 对于任意大的一个正整数 kk, 是否存在一个图, 不包含三角形但色数是 kk?上面问题分别由勃兰克.斯德卡兹 (1954), Mycielski (1955) 独立作出了回答.
Mycielski (1955) 给出了由一个不含三角形的 kk 色图 GkG_k 构造一个不含三角形的 k+1k+1 色图 Gk+1G_{k+1} 的方法.
构造方法: 设 GkG_k 的顶点是 u1,u2,…,unu_1,u_2,…,u_n, 添加点 v1,v2,…vnv_1,v_2,…v_n 和点 vv. 将 viv_i 与 uiu_i 的所有邻点及 vv 相连, 1≤i≤n1≤i≤n. 如此得到的图就是一个不含三角形的 k+1k+1 色图.
例
利用 Mycielski 方法构造一个不含三角形的 44 色图.
解:
定理 (Mycielski)
对任意正整数 kk, 存在不含三角形的 kk 色图.
注: 一般地有 χ(G)≥cl(G)χ(G)≥cl(G). 其中 cl(G)cl(G) 是 GG 的最大团的阶数. 由此构造可以看出 χ(G)χ(G) 可以远远大于 cl(G)cl(G).
7.4 〇完美图
相关概念
团
若简单图 GG 的一个顶点子集 SS 在 GG 中的导出子图是完全图, 则称 SS 是 GG 的一个团 (clique).
团数 cl(G)cl(G)
简单图 GG 的最大团包含的顶点数称为 GG 的团数 (clique number), 记为 cl(G)cl(G), 即:
cl(G)=max{∣S∣∣S是G的团}cl(G)=max\{ |S| \big| S \text{是} G \text{的团} \}
显然, 图 GG 的点色数与团数的关系为: χ(G)≥cl(G)χ(G)≥cl(G).
完美图
设 GG 是一个图. 若对 GG 的每个点导出子图 HH, 均有 χ(H)=cl(H)χ(H)=cl(H), 则称 GG 为完美图 (perfect graph).
例如 KnK_n, 二部图都是完美图.
而不含三角形但含奇圈的图不是完美图. 因为不含三角形的但含奇圈的图的团数为 22, 但色数为 33.
对该问题的研究, 早在 1932 年 Konig 和 Gallai 就已经涉及, 但到了 1960 年, 完美图概念才被 Berge 正式提出.
点独立集
设 GG 是一个图. 由 GG 中若干互不邻接的顶点作成的子集称为 GG 的一个点独立集 (independence set)
独立数 α(G)α(G)
GG 中含顶点数最多的点独立集称为 GG 的最大独立集, 其包含的顶点数称为独立数 (independence number), 记为 α(G)α(G).
关于独立数的完美图
注: 关于图的覆盖与图的点独立数之间的关系, Gallai 得到了一些很漂亮的结论.
完全数 θ(G)θ(G)
设 SS 是图 GG 的顶点集合的一个划分. 如果 SS 的每个子集在 GG 中的导出子图均是完全图, 称 SS 是 GG 的一个完全分类. GG 的最小完全分类所包含的元素个数称为 GG 的完全数, 记为 θ(G)θ(G), 即:
θ(G)=min{∣S∣∣S为G的完全分类}θ(G)=min\{|S| \big| S 为 G 的完全分类\}
注: α(G)≤θ(G)α(G)≤θ(G). 这是因为独立集中任意一点应该属于 SS 中的某个顶点子集, 同时, SS 中每个顶点子集最多包含独立集中的一个元素.
关于点独立集的完美图
若对 GG 中每个点导出子图 HH, 都有 α(H)=θ(H)α(H)=θ(H), 称 GG 是关于点独立集的完美图.
完美图定理
1960年, 数学家 Berge 猜想: 关于色数的完美图定义和关于独立集的完美图定义是等价的. 即下面著名的完美图定理.
GG 是关于色数的完美图当且仅当 GG 是关于独立集的完美图.
定理
由完美图定理, 可以得到如下定理:
GG 是完美图当且仅当其补图是完美图.
关于完美图的结构研究
强完美图定理
在关于完美图结构的问题上, Berge 提出了下面的强完美图猜想 (SPGC猜想, 1961)
图 GG 是完美的当且仅当 GG 和其补图均没有导出子图是长度至少为 55 的奇圈.
注: 强完美图猜想在2002年由 Maria Chudnovsky, Neil Robertson, Paul Seymour, 和 Robin Thomas证明. "The strong perfect graph theorem", Annals of Mathematics, 164 (1):51–229
7.5 着色的计数与色多项式
色多项式
★色多项式 Pk(G)P_k(G)
George David Birkhoff (1884.3.21-1944.11.12, 1907年获芝加哥大学博士, 1925年任美国数学会主席) 为了尝试证明四色定理而定义了色多项式.
给定图 GG 和颜色数 k∈Nk∈Ν, Pk(G)P_k(G) 的值是对 GG 正常 kk 点着色的方式数, 即满足 f:V(G)→[k]f:V(G)→[k] 是正常点着色的所有映射的数目, 其中 [k]={1,2,⋯,k}[k]=\{1,2,⋯,k\}.
给一个点着不同的颜色, 则产生不同的染色方式.
可以证明: Pk(G)P_k(G) 是 kk 的多项式, 称为图 GG 的色多项式 (chromatic polynomial).
色多项式的性质
由点色数 χ(G)χ(G) 和色多项式 Pk(G)P_k(G) 的定义可得:
- (1) 若 k<χ(G)k<χ(G), 则 Pk(G)=0P_k(G)=0; χ(G)=min{k∣Pk(G)≥1}χ(G)=\min\{k|P_k (G)≥1\}.
- (2) 若 GG 为空图, 则 Pk(G)=knP_k(G)=k^n.
- (3) Pk(Kn)=k(k−1)⋯(k−n+1)P_k(K_n)=k(k−1) \cdots (k−n+1).
色多项式的两种求法
- 递推计数法
- 理想子图计数法
递推计数法
★定理
设 GG 为简单图, 则对任意 e∈E(G)e∈E(G) 有:
Pk(G)=Pk(G−e)−Pk(G⋅e)P_k(G) = P_k(G-e) - P_k(G \cdot e)
证明: 设 e=uve=uv. 则对 G−eG−e 的着色方式数可以分为两部分:
(1) uu 与 vv 着不同颜色. 此时, 等于 GG 的着色方式数;
(2) uu 与 vv 着同色. 此时, 等于 G⋅eG·e 的着色方式数;
所以 Pk(G)=Pk(G−e)−Pk(G⋅e)P_k(G) = P_k(G-e) - P_k(G \cdot e)
推论
设 GG 是简单图, e=uve=uv 是 GG 的一条边, 且 d(u)=1d(u)=1, 则:
Pk(G)=(k−1)Pk(G−u)P_k (G)=(k-1)P_k (G-u)
证明: 因为 GG 是简单图, e=uv,d(u)=1e=uv, d(u)=1, 所以 G⋅e=G−uG·e = G−u.
另一方面, Pk(G−e)=kPk(G−u)P_k(G−e)=kP_k(G−u)
所以,
Pk(G)=Pk(G−e)−Pk(G⋅e)=kPk(G−u)−Pk(G−u)=(k−1)Pk(G−u)\begin{aligned} P_k(G) &= P_k(G-e) - P_k(G \cdot e) \\ &= k P_k(G-u) - P_k(G - u) \\ &= (k-1) P_k(G-u) \end{aligned}
对递推公式的使用分析
(1) 当图 GG 的边数较少时, 使用减边递推法:
Pk(G)=Pk(G−e)−Pk(G⋅e)P_k(G) = P_k(G-e) - P_k(G \cdot e)
(2) 当图 GG 的边数较多时, 使用加边递推法:
Pk(G−e)=Pk(G)+Pk(G⋅e)P_k(G-e) = P_k(G) + P_k(G \cdot e)
注:
- 重边不影响顶点染色个数, 故直接删去.
- KnK_n 的色多项式为 k(k−1)…(k−n+1)k(k−1)…(k−n+1);
- nn 阶空图的色多项式为 knk^n.
注: 递推计数法的计算复杂度是指数型的.
例
求出下面各图的色多项式.
解: (1) 加边变成 K3K_3
Pk(G1)=k(k−1)(k−2)+k(k−1)=k3−2k2+kP_k (G_1)=k(k-1)(k-2)+k(k-1)=k^3-2k^2+k
也可由推论:
Pk(G1)=(k−1)Pk(K2)=k3−2k2+kP_k (G_1)=(k-1)P_k (K_2)=k^3-2k^2+k
(2) 加边变成 K4K_4
Pk(G2)=k(k−1)(k−2)(k−3)+2k(k−1)(k−2)+k(k−1)=k(k−1)(k2−3k+3)\begin{aligned} P_k (G_2)&=k(k-1)(k-2)(k-3)+2k(k-1)(k-2)+k(k-1) \\ & =k(k-1)(k^2-3k+3) \end{aligned}
(3) 删边
Pk(G3)=k(k−1)(k3−5k2+10k−7)P_k (G_3)=k(k-1)(k^3-5k^2+10k-7)
理想子图计数法
理想子图
设 HH 是图 GG 的生成子图. 若 HH 的每个分支均为完全图, 则称 HH 是 GG 的一个理想子图. 用 Nr(G)N_r(G) 表示 GG 的具有 rr 个分支的理想子图的个数.
例
求 N4(G),N5(G)N_4(G), N_5(G).
解: 通过观察枚举求 Nr(G)N_r(G).
1) N4(G)N_4(G):
N4(G)=6N_4(G)=6.
2) N5(G)N_5(G):
N5(G)=5N_5(G)=5.
定理
设 qr(G)q_r (G) 表示将简单图 GG 的顶点集合 VV 划分为 rr 个不同色类的划分数, 则:
qr(G)=Nr(G‾)(1≤r≤∣V∣)q_r(G)=N_r (\overline{G}) (1≤r≤|V|)
证明: 一方面, 设 GG 的任一 rr 色划分为: V1,V2,…,Vr{V_1, V_2, …, V_r}. 于是, 对于 1≤i≤r1≤i≤r, G‾[Vi]\overline{G}[V_i ] 是 G‾\overline{G} 的完全子图.
因为 Vi∩Vj=Φ(i≠j)V_i∩V_j=Φ (i≠j), 所以 ⋃i=1rG‾[Vi]\bigcup_{i=1}^r \overline{G}[V_i] 是 G‾\overline{G} 的具有 rr 个分支理想子图.
GG 的任一个 rr 色划分必然唯一对应 G‾\overline{G} 的一个具有 rr 个分支理想子图.
所以, qr(G)=Nr(G‾)(1≤r≤∣V∣)q_r(G)=N_r (\overline{G}) (1≤r≤|V|).
理想子图法求色多项式
上面定理实际上给我们提供了色多项式的求法. 用 kk 种颜色对简单图 GG 正常点着色, 那么便有下面的计数公式:
Pk(G)=∑i=1nNi(G‾)[k]iP_k (G)=\sum_{i=1}^n N_i (\overline{G})[k]_i
其中, [k]i=k(k−1)(k−2)⋯(k−i+1)[k]_i=k(k-1)(k-2)\cdots(k-i+1).
伴随多项式
设 GG 是简单图, 令 Ni(G)=ri,[k]i=xiN_i(G)=r_i, [k]_i=x^i . 称
h(G,x)=∑i=1nrixih(G,x)=\sum_{i=1}^n r_i x^i
为图 GG 的伴随多项式.
于是, 求 Pk(G)P_k(G) 就是要求出 G‾\overline{G} 的伴随多项式.
★理想子图法求色多项式的步骤
用理想子图法求 Pk(G)P_k(G) 的步骤如下:
(1) 画出 GG 的补图 G‾\overline{G}.
(2) 求出关于补图的 ri=Ni(G‾),(1≤i≤n)r_i=N_i (\overline{G}),(1≤i≤n).
(3) 写出关于补图的伴随多项式 h(G‾,x)=∑i=1nrixih(\overline{G},x) = \sum_{i=1}^n r_i x^i.
(4) 将 xi=[k]ix^i=[k]_i 代入伴随多项式中得到 Pk(G)P_k(G).
例
求下图 GG 的色多项式 Pk(G)P_k(G).
解: (1) GG 的补图为:
(2) 求出关于补图的伴随多项式系数 ri(1≤i≤6)r_i (1≤i≤6)
i) i=6,r6=N6(G‾)=1i = 6, r_6=N_6 (\overline{G})=1
6个分支的理想子图, 每个分支是 K1K_1, 一种
ii) i=5,r5=N5(G‾)=5i = 5, r_5=N_5 (\overline{G})=5
5个分支的理想子图, 4个分支是 K1K_1, 1个分支是 K2K_2, 5条边, 5种
iii) i=4,r4=N4(G‾)=6i =4, r_4=N_4 (\overline{G})=6
4个分支的理想子图,
2个分支是 K1K_1, 2个分支是 K2K_2, 5种,
3个分支是 K1K_1, 1个分支是 K3K_3, 1种,
共6种
iv) i=3,r3=N3(G‾)=2i = 3, r_3=N_3 (\overline{G})=2
3个分支的理想子图,
3个分支是 K2K_2, 1种,
1个分支是 K1K_1, 1个分支是 K2K_2, 1个分支是 K3K_3, 1种,
共2种
v) i=2,r2=N2(G‾)=0i =2, r_2=N_2 (\overline{G})=0
vi) i=1,r1=N1(G‾)=0i =1, r_1=N_1 (\overline{G})=0
(3) 写出关于补图的伴随多项式
h(G‾,x)=∑i=1nrixi=2x3+6x4+5x5+x6h(\overline{G},x) = \sum_{i=1}^n r_i x^i=2x^3+6x^4+5x^5+x^6
(4) 将 xi=[k]ix^i=[k]_i 代入伴随多项式中得到 Pk(G)P_k(G).
Pk(G)=2[k]3+6[k]4+5[k]5+[k]6=2k(k−1)(k−2)+6k(k−1)(k−2)(k−3)+5k(k−1)(k−2)(k−3)(k−4)+k(k−1)(k−2)(k−3)(k−4)(k−5)\begin{aligned} P_k (G)&=2[k]_3+6[k]_4+5[k]_5+[k]_6\\ &=2k(k-1)(k-2)+6k(k-1)(k-2)(k-3)\\ &+5k(k-1)(k-2)(k-3)(k-4)\\ &+k(k-1)(k-2)(k-3)(k-4)(k-5)\\ \end{aligned}
可以作如下计算:
P1(G)=P2(G)=0,P3(G)=12P_1 (G)=P_2 (G)=0,P_3 (G)=12
由此可以断定: χ(G)=3χ(G)=3. 最优着色方式数有 1212 种.
理想子图法求色多项式的改进
使用理想子图法求色多项式, 还可以通过如下定理进行改进:
定理: 若 GG 有 tt 个分支 H1,H2,…HtH_1,H_2,…H_t, 且 HiH_i 的伴随多项式为 h(Hi,x),i=1,2,…,th(H_i, x), i=1,2, …, t, 则:
h(G,x)=∏i=1th(Hi,x)h(G,x)=\prod_{i=1}^t h(H_i,x)
该定理说明, 在求 G‾\overline{G} 的伴随多项式时, 可以分别求出它的每个分支的伴随多项式, 然后将它们作乘积 (注: 生成函数方法).
例
求下图 GG 的色多项式 Pk(G)P_k(G).
解: (1) 画出 GG 的补图 (见上图)
(2) 求出补图中个分支的伴随多项式: h(H1,x)=x,h(H2,x)=x+x2,h(H3,x)=x+x2h(H_1,x)=x, h(H_2,x)=x+x^2, h(H_3,x)=x+x^2
(3) 求出补图的伴随多项式: h(G‾,x)=x(x+x2)2=x3+2x4+x5h(\overline{G},x)=x(x+x^2 )^2=x^3+2x^4+x^5
(4) 求出 GG 的色多项式:
Pk(G)=k(k−1)(k−2)+2k(k−1)(k−2)(k−3)+k(k−1)(k−2)(k−3)(k−4)=k(k−1)(k−2)(k2−5k+7)\begin{aligned} P_k (G) &=k(k-1)(k-2)+2k(k-1)(k-2)(k-3) \\ &+k(k-1)(k-2)(k-3)(k-4) \\ &=k(k-1)(k-2)(k^2-5k+7) \end{aligned}
注:
(1) 在例4中, k=3k=3 时, P3(G)=6P_3(G)=6, 由此可以推出 GG 的点色数为 33.
(2)求出了色多项式, 可以推出点色数. 但是, 求色多项式的计算量是很大的. 递推方法(指数次)和理想子图法(找出所有理想子图很困难)都不是多项式时间算法.计算一般图的色多项式的系数是 #P-complete (难度不亚于NP-完全问题)
色多项式的性质
定理 (Whitney,1933)
nn 阶简单图 GG 的色多项式 Pk(G)P_k(G) 是常数项为 00 的首 11 整系数多项式, 且各项系数符号正负相间.
证明
证明: 对 GG 的边数进行数学归纳证明. 当 m=0m=0 时, Pk(G)=knP_k(G)=k^n, 命题结论成立.
设 m=km=k 时, 命题结论成立. 考虑 m=k+1m=k+1 的简单图 G(m≥1)G (m≥1).
取 GG 的任意一条边 ee, 考虑 G−eG−e 与 G⋅eG·e.
对于 G−eG−e 来说, 由归纳假设, 可设其色多项式为: Pk(G−e)=kn−a1kn−1+a2kn−2−⋯+(−1)n−1an−1k,ai≥0P_k (G-e)=k^n-a_1 k^{n-1}+a_2 k^{n-2}- \cdots +(-1)^{n-1} a_{n-1} k,a_i≥0
同样, 可设 G⋅eG·e 的色多项式为: Pk(G⋅e)=kn−1−b1kn−2+b2kn−3−⋯+(−1)n−2bn−2k,bi≥0P_k (G·e)=k^{n-1}-b_1 k^{n-2}+b_2 k^{n-3}- \cdots +(-1)^{n-2} b_{n-2} k,b_i≥0
由色多项式递推公式得:
Pk(G)=Pk(G−e)−Pk(G⋅e)=kn−(a1+1)kn−1+(a2+b1)kn−2−...+(−1)n−1(an−1+bn−2)k\begin{aligned} P_k(G) &= P_k(G-e) - P_k(G \cdot e) \\ &= k^n-(a_1+1)k^{n-1}+(a_2+b_1)k^{n-2}-...+(-1)^{n-1} (a_{n-1}+b_{n-2})k \end{aligned}
注:
(1) 定理的逆不成立! (见下面例1, 例2)
(2) 事实上, 亦可用 Inclusion-Exclusion Principle 证明色多项式, 且可得 a2=(m2)−ta_2=\binom{m}{2}−t, 其中 tt 是图中三角形的个数. (Hint: 设性质 pip_i 是边 ei(1≤i≤m)e_i (1≤i≤m) 的两个端点着相同色, 则 Pk(G)P_k(G) 是不具有任一性质的所有着色方案数)
(3) 同构的图具有相同的色多项式, 但逆不真. (见下面例3)
例1
(Whitney,1933) 用递推公式证明: 设 G=(n,m)G=(n, m) 是简单图, 则在其色多项式 Pk(G)P_k(G) 中 kn−1k^{n−1} 的系数是 −m−m.
证明: 对边数用数学归纳法.
当 m=1m=1 时, Pk(G)=Pk(G−e)−Pk(G⋅e)=kn−kn−1P_k(G)=P_k(G−e)−P_k(G·e)= k^n−k^{n−1}. 显然, 结论成立.
设命题对少于 mm 条边的 nn 阶单图成立. 考虑简单图 G=(n,m)G=(n,m).
由递推公式: Pk(G)=Pk(G−e)−Pk(G⋅e)P_k(G)=P_k(G−e)−P_k(G·e).
由假设可令:
Pk(G−e)=kn+a1kn−1+⋯+an−1kP_k(G−e)=k^n+a_1k^{n−1}+\cdots+a_{n−1}k, 且 a1=−m+1a_1=−m+1;
Pk(G⋅e)=kn−1+b1kn−2+⋯+bn−2kP_k(G·e)=k^{n−1}+b_1k^{n−2}+\cdots+b_{n−2}k (但 b1=−m+1b_1=−m+1 不一定成立);
故: Pk(G)=kn+(a1−1)kn−1+(a2+b1)kn−2+⋯+(an−1+bn−2)kP_k(G)=k^n+(a_1−1)k^{n−1}+(a_2+b_1)k^{n−2}+\cdots + (a_{n−1}+b_{n−2})k.
所以, a1−1=−ma_1−1=−m.
例2
不存在以 k4−3k3+3k2k^4−3k^3+3k^2 为其色多项式的简单图.
证明: 事实上, 一方面, 如果它是某简单图的色多项式, 则由多项式本身可以得到点色数为 11 (代入 11 后不为零);
另一方面, 由例 1 和多项式本身, 如果多项式是某简单图的色多项式, 则 m(G)=3m(G)=3. 于是点色数至少为 22 (存在边).
上面导出了矛盾!
例3
求证: 下面图 G1G_1 与 G2G_2 不同构但具有相同的色多项式.
证明: 因为 GG 和 HH 中分别有唯一的 44 度点: u1u_1 与 v1v_1. 但是它们邻域状况不相同: u1u_1 有 44 个 22 度邻点, 而 v1v_1 只有两个 22 度邻点. 显然, GG 与 HH 不同构.
通过理想子图计算得: Pk(G)=Pk(H)=2[k]3+4[k]4+[k]5P_k(G)=P_k(H)=2[k]_3 +4[k]_4 + [k]_5.
其他性质
对于图的色多项式, 还有许多有趣的特点. 例如系数序列的绝对值满足:
(1) 单峰性 (先增大后减小);
(2) 对数凹性 (对于 0<i<n0<i<n, 不等式 ai2≥ai−1ai+1a_i^2≥a_{i-1} a_{i+1} 均成立).