对最大团问题的HEWN算法分析.pdfVIP

河 南 科 学 Vo1．24 No．5 第24卷 第5期 2006年 10月 HENAN SCIENCE 0ct．20o6 文章编号：1004—3918(2006)05—0715—04 对最大团问题的HEWN算法分析 郭长庚， 潘晓伟 (许 昌职业技术学院，河南 许 昌 461000) 摘 要：对最大团问题的HEWN(hierarchicaledge—weightnetwork)算法进行了复杂性分析．首先通过分析HEWN 的结构特点和所需进行的操作，设计了一种实现 HEWN算法的数据结构，指出了在 HEWN算法中HEWN 的存储宜采用邻接多重表和二叉链表相结合的链表表示法，然后从 HEWN的存储结构入手，剖析了 HEWN的构造过程，在剖析过程中，通过与MCST(maximumcompletesub—graphtree)比较，指出了当2j，I 时潜在的、指数的生成和修改GM的次数存在于HEWN算法中．因而，HEWN算法的时间复杂度是指数 的，而不是O(，Iu)． 关键词：算法复杂性：NP-完全性；团 中图分类号： TP311 文献标识码： A 最大团问题 已被证明是一个 NP一完全 问题，如果最大团问题有多项式时间算 法，则所有的NP一完全问题都有多项式时间算法．对于一个没有 自环和平行边的有 限无向图G(v，E)，最大团问题可形式化地描述为 Input：有限无 向图G(v，E)，正整 数 后f≤iv1)；Question：图G(v，E)中是否存在团C满足ICI≥后?对于最大团问题，传统 的MCST方法描述为：对于含 几个顶点的图G(v，E)，分层网络(HN)中的顶点按如下 方式排列，考虑 团的大小为 ，HN有 层，每层上有按序号递增排列的nj．+1个顶点． 在HN的两个相邻层中，较高层中的第 1个顶点的序号比较低层的多 1，并且较高层 中的每个顶点与其左下方或下方的较低层中的所有顶点都有连接，如图1所示．这 1 2 3 …n--)+l 样的 一层树被称为最大完全子图树maximumcompletesub—graphtree，简称 MCST)． 图 1 一层 HN 显然，MCST算法是非多项式的． Fig．1 j-LevelHN 为了在多项式时间内求解最大团问题，一个分层的边权网络 (hierarchicaledge—weightnetwork，简称 HEWN)在文献 【1]中提出来了．它的主要思想是，在任一层次的MCST中，存在许多相同的分枝．为了将这 些相同的分枝归并成HN中的一个单一分枝，每个团的顶点集被固定于MCST底层的相应边上，这样的顶点 集称为TL．依附于MCST中其他边的TL由以下方式决定：MCST中上方单一分枝上的TL是它下方所有分 枝上TL的并．这就得到一个分层的边权网络(HEWN)，依附于 HEWN的每条边的新顶点集称为指导矩阵 (GM)．借助于HEWN，最大团问题在多项式时间内解决 【l】．解最大团问一题的HEWN算法可简洁地描述为： 对于含 几个顶点的图GfV，E)，HEWN算法首先试 图在多项式时间内构造一个 凡一层HEWN，如果凡一层 HEWN被成功地构造，则最大团的大小为n，否则，它试图构造一个(n．1)一层HEWN，以此类推．为了构造 一 层HEWN，算法开始于3一层 HEWN并逐步增加HEWN的层[1]．借助于指导矩阵GM，在多项式时间内， HEWN能被分离成MCST，而MCST也能被归并成 HEWN．因此，HEWN算法的正确性可以得到保证． 本文采用下列缩写：PHEWN(partialHEWN)，即顶层仅一个顶点的HEWN；IHEWN(intermediateHEWN)， 即构造 一层HEWN时的中间的HEWN；顶点k的PHEWN，即以顶点k为项层顶点的PHEWN；顶点k的 MCST，即以顶点k为根的MCST；TL(tree’Slabe1)，即依附于MCST边