第三讲、基于区间图的算法【信息技术】.pdfVIP

第三讲、基于区间图的一些算法 本讲中我们将了解有关计算区间图的染色数与最大团的算法。为此我们将介绍完美消除 序的概念。我们将看到这两个NP 难题在区间图上能用线性的时间解决。 1．介绍 图的染色问题是图论中的经典问题，在诸如拟定计划等发面有一系列应用[Wer85] 。尤其 是平面图的染色问题，即地图染色问题，已被深入地研究过。其中最著名的成果包括Appel 和Haken 证明的四色定理等[AH76] 。 同样地，最大团问题也在诸多领域有着应用，例如operation research 、种系分析、图案 识别等[Oga86] 。 本讲中我们将在区间图上有效地解决这两个问题，同时介绍图的一个性质，使得该算法 达到最优。在以后各讲中我们讲深入研究这类图，并发现它属于弦图的范畴。 让我们从回顾区间图的定义开始本讲的内容： 定义1：给定一些区间，满足每个顶点代表一个区间Iv,顶点间有边，当且仅当两个区间相交 的图称为区间图。 2 ．图的染色 这一节我们将学习区间图的顶点染色问题，即一种给区间图顶点染色的方案，使得每条 边的两个端点颜色不同。我们暂不考虑边染色问题。 定义2 ：一个图G 的染色数X （G ）使将G 进行染色所需要的最少的颜色数。 定义3 ：我们把“能否将一个图用K 种颜色染色”称为K 染色问题。 2 染色问题等价与判断一个图是否是二分图。由于满足性问题中2 －SAT 问题是多项式 级的，而3 －SAT 问题是NP 难题，能够证明对任意图的2 染色问题是线性的而K 染色问题 （K =3 ）是NP 难题。我们将简单地阐述3 染色问题的复杂度。 定理1：3 染色问题是NP 难题。 （注意：本课程中遇到的多数问题是NP 难题，我们只证明问题的NP 性。） 证明： 定义4 ：NAE －3 －SAT 问题：给定一个命题集合U 和一个由U 及非U 的若干三元子集 组成的集合C，是否存在一个U 中变量的取值方法使C 中的每个子集至少包含一个 TRUE 值与一个FALSE 值？这已被证明是NP 难题[GJ79,p.259] 我们如图1 构造一个图： 对U 中的每个变量建立两个顶点u 和u’ （称为内点）以及连接u 、u’与一个共同的中心 点r 的三条边。 对每个c Ｃ，定义一个两两相联的三角形代表，三个点分别与对应的三个内点相联。 我们用R ，T，F 这三种颜色染色，其中R 是r 的颜色。 对于每个变量，u 与u’ 中的一个必须染T （TRUE ），另一个染F 。 接下来要说明的是NAE －3 －SAT 问题是该图G 的3 染色问题的特例。 必要性：如果一个图能够3 染色，则内点必为T 或F 色，代表这个命题的真假，对于余 下的每个三角形，它们所连接的三个内点不可能是同色的 （否则这三个点只可能染 两种颜色，必定不是可行的反色方法），即满足NAE －3 －SAT 问题的要求。 我们已经证明如果我们能解决3 染色问题，那么我们也能解决NAE －3 －SAT 问题。因 为NAE －3 －SAT 已被证明是NP 难题，因此3 染色问题也是NP 难题。定理1 得证。 ▋ 3 ．图染色的一个贪心算法 虽然求图的染色数是NP 难题，我们能用贪心算法进行一种可行染色（颜色数可能大于 X （G ））。 这个算法能找到G 的一种可行染色方法，并且使用至多max {Vi 的入度| 1 = 1 =|V|}+1 种颜色（当然这个结果很不理想）。注意顶点的顺序直接影响着颜色数的多少。 注：以上算法表明平面图可以用六色染色。（见2003 集训队论文，刘才良） 4 ．染色算法最佳的条件 现在我们将研究在什么情况下，贪心算法能够得到最优解。 定理2 ：对于区间图，使用自然编号法（见第二讲）编号，则以上贪心算法可以得到最 优解。 证明：我们已知贪心算法得到的颜色数最多是max {Vi 的入度| 1 =1 =|V|}+1 。记I*为这 个最大值达到时的顶点编号，我们知道区间图中一个顶点及它的所有前驱构成以一 个团，因此Pred （Vi*） V i*是一个大小为（V i*的入度＋1