第五讲、完美消除序列【信息技术】.pdfVIP

第五讲、完美消除序列 本讲的主题有关弦图和完美消除序列。我们已知具有完美消除序列的图都是弦图，本讲 中将了解到所有弦图都具有完美消除序列。 为了证明这一点，我们引入了单纯顶点的概念，并证明弦图都含有单纯顶点。证明过程 中，完美还将得知弦图的子图也是弦图。 我们讲给出两个在线性时间内求出完美消除序列的算法，并给出了一个算法运行全过程 的的例子。 作为一个推论，独立集、染色、团等问题在弦图上都能用线性时间解决。 1．介绍 我们已经知道弦图的定义，弦图同时又有很多名字：严格巡回图、单调传递图、三角图、 完美消除图等。其中有些不难理解☺。 我们已学习了区间图，不久将知道区间图都是弦图。 2 ．弦图与完美消除序列 我们的目标是证明图 G 是弦图，当且仅当 G 具有完美消除序列。这个命题的必要性已 经证明，现在我们来证明充分性。 首先引入单纯点的概念：如果与顶点 V 相邻的所有顶点构成一个团，则 V 称为单纯点。 定理 1：任何弦图 G 具有至少一个单纯点。如果 G 不是完全图，那么它至少具有两个不相 邻的单纯点。 证明：完全图的情况是平凡的（每个顶点都是单纯点），我们只考虑 G 不是完全图的情况。 我们对 G 的顶点数N 使用归纳法： 1：奠基N ＝1 时。平凡解，显然成立。 2 ：归纳假设：对所有N=K （K=1 ），G 有两个不相邻的单纯点。 3 ：归纳证明：令N ＝K ＋1， 由于G 不是完全图，可以找到边（a，b ） E 。 记 G[V －S]为 G 的顶点子集 V －S 诱导的子图。S 为 V －{a,b}中的最小的子集，满足 a 与 b 在 G[V －S]两个的不同的连通分支 A 和 B 中，S 可以是空集。 S 的这种取法一定存在，因为我们可以令 S 为所有与 a，b 相邻的顶点集合 （G －S 中 a， b 是孤立点）。 我们的目标是在 A 和 B 中分别找到一个单纯点。我们只考虑在 A 中找到一个单纯点，B 中的方法是同样的。 令 GA ＋S 是顶点集 A S 诱导的子图。 情况 1：GA ＋S是完全图。那么a是GA ＋S 中的一个单纯点，也是G 中的单纯点 （由于a A ， a 的相邻点都在GA ＋S 中）。 情况 2 ：GA ＋S 不是完全图。由于 B GA ＋S，则 | GA ＋S | |G| 根据归纳假设，GA ＋S 中有两个不相邻的单纯点x ，y ，（x ，y ） E 。 情况 2A ：x ，y 中有一个属于A ，不妨设为 x 。与情况 1 类似，x 也是 G 中的单纯点。 情况 2B ：x 和 y 都属于 S。我们将证明这种情况不存在。用反证法。 引理 1：x 与 y 在 A 、B 中都有相邻的顶点。 证明：不失一般性，假设 x 在 A 中没有相邻顶点。那么我们可以将 x 从 S 中删 去，得到一个更小的 S’，S’同样将A ，B 分离，这与 S 的最小性矛盾。引 理 1 得证。 于是，令 x 的两个相邻点 ax A ，bx B ，y 的两个相邻点 ay A ，by B 。 由于A 是一个连通分支，存在从 x 到 y 的一条路径，且该路径除 x ，y 外的所有 顶点都在 A 中。同理存在一条除端点都在B 中的路径连接x ，y （见图1）。 设使用 A 中顶点从x 到 y 的最短路径是 ， 使用 B 中顶点从 x 到 y 的最短路径是 ，则 是 一 个 环，显然它的长度不小于 4 。当ax ＝ay 且 bx ＝by 时它的