内点带权生成树近似算.DOC

内点与边带权的最小生成树?) ?) 本研究受到国家自然科学基金，科学技术部基础研究重大项目前期研究专项第2001CCA0300号和上海市科技发展基金第025115032号资助。 摘 要 在实际应用中会遇到这样一类问题，在一个结点和边都带权的图中找一棵生成树，使得非叶子结点的权值和边的权值之和最小，称之为点带权最小生成树。本文证明了即使在metric，即边权之间即使满足三角不等式的情况下，此问题仍然是NP-hard的。我们给出了在metric情况下的一个近似度为3.52的近似算法，以及一个在非metric情况下近似度为的近似算法。最后讨论了此问题的不可近似性。 关键词 最小生成树，点带权，近似算法，NP-hard Abstract We consider a problem: find a spanning tree in a vertex weight graph in which both edges cost and vertex have cost, such that the spanning tree has the minimum edge cost and inner vertex(not leaf) cost. We prove the problem is NP-hard even in the metric case. We give a factor 3.52 approximate algorithm in the metric case and a factor approximate algorithm。 Key words minimum spanning tree, vertex weight, approximate algorithm, NP-hard 引 言 最小生成树问题（MST）很早就被提出和研究[1]，一些快速有效的算法很早就被设计出来，比如Kruskal算法[2]和Prim算法[3]。 但是在以往的最小生成树的问题中，图中只有边带权，而有很多实际问题需要求点也带权的最小生成树。比如要在一个地区中建一些补给站为本地区的军事基地提供补给，这时因为建补给站需要费用，并且从补给站到各个军事基地之间也需要费用，因此要求最小的设计方案就是要求点带权的最小生成树。再如，电信公司要建立网络，在必须要连接到各个结点的同时还要在一些枢纽处建立路由器和网关，因此结点的费用也必须考虑，这也是求点带权的最小生成树的情况。 定义1 点带权的最小生成树问题（WMST) 给定的点带权的无向连通图, 边权函数: 和点权函数；在图中找一个生成树，使得此生成树的边权和内点权（非叶子结点）之和最小。如果边权之间满足三角不等式，则称之为metric情况下的点带权最小生成树问题。 本文的第二节证明了在metric的情况下，此问题是NP-hard, 当然在一般情况下也是NP-hard的；第三节给出了一个在metric情况下近似度为3.52的近似算法；第三节给出了一个在一般情况下近似度为的近似算法；第四节讨论了此问题的不可近似性。 WMST 问题的NP-hard的证明 定义 2 Maximum Leaf Spanning Tree Problem（MLST） 给定图和正整数,问中是否存在一棵生成树，使得这棵树的叶子大于？ MLST问题是NPC的[4]，下面将MLST问题归约到metric情况下的点带权最小生成树问题，从而得到metric情况下的点带权最小生成树问题是NP-hard的。 定理 1 在metric情况下的点带权最小生成树问题是NP-hard的。 证明： 对于任意一个无向连通图，做如下转换：对连接和, 这样得到一个完全图中的每个点的点权设为，这里,；点权为，如果则1, 否则2。这样，边权之间满足三角不等式，即为metric情况。显然此转化可以在多项式时间内完成（只要每个点对每个点遍历一遍，时间为）。 下面证明中存在大于等于个叶子的生成树当且仅当中存在权值小于等于的生成树。 “” 若中存在大于等于个叶子的生成树，设是中有个叶子的生成树且，则根据上面的转换，在中的边权都为1；又因为在中有个叶子，则在中也有个叶子，即有个内点，则的点权和边权之和为。因为，所以，即中存在权值小于等于的生成树。 “” 若中存在权值小于等于的生成树，设此生成树为，其总权值为，其中。因为有条边，边权值最小为1，所以。因为，所以，而，因此，这样中的边的权值都是1，也就是说在原图中也是一棵树。又是中所有内点权值之和，所以中内点的个数为。因为，所以, 即叶子个数大于等于因此，原图中存在大于等于个叶子的生成树。 定理证毕！ 在metric情况下WMST是NP-hard的，因此一般情况下的WMST也是NP-hard的。 推论