区间图、弦图和美图介绍.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * 区间图的判定 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 /2008/11/pq-tree-algorithm-and-consecutive-ones.html http://www.jharris.ca/portfolio/code/pqtree/PQTree.html 区间图的判定 pertinent-root 区间图的判定 L1 当前节点是叶子 标记为full 区间图的判定 P1 当前节点是P-node,子节点都是full 标记为full 区间图的判定 P2 P-node,pertinent-root,full + empty 增加新的P-node作为full子节点的父节点及当前节点的子节点(如果只有1个full子节点则不增加新的P-node) 区间图的判定 P3 P-node,not pertinent-root,full + empty 当前节点标记为partial Q-node,增加新的P-node作为full子节点的父节点及当前节点的子节点,增加新的P-node作为empty子节点的父节点及当前节点的子节点, 区间图的判定 P4 P-node,pertinent-root,1 partial + full + empty 区间图的判定 P5 P-node,not pertinent-root,1 partial + full + empty 区间图的判定 P6 P-node,pertinent-root,2 partial + full + empty 区间图的判定 Q1 Q-node,all full 区间图的判定 Q2 Q-node,0/1 partial + 连续full + empty 区间图的判定 Q3 Q-node, 2 partial + 连续full + empty 完美图 定义：一个图G是完美图，如果W(G)＝X(G)，且对于G的任意诱导子图H，都有W(H)＝X(H)。 强完美图定理 强完美图定理(SPGT) 一个图是完美图，当且仅当它的任何大于3的诱导子图都不是奇阶洞或奇阶反洞 * * * * * * * * * * * * * * * * * 区间图、弦图和完美图介绍 内容介绍 在本讲中将主要介绍 区间图(interval graph) 区间图上的色数(chromatic number)和最大团问题(maximum clique) 完美消除序列(perfect elimination order) 弦图(chordal graph)及其判定 区间图的判定 完美图(perfect graph) 区间图 – POJ1083 [POJ1083] Moving Tables 一个公司有400个房间，布局如上图所示。编号为奇数的房间在背面，编号为偶数的房间在南面，中间被一条走廊隔开。现在公司要将某些桌子从一个房间移动到另一个房间。走廊很窄，如果两张桌子需要经过同一段走廊的话，那么它们不能同时移动。每移动一张桌子需要10分钟。问最少需要多久才能将所有桌子移动完毕。 区间图 – POJ1083 Moving： 2 - 4 5 -14 12 - 10 6 - 1 2 4 6 1 5 14 12 10 求一般图的色数是NP难问题！ 区间图 – 定义 一个区间是有两个端点的线段，端点可以是开的或闭的。给定一些区间，可以定义一个相交图。 定义1：给定一些区间，定义一个相交图的每个顶点v代表一个区间Iv,顶点(v,w)间有边，当且仅当Iv交Iw非空。 定义2：一个图G是区间图，如果它是若干区间的相交图。 区间图 – 例 区间图的例子 不是区间图的例子 区间图 – 顶点排序 定理1：开区间、闭区间、半开闭区间对应的区间图是等价的。 证明思路：由于区间在连续的实数轴上，我们可以对区间做小量伸缩而不影响相交情况 区间图 – 顶点排序 推论1：任何区间图G都存在一个没有重点的区间表示 于是我们可以将G的顶点按其代表区间的左端点排序，称之为区间图G顶点的自然排序 区间图 – 顶点排序 2 4 1 6 5 14 12 10 v2 v1 v3 v4 区间图 – 顶点排序 定义2：Pred(Vi) = {Vj | (Vi, Vj) ∈E ∧ j i} 为顶点Vi的前驱 {Vi} ∪ P