首页> 外文期刊>Information and computation >Primal-dual approximation algorithms for Node-Weighted Steiner Forest on planar graphs
【24h】

Primal-dual approximation algorithms for Node-Weighted Steiner Forest on planar graphs

机译:平面图上节点加权Steiner Forest的原始对偶近似算法

获取原文
获取原文并翻译 | 示例
           

摘要

Node-Weighted Steiner Forest is the following problem: Given an undirected graph, a set of pairs of terminal vertices, a weight function on the vertices, find a minimum weight set of vertices that includes and connects each pair of terminals. We consider the restriction to planar graphs where the problem remains NP-complete. Demaine et al. showed that the generic primal-dual algorithm of Goemans and Williamson is a 6-approximation on planar graphs. We present (1) two different analyses to prove an approximation factor of 3, (2) show that our analysis is best possible for the chosen proof strategy, and (3) generalize this result to feedback problems on planar graphs. We give a simple proof for the first result using contraction techniques and following a standard proof strategy for the generic primal-dual algorithm. Given this proof strategy our analysis is best possible which implies that proving a better upper bound for this algorithm, if possible, would require different proof methods. Then, we give a reduction on planar graphs of Feedback Vertex Set to Node-Weighted Steiner Tree, and Subset Feedback Vertex Set to Node-Weighted Steiner Forest. This generalizes our result to the feedback problems studied by Goemans and Williamson. For the opposite direction, we show how our constructions can be combined with the proof idea for the feedback problems to yield an alternative proof of the same approximation guarantee for Node-Weighted Steiner Forest.
机译:节点加权的Steiner Forest存在以下问题:给定一个无向图,一组终端顶点对,这些顶点上的权重函数,找到包含并连接每对终端的最小顶点权重集。我们认为问题仅限于NP完全的平面图的限制。 Demaine等。证明Goemans和Williamson的通用原始对偶算法在平面图上是6逼近。我们提出(1)两种不同的分析以证明逼近因子3,(2)表明我们的分析最适合所选的证明策略,并且(3)将此结果推广到平面图上的反馈问题。我们为使用收缩技术的第一个结果提供了简单的证明,并遵循了通用原始对偶算法的标准证明策略。给定这种证明策略,我们的分析是最可能的,这意味着如果可能的话,证明该算法的更好的上限将需要不同的证明方法。然后,我们减少了将“反馈顶点”设置为“节点加权的斯坦纳树”,并将子集“反馈顶点”设置为“节点加权的斯坦纳森林”的平面图。这将我们的结果推广到Goemans和Williamson研究的反馈问题。对于相反的方向,我们展示了如何将我们的构造与反馈问题的证明思想相结合,以产生节点加权Steiner Forest的相同近似保证的替代证明。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号