第七讲、弦图与相似图【信息技术】.pdfVIP

第七讲、弦图与相似图 本讲中我们将结束对弦图的讨论。我们还将给出子树的相交图的描述，它很好地推广了 区间图性质。同时我们将总结弦图的一些结论。我们将介绍相似图以及有效地解决判定、最 大团、顶点染色等问题的算法。 1．介绍 我们知道弦图有两个等价命题：不含无弦的环；有完美消除序列。现在我们给出另一个 等价命题：弦图可以表示为某个树的某个子树集的相交图： 定理1：有N 个顶点的图G ＝（V ，E ）是弦图，当且仅当存在一棵树T 的N 棵子树T1..Tn ， 满足（Vi ，Vj ）∈E ，当且仅当Ti ∩Tj ≠ ?。（图1） 这是我们要证明的首要结论。 我们同时介绍相似图的概念。 2 ．子树集的相交图 定义2 ：给定一棵树T 及其若干子树T1..Tn 。令V ＝{V1..Vn}，E ＝{ViVj | Ti ∩Tj ≠ ?}， 那么G ＝（V ，E ）称为子树集{Ti} 的相交图。 这个定义有些不严密。我们申明：这里两个子树相交表示它们有公共边。另外，没有任 何子树完全包含与另一棵子树。事实上这个申明并不是很实质，请看下面的引理： 引理3 ：已知子树集T1..Tn ，令G 是它们的相交图，则存在另一个子树集T1’..Tn’，满足它 的相交图G’与G 同构，并且对任何Ti’，Tj’，i ≠j ，都存在边e 满足e ∈Ti’，e ?Tj’ 。 证明：对于那些包含于其他树的子树，只要在其中某个顶点上增加一条新边即可。▋ 注意引理2 的否命题是错的，因此我们可以将定义2 如下描述： 定义 4 ：给定一棵树 T 及其若干子树 T1..Tn 。令 V ＝{V1..Vn}，E ＝{ViVj | Ti ∩ ∩ Tj E (T ) ≠ ?}，那么G ＝（V ，E ）称为子树集{Ti} 的边相交图。 注意定义4 中的子树不满足Helly 性质 （见定义5 ）。显然，有定义4 确定的图总是有定 义2 确定的图的子图。另外任何由定义2 确定的图都能用定义4 确定，证明类似引理3，但 反之则不一定。（见图2 ，无弦环C4 ） 因此我们可以假定子树互不包含且使用边相交。实际中，这些都将被用到，以上引理证 明了这些假设不会改变图类型。以后我们将不在重申这些条件。 证明定理 1 之前，我们先回忆一下。我们曾证明N 个顶点的区间图可以用一系列端点不 重合的闭区间表示，并且这些端点可以离散到1 至2N 间的整数。事实上，我们证明了区间 图是一条线段的若干子线段形成的相交图。因此，定理1 是由区间图到弦图的一个更一般的 描述。 容易得知线段的相交图是子树集的相交图的特例。图3 表示前者可以转化为后者；图4 是后者无法转化为前者的一个例子。 注：图4 表明是一个一般性的方法：对于一棵树T，对它的每个顶点定义一棵子树为该 点于它的所有子节点诱导的子树，那么这些子树形成的相交图就是T 本身。 3 ．定理1 的证明 这里我们只处理两子树相交是顶点相交的情形（即定义2 的情形）。 定义5：令A 为一个集合集，如果对于A 的每个满足以下性质的子集A1 ：对所有Ai ，Aj ∈A1 ， 都有Ai ∩Aj ≠ ?；都有UA ∈A 1 A ≠?，那么称A 满足Helly 性质。 Helly 性质表示两两相交等价于有共同的交集。 为了知道这对子树集成立，考虑这样的一种情况：T1，T2，T3 是T 的三个子树两两相 交，但却没有公共的交集。令Vij 是Ti 与Tj 交集中的一个顶点，1 =i j =3 ，则这些顶点必 须两两不同。由于树是连通的，从V12 到V13 有一条简单路径P1 ，P1 在T1 中。同理T2 中有路径P2 连接V12 与V23，T3 中有路径P3 连接P23 与P13 。这三条路径构成T 中的一 条回路。由于V12 、V23 、V13 互不相同，这个回路至少包含一个长度不小于3 的简单环， 这与T 是一个图矛盾。 对于多于三个的情况是类似的。 我们首先证明有子树集形成的相交图都是弦图。 证明：给定树T 与子树集T1..Tn ，我们对|T| 用归纳法： |T|＝1 时，T 是平凡图