第十一讲、完美图【信息技术】.pdfVIP

**第十一讲、完美图 本讲中我们将给出完美图的一些性质。我们将讨论强完美图猜想以及它的一些推论。我 们还将提到完美图的另一些特例，例如分离图和排列图。 1．介绍 完美图的的任意诱导子图都满足最大团数等于染色数。我们将介绍一个多项式级的算法 计算这个值。 有趣的是，目前的实践表明，当一个图中不存在所谓 “奇阶洞”或 “奇阶反洞”时，它 就是一个完美图，这叫做完美图猜想。至今仍没有人能够证明或证伪它。 第 3 节我们将讨论完美图的判定。之后将给出完美图的一些性质以及它的一些特例，比 如分离图、极限图、排列图和超完美图。 2 ．定义 完美图的定义见第十讲。一个不是完美图的例子是 5 阶无弦简单环。它的最大团数是 2 ， 但染色数却是 3 。但是它的任意诱导子图 （本身除外）都是完美图。这样的图称为极小非完 美图。 我们将长为 K 的无弦简单环称为K 阶洞，它的补图称为 K 阶反洞。 引理 1：奇阶洞与奇阶反洞都是极小非完美图。 证明很简单，这里略去。 猜想 1：一个图是完美图，当且仅当它的任何诱导子图都不是奇阶洞或奇阶反洞。 这称为强完美图猜想（SPGC ）。它尚未被证明。 3 ．完美图的性质 3 ．1 完美图的判定 这个问题的研究还未取得很大的进展，还不知道它是否有有效算法或是 NP 问题，而且 即使 SPGC 成立也是这样。 3 ．2 完美图的独立数、团覆盖数、最大团数、染色数 虽然判定完美图是很困难的，但一旦知道一个图是完美图，我们能够得到它的很多性质。 定理 1：可以在多项式时间内求出完美图 G 的I （G ）、W （G ）、X （G ）。 【证明：这里只给出证明梗概，详细内容参见[BLS99]。 （译者注：本部分比较难理解，知识也较多，这里只能暂作直译） × 定义 1：均衡矩阵F ∈Rn n关于图G 的可行，如果： × 对一个均衡矩阵M ∈Rn n ，令λ （M ）为M 的最大的特征根。定义图G 的函数θ（G ）＝ max Min{ λ (F)|F关于G可行} max （注：均衡矩阵即关于左上/右下对角线对称的矩阵） 可以证明对于任何图 G，有W （G ）≤ θ（G ）≤X （G ）。我们知道对于完美图G，W （G ） ＝X （G ），所以有W （G ）＝θ（G ）＝X （G ）。 接下来要做的是证明θ函数在有效时间内可以求出。可以得知θ （G ）是一个半确定规划问 题，这可以用椭圆逼近的方法解决。准确地说，对于任意ξ0，可以在有效时间内得到一个 有理数 R，满足|R－θ （G ）|ξ。由于 G 是完美图，我们知道θ（G ）是整数，因此只要 取ξ1/2 就能准确得到θ（G ）的值了。 G G G 这样我们得到了 W （G ）与X （G ）的值，而 I （G ）＝W （ ）、K （G ）＝X （ ）。由于 也是完美图，我们同样可以得到这两个值。】 **4．完美图的另一些特例 本节介绍性地给出完美图的另一些特例。具体的细节参 见[Gol80]。 4 ．1 分离图 一个图 G ＝（V ，E ）是分离图，如果 V 可以分割两个 子集 I 和 C，其中I 是一个独立集，C 是一个团。例如图 2 。 【定理2 ：G 是分离图，当且仅当 G 与它的补图都是弦图。】 4 ．2 排列图 假设π是 1..N 的一个排列。定理一个无向图 G ＝（V ， E ），包含 N 个顶点 1..N。两个顶点 U 、V 间有边当且仅当它们在π中是一对逆序对。更准 确地说，(UV) XOR ( π(U) π(V))为真。 【定理3 ：图G 是排列图，当且仅当 G 与它的补图都是相似图。】 4 ．3 极限图 图G 是极限图，如果存在顶点的一个权函数 W ：V →N*和一个限值 T ∈N* ，满足任意