着色问题
边着色问题
图的边着色,本质上是对应实际问题中的“划分”问题或“分类” 问题。
对 的边进行着色,若相邻边着不同颜色,则称对 进行正常边着色;
在对 正常边着色时,着相同颜色的边集称为该正常边着色的一个色组;
如果能用 种颜色对图 进行正常边着色,称 是 边可着色的;
对 进行正常边着色需要的最少颜色数称为 的边色数,记为:
着色需要满足相邻边着不同色,所以很自然地有:(对于无环图)
也就是边色数以最大顶点度为下限。
二部图
证明
假设:
令 是 的一个 着色方案,满足:
对 中任意两条邻接边 和 ,若二者在 中着色相同,即 ,则有:
于是 ,所以 是一个正常的 着色(满足相邻边着不同色)。也即 是 可着色的。
同时 ,所以 。
偶图(哥尼定理)
偶图 的边色数:
证明可利用数学归纳法
当 时,,有 成立。
设对于小于 条边的偶图来说命题成立。
设 是具有 条边的偶图。
取 , 考虑 , 由归纳假设有:
这说明, 存在一种 边着色方案 . 对于该着色方案,因为 未着色,所以点 与 均至少缺少一种色。
情形 1:如果 与 均缺同一种色 。
则在 中给 着色 , 而 其它边按 方案着色。这样得到 的 着色方案,所以: 。
情形 2:如果 缺色 , 而 缺色 , 但不缺色 。
设 表示 中由 色边与 色边导出的子图。显然,该图每个分支是 色边和 色边交替出现的路或圈。
对于 中含点 的分支来说,因 缺色 , 但不缺色 , 所以,在 中,点 的度数为 1。这说明, 中含 的分支是一条路 . 进一步地,我们可以说明,上面的路 不含点 .因为,如果 含有点 , 那么 必然是一条长度为偶数的路,这样, 是 中的奇圈,这与 是偶图矛盾!
既然 不含点 , 所以我们可以交换 中着色,而不破坏 的正常边着色。但交换着色后, 就变成缺色 , 但不缺色 , 与 均缺色 , 于是由情形 1, 可以得到 的 正常边着色,即证明 。
一般简单图
引理
设 是简单图, 与 是 中两个不相邻的顶点, 是 的一个正常 边着色。若对该着色, 以及与 相邻的点均至少缺少一种颜色,则 也是 边可着色的
维津定理(Vizing)
若图 是简单图,则 或 。
只需要证明 即可。 对 的边数 作数学归纳证明。
当 时,, 。
设当边数少于 时,结论成立。下面考虑边数为 的单图 。
设 , 令 . 由归纳假设有:
于是,存在 的 正常边作色 。显然 的每个顶点都至少缺少一种颜色。根据引理知 是 可着色的。即证明: 。
充分条件 1
::: primary
给出了 Vizing 定理结论中 情况的充分条件
设 是单图且 。若 中只有一个最大度点或恰有两个相邻的最大度点,则:
充分条件 2
::: primary
给出了 Vizing 定理结论中 情况的充分条件
设 是单图。若点数 且边数 ,则:
证明可利用反证法,若不然,由维津定理,。
设 是 的 正常边着色方案,对于 的每个色组来说,包含的边数至多 。这样:,与条件矛盾。
充分条件 3
::: primary
给出了 Vizing 定理结论中 情况的充分条件
设 是奇数阶 正则单图,若 ,则:
证明:
设 ,因 是 正则单图,且 ,所以:
由定理 。
无环有重边图
维津定理(Vizing)
设无环图 中边的最大重数为 ,则:
其中 边界是紧的,也就是等号是可以相等的。
边着色的应用
排课表问题
分别表示教师、教学班的集合:
与 间连 条边,得二部图 。
求最少排多少节课的问题,每节课可以有多个教学班同时上课,转化为如何在 中将边集 划分为互不相交的 个匹配,且使得 最小
如果每个匹配中的边用同一种颜色着色,不同匹配中的边不同颜色,则问题转化为在 中给每条边着色,相邻边着不同色,至少需要的颜色数
比赛安排问题
玩家为顶点,2 个玩家间进行一次比赛为一条边,求最少安排多少场比赛,每场比赛可以有多对玩家同时比赛。
Abstract
基于圈的边着色问题和顶点着色问题是完全等价的,因为边和点可互换。
顶点着色
对图 的每个顶点着色,使得相邻顶点着不同颜色,称为对 的正常顶点着色;
如果用 种颜色可以对 进行正常点着色,称 是 可着色的;
着同一种颜色的顶点集合称为一个色组,它们彼此互不相邻,所有又称为点独立集;
图 正常顶点着色需要的最少颜色数,称为图 的点色数,简称色数,记为:
色数为 的图称为 色数图。
色数上界
对任意的无环图 ,均有:
任意一个顶点度数至多为 , 因此,正常着色过程中,其邻点最多用去 种颜色,所以,至少还有一种色可供该点正常着色使用。
证明 :我们对顶点数作数学归纳证明。
当 时,结论显然成立。
设对顶点数少于 的图来说,定理结论成立。考虑一般的 阶图 ,任取 ,令 , 由归纳假设:
设 是 的一种 正常点着色方案,因为 的邻点在 下至多用去 种色,所以给 染上其邻点没有用过的色,就把 扩充成了 的 着色方案。
最大色数的正常着色算法
设 ,,色集合 ,着色方案为 .
- (1) 令 ;
- (2)
for i in 1..n
循环 次:(若 ,则停止)
- 令:;
- 设 为 中的最小整数;
- 令 ;
Welsh-Powell 稍微对上面算法做了一个修改,着色时按所谓最大度优先策略,即使用上面算法时, 按顶点度数由大到小的次序着色。这样的着色方案起到了对上面算法的一个改进作用,有机会得到色数更小的结果。
布鲁克斯定理
给出了一些图的更小的上界
若 是连通的单图,并且它既不是奇圈,又不是完全图,则:
次大度
设 是至少有一条边的简单图,定义:
其中 为 中点 的邻域。称 为 的次大度。
布鲁斯克定理的改进
设 是非空简单图,若 中最大度点互不邻接,则有:
四色和五色定理
四色定理
五色定理
希伍德。
对任意简单图,都有:
该定理说明每个平面图是 5 可着色的。根据平面图和其对偶图的关系,该定理等价于每个平面图是 5 可顶点正常着色的。