第十讲、区间图的判定与完美图【信息技术】.pdfVIP

第十讲、区间图的判定与完美图 本讲中，我们将完成用PQ 树判定区间图的讨论，并且介绍完美图与完美图定理。 1．介绍 怎样判定区间图是利用区间图有效地解决某些NP 问题的前提与基础。本讲中，我们继 续研究Booth 与Lueker 提出的PQ 树模型，这是一种储存元素排列方式的数据结构，它能 在线性时间内判定区间图，并建立一个得到该区间图 （如果是的话）的区间集合。我们只给 出算法的梗概，更详细的内容可以参考[BL76] 。 我们还将总结一些在线性时间内判定区间图的其他方法。 最后，我们定义了完美图，它包含了一些我们已知的图的类型，例如弦图和相似图。我 们同时定义伴完美图，并表述了完美图定理，它表明完美图与伴完美图是等价的。 2 ．PQ 树 PQ 树（定义见上讲）能够有效地储存满足一定约束的所有可能排列。 3 ．区间图的判定 回忆一下，区间图的判定可以简化为判定该图的所有极大团能否有一种排列方式，满足 对任意顶点，包含它的极大团序号是连续的。我们用PQ 树解决这个问题。令PQ 树的叶节 点集X 表示图中的所有极大团。定义L 是一个连续性约束集，L ＝{Iv| v∈V} ，Iv 是包含v 的极大团集合。 初始时，我们允许所有可能的排列，之后一次加入L 中的一个元素。 下面详细地讲一下操作步骤：（注：这些内容是译者自加的，有何缺误请大家指教） 我们的目标是在一棵PQ 树上加入一个连续性约束，得到一个即满足原树约束，又满足 新加入约束的新PQ 树。 首先将新加入约束中的各元素在原PQ 树中代表的顶点染色。我们分两类情况处理：根 是Q 节点和根是P 节点。每种情况里又分两类任务：任务 1，将当前节点下所有染色的节点 约束为连续的；任务2 ，将当前节点下所有染色的节点与不染色节点都约束为连续的。下面 我们会知道任务1 会归结到任务2 ，因此主要问题是任务2 。 用Type （V ）表示某顶点是P 节点还是Q 节点。 定义函数Solve （X ，Typ ，2 ）表示在以节点X （X 的类型为Typ ）为根的子树中完成任 务2 的操作，函数返回一个以X 为根的子树，其中X 规定为Q 节点 （当然如X 只有两个节 点是X 为P 、Q 节点是等价的）。 首先说明几个图例：矩形表示一个Q 节点，圆形表示一个P 节点，三角表示一棵非空子 树，双三角表示零个或若干个相邻的子树。黑色表示所有叶节点都是染色的，白色表示所有 叶节点都是不染色的，半黑半白表示叶节点中染色与不染色的叶节点都存在，用CL 表示。 树枝上的横线只为标注子树的来源，与PQ 树本身无关。 1．Solve （X ，Q，2 ） 显然若 CL （X ）＝白色，不必进行任何处理。否则考虑X 节点所有子节点，由于可翻 转，不妨假设X 最右侧的子节点不是白色。从右向左依次X 的各子节点的颜色，如果不是 形如若干黑－ （零个或一个半黑半白）－若干白的形式 （如图1A），则必定无解，退出。否 则如果中间没有半黑半白的子树，则不必作任何操作，否则假设第K 个子树是半黑半白的。 X X K 首先执行Solve （K ，Type （K ），2 ），结束后PQ 树的部分形态如图1B 所示。根据Q 节 点的性质以及Solve 函数的要求，可以将PQ 树变形为图1C 所示，即达到了Solve 的目标。 2 ．Solve （X ，Q，1） 这个过程是类似的，只不过可能有两个半黑半白的子树，分别作1 类任务处理，在像上 面一样操作就可以了。 3 ．Solve （X ，P ，2 ） 首先扫描各子树的颜色，显然最多只能有 1 个半黑半白子树（否则无解），先假设有一 个半黑半白子树K ，不妨设如图2A 排列。 X K 同样先处理Solve （K ，Type （K ），2 ），如图B2 ，加入新约束后等效变化为图B3, 目标 达到。 4 ．Solve （X ，P ，1） 这里仅用图例说明。 可以看到任务2 不依赖于任务1，任务1 也不依赖于任务 1，因此第4 部分Solve 函数输 出的子树根节点为P 节点没有关系。以上算法递归地进行，直至X 为叶节点回溯。另外操 作时很容易对新增的顶点确定颜色，如果遇到仅有一个子树的节点，可以将它删去