区间图、弦图和完美图.pptVIP

区间图、弦图和完美图介绍 内容介绍 在本讲中将主要介绍 区间图(interval graph) 区间图上的色数(chromatic number)和最大团问题(maximum clique) 完美消除序列(perfect elimination order) 弦图(chordal graph)及其判定 区间图的判定 完美图(perfect graph) 区间图 – POJ1083 [POJ1083] Moving Tables 区间图 – POJ1083 区间图 – 定义 一个区间是有两个端点的线段，端点可以是开的或闭的。给定一些区间，可以定义一个相交图。 定义1：给定一些区间，定义一个相交图的每个顶点v代表一个区间Iv,顶点(v,w)间有边，当且仅当Iv交Iw非空。 定义2：一个图G是区间图，如果它是若干区间的相交图。 区间图 – 例 区间图的例子 区间图 – 顶点排序 定理1：开区间、闭区间、半开闭区间对应的区间图是等价的。 证明思路：由于区间在连续的实数轴上，我们可以对区间做小量伸缩而不影响相交情况 区间图 – 顶点排序 推论1：任何区间图G都存在一个没有重点的区间表示 于是我们可以将G的顶点按其代表区间的左端点排序，称之为区间图G顶点的自然排序 区间图 – 顶点排序 区间图 – 顶点排序 定义2：Pred(Vi) = {Vj | (Vi, Vj) ∈E ∧ j i} 为顶点Vi的前驱 {Vi} ∪ Pred(Vi) 是一个团 区间图 – 最小染色算法 完美消除序列 定义：一个顶点序列{V1..Vn}如果对任意i满足Pred（Vi）是一个团，那么这种序列称为完美消除序列。 弦图 定义：如果一个图的任何诱导子图都不是K阶环（K=4），那么该图称为弦图 弦图与完美消除序列 定理：如果一个图G具有完美消除序列，则G是弦图。 弦图与完美消除序列 定理：图G是弦图，当且仅当G具有完美消除序列 弦图与完美消除序列 定义：如果与顶点V相邻的所有顶点构成一个团，则V称为单纯点 引理1：任何弦图G具有至少一个单纯点。如果G不是完全图，那么它至少具有两个不相邻的单纯点。 引理2：弦图的任何诱导子图都是弦图。 弦图与完美消除序列 引理1：任何弦图G具有至少一个单纯点。如果G不是完全图，那么它至少具有两个不相邻的单纯点。 弦图与完美消除序列 最大势算法(MCS) 字典序广度优先搜索(Lexicographical BFS) 弦图与完美消除序列 LexBFS 弦图的判定 LexBFS – O(n + m) 弦图的判定 检验 – O(n + m) 弦图的判定 ZOJ – Fishing Net 判断一个图是不是弦图 再谈区间图 定理：以下命题是等价的： (1) G是区间图 (2) G是弦图，且G是伴相似图(co-comparability graph)。 (3) G的极大团可以连续地编号。即我们可以将它们排为C1..Ck，满足对于任何v∈V，序列{j| j∈{1..k}，v∈Cj}是连续整数集。 再谈区间图 定义：一个能够无环且具有传递性地定向的无向图G称为相似图。 定理： (1) - (2) 定理： (3) - (1) I(V) = [Min{i| V∈Ci}，Max{ i| V∈Ci }] 再谈区间图 定理 (2) - (3) 令G’是G补图经过无环传递定向后的有向图。构造有向图H. V(H) = C, C1, C2 ∈ E(H) ? 存在x∈C1,y∈C2 且x, y∈G’ 再谈区间图 定理：H是传递的 再谈区间图 定理：H是无环的 再谈区间图 定理：H的一个拓扑排序C1, C2, … Ck是满足(3)的一个序列 区间图的判定 区间图的判定 定理：设G是弦图，M是G的一个极大团，则存在i，M = {Vi} ∪ Pred(Vi) 定理：{Vi}∪Pred{Vi}是极大团，当且仅当对Vi的任何后继Vj，至少有一个Vi的前驱不是Vj的前驱。 区间图的判定 连续1性质(consecutive ones property, COP or C1P) POJ2790：判断一个矩阵是否具有C1P Anm ，aij = 1 ? Vi ∈ Cj 01010 01000 10101 10100 00011 00101 区间图的判定 N = 4 S1={2, 3} {1,2,3,4,1,3,2,4,1,4,2,3,1,4,3,2,2,3,1,4,2,3,4,1,3,2,1,43,2,4,1,4,1,2,3,4,1,3,2,4,2,3,1,4,3,2,1} S2={3, 4} {1,2,3,4,1,4,3,2,2,3,4,1,4,3,2,1} 区间图的判定 PQ-tree 区间图的判定 区间图的判定 L1 当前节点是