图的着色问题 课件.pptVIP

问题来源 图的着色问题是由地图的着色问题引申而来的：用 m 种颜色为地图着色，使得地图上的每一个区域 着一种颜色，且相邻区域颜色不同。 问题处理：如果把每一个区域收缩为一个顶点，把 相邻两个区域用一条边相连接，就可以把一个区 域图抽象为一个平面图。 例如，图 12-1 （ a ）所示的区域图可抽象为 12-1 （ b ） 所表示的平面图。 19 世纪 50 年代，英国学者提出 了任何地图都可以 4 中颜色来着色的 4 色猜想问题。 过了 100 多年，这个问题才由美国学者在计算机 上予以证明，这就是著名的四色定理。例如，在 图 12-1 中，区域用城市名表示，颜色用数字表示， 则图中表示了不同区域的不同着色问题 。 1 PPT 课件 问题来源 2 PPT 课件 图的着色 ? 通常所说的着色问题是指下述两类问题： ? 1 ．给定无环图 G =( V , E ) ，用 m 种颜色为图中 的每条边着色，要求每条边着一种颜色，并 使相邻两条边有着不同的颜色，这个问题称 为图的边着色问题。 ? 2 ．给定无向图 G =( V , E ) ，用 m 种颜色为图中 的每个顶点着色，要求每个顶点着一种颜色， 并使相邻两顶点之间有着不同的颜色，这个 问题称为图的顶着色问题。 3 PPT 课件 顶点着色－基本概念 ? 独立集 ：对图 G =( V , E ) ，设 S 是 V 的一个子集，若 中任意两个顶点在 G 中均不相邻，则称 S 为 G 的一 个独立集。 ? 最大独立集 ：如果 G 不包含适合 | S | ＞ | S | 的独立 集 S ，则称 S 为 G 的最大独立集。 ? 极大覆盖 ：设 K 是 G 的一个独立集，并且对于 V-K 的任一顶点 v ， K+v 都不是 G 的独立集，则称 K 是 G 的一个极大覆盖。 ? 极小覆盖 ：极大独立集的补集称为极小覆盖。 V 的子集 K 是 G 的极小覆盖当且仅当：对于每个顶 点 v 或者 v 属于 K ，或者 v 的所有邻点属于 K （但两 者不同时成立） 。 4 PPT 课件 顶点着色－基本概念 ? K 可着色 ： G 的一个 k 顶点着色是指 k 种颜色 1,2, … ,k 对于 G 各顶点的 一个分配，如果任意两个相邻顶点都分配到不同的颜色，则称着 色是正常的。换句话说，无环图 G 的一个正常 k 顶点着色是把 V 分成 k 个（可能有空的）独立集的一个分类 ( V 1, V 2, … , Vk ) 。当 G 有一个 正常 k 顶点着色时，就成 G 是 k 顶点可着色的。 ? G 的色数 X （ G ）是指 G 为 k 可着色的 k 的最小值，若 X （ G ） =k ，则称 G 是 k 色的。 ? 事实上，如果我们将同色的顶点列入一个顶点子集，那么求 X （ G ） 就转为求满足下列条件的最少子集数 k ： （ 1 ）两两子集中的顶点不同； （ 2 ）子集中的两两顶点不相邻。 显然有： （ i ）若 G 为平凡图，则 X （ G ） =1 ； （ ii ）若 G 为偶图，则 X （ G ） =2 （ iii ）对任意图 G ，有 X （ G ）≤Δ+1（这里Δ表示为顶点 数最大值） 5 PPT 课件 顶点着色－ 求顶色数的算法设计 我们由“每个同色顶点集合中的两两顶点不相邻”可以看出，同色顶 点集实际上是一个独立集，当我们用第 1 种颜色上色时，为了尽可 能扩大颜色 1 的顶点个数，逼近所用颜色数最少的目的，事实上就 是找出图 G 的一个极大独立集并给它涂上颜色 1 。用第 2 种颜色上色 时，同样选择另一个极大独立集涂色， ... ，当所有顶点涂色完毕， 所用的颜色数即为所选的极大独立集的个数。 当然，上述颜色数未必就是 X （ G ），而且其和能够含所有顶点的极大 独立集个数未必唯一。于是我们必须从一切若干极大独立集的和 含所有顶点的子集中，挑选所用极大独立集个数最小者，其个数 即为所用的颜色数 X （ G ）。 由此可以得算法步骤： Step1 ：求 G 图的所有极大独立集； Step2 ：求出一切若干极大独立集的和含所有顶点的子集； Step3 ：从中挑选所用极大独立集个数最小值，即为 X （ G ）。 6 PPT 课件 求极小覆盖法－布尔代数法 求极小覆盖的方法 - 布尔代数法 ： 对于每个顶点 v ，选择 v 或者选择 v 的所有邻 点。首先把“选择顶点 v” 这个指令记为符号 v ， 然后对给定的指令