第八讲、相似图【信息技术】.pdfVIP

第八讲、相似图 相似图是图论中一类著名的图，它与区间图有着密切联系。边定向后的相似图称为部分 序，许多 NP 难题在部分序上存在有效算法。本讲中我们将在部分序上解决一些 NP 问题， 并讨论相似图、区间图、弦图之间的联系。 1．介绍 无向图 G 是相似图，如果它能无环传递地定向；如果 G 的补图是相似图，G 称为伴相 似图。我们已知区间图是伴相似图，但反之却不一定。图 1 显示了一个不是区间图的伴相似 图。 一个相似图可能由多种无环传递定向方式，每种方式对应于一个部分序。 下一节中我们将介绍在部分序上有效地解决一些 NP 问题；第4 节中将讨论相似图、区 间图、弦图之间的联系。 2 ．一些算法 2 ．1 最大团 部分序是有向无环图（DAG ），因此它存在一个确定的 H 函数（见上讲）。我们能用线 性时间计算出那个函数。如果在 H 函数中有K 种值，则存在一条长为 K 的有向路径。由于 定向具有传递性，这条路径上的点构成一个团。（图2 ）这就是一个最大团，因为一个团中 不会有 H 值相同的顶点。显然这种算法用时是线性的。 同时我们就用K 中颜色对顶点染色，易知W （Ｇ）＝X （G ）＝K 。 2 ．2 权最大团 如果我们赋予顶点权函数 W ，定义包含顶点 V1..Vm 的团的权值为 W （V1 ）＋…＋W （Vm ），权最大团问题就是要寻找一个权值最大的团，权可以为负。 在部分序上，我们可以使用动态规划解决这个问题。假定部分序 G 的顶点 V1..Vn 是一 个拓扑序列。定义 C （V ）为包含 V 且最“大”顶点为 V 的权最大团的权。我们可以如下 计算 C ： 最终权最大团的权为 MAX{C （V1 ）…C （Vn ）}。 结论 1：这个算法确实找到了权最大团。 证明：假设以 Vi 为最大顶点的权最大团是 Vi 1..Vik，其中 Vik ＝Vi 。如果 K ＝1，显然算法 是正确的；如果 K ≥2 ，由于定向具有传递性，Vi 1…Vik －1 必定是最大顶点为 Vik －1 的权最大团 （否则那个权最大团替换Vi 1…Vik －1，加上 Vi 将形成一个权更大的团，矛 盾），它的权是 C （Vik －1），因此原团的值就是W （Vi ）＋C （Vik －1），这在算法中被 计算过。即证。▊ 很容易知道算法用时是线性的。另外我们可以记录决策，从而构造出一个权最大团。 2 ．3 最大独立集 假设 H 函数值共有 K 种。所有具有相同 H 值的顶点形成一个独立集。我们也许会猜测 独立数 A （G ）就是具有各 H 值的顶点数的最大值。但图 3 显示了一个反例。不过，我们任 可以用多项式的时间找到部分序上的最大独立集。 定义（1）：令P 是一个部分序，P 上的一个链是一个两两可比的顶点集（即一个全序）。 定义（2 ）：令P 是一个部分序，P 上的一个反链是一个两两不可比的顶点集。 【定理1：用最少数量的链覆盖一个部分序所需的链的数目等于该部分序上的反链的势的最 大值。】 这个定理是 Dilworth 在 1950 年提出的，这里暂不加证明地使用：P 。 定义（3 ）：一个图的团覆盖是用该图中的若干团覆盖所有的顶点。图 G 的团覆盖数是对 G 进行团覆盖所需的最少团数。记为 K （G ）。 不妨加一个限制：团覆盖中的各个团两两没有交集。显然这不会改变 K （G ）的值。 定理（1）：对于任何部分序 G，都有 I （G ）＝K （G ）。I 为独立数。 证明：由于G 是部分序，因此W （G ）＝X （G ），即 G 是完美图 （见第十讲）。根基完美图 定理，G 是伴完美图，因此 I （G ）＝K （G ）。▊ 定义 （3）：一个图 G 的广独立集是 G 的一个两两不连通的顶点子集。G 的广独立集数是它最 大广独立集的顶点个数，记为 I’（G）。 定理（2）：对于任意有向无环图 G，它的广独立数等于其简单有向路径覆盖数 C’（G）（这 里的路径覆盖允许顶点被重复覆