[论文解读] Prize-Collecting Steiner Tree and Forest in Planar Graphs

Chandra Chekuri, Alina Ene+1 more|arXiv (Cornell University)|Jun 22, 2010

Advanced Graph Theory Research参考文献 23被引用 8

一句话总结

本文提出了一种多项式时间的近似保持归约方法，将平面图中的奖赏收集斯坦纳树与斯坦纳森林问题归约为有界树宽图中的相同问题。通过将该归约与针对有界树宽图的精确动态规划算法相结合，作者首次为平面图中的奖赏收集斯坦纳树问题建立了多项式时间近似方案（PTAS），并推广了此前针对标准斯坦纳树问题的结果。

ABSTRACT

We obtain polynomial-time approximation-preserving reductions (up to a factor of 1 + ε) from the prize-collecting Steiner tree and prize-collecting Steiner forest problems in planar graphs to the corresponding problems in graphs of bounded treewidth. We also give an exact algorithm for the prize-collecting Steiner tree problem that runs in polynomial time for graphs of bounded treewidth. This, combined with our reductions, yields a PTAS for the prize-collecting Steiner tree problem in planar graphs and generalizes the PTAS of Borradaile, Klein and Mathieu for the Steiner tree problem in planar graphs. Our results build upon the ideas of Borradaile, Klein and Mathieu and the work of Bateni, Hajiaghayi and Marx on a PTAS for the Steiner forest problem in planar graphs. Our main technical result is on the properties of primal-dual algorithms for Steiner tree and forest problems in general graphs when they are run with scaled up penalties.

研究动机与目标

• 为平面图中的奖赏收集斯坦纳树问题开发一个PTAS。
• 将该方法扩展至平面图中的奖赏收集斯坦纳森林问题。
• 建立从平面图实例到有界树宽图的近似保持归约。
• 为有界树宽图中的奖赏收集斯坦纳树问题设计一个精确动态规划算法。
• 将结果推广至有界亏格图及相关奖赏收集网络设计问题。

提出的方法

• 提出从平面图中的奖赏收集斯坦纳树与森林问题到有界树宽图实例的归约，保持近似比在 $1+\varepsilon$ 因子内。
• 在有界树宽图的树分解上使用动态规划，追踪每个节点袋中的子图与连通分量划分。
• 通过递归递推关系定义引入节点与遗忘节点的状态转移，考虑顶点包含、边选择与连通分量合并。
• 在原始-对偶算法中使用放大后的惩罚项，以分析并引导归约过程。
• 利用平面图的结构与树分解的性质，确保归约过程保持近似性。
• 通过树分解的归纳法证明动态规划递推关系的正确性，保持连通性与惩罚一致性。

实验结果

研究问题

• RQ1 平面图中的奖赏收集斯坦纳树问题是否能在多项式时间内以任意 $(1+\varepsilon)$ 因子近似？
• RQ2 是否存在从平面图中的奖赏收集斯坦纳树问题到有界树宽图的近似保持归约？
• RQ3 能否为有界树宽图中的奖赏收集斯坦纳树问题设计一个精确算法？
• RQ4 该归约技术是否可扩展至平面图中的奖赏收集斯坦纳森林问题？
• RQ5 该方法是否可推广至有界亏格图或其他相关奖赏收集网络设计问题？

主要发现

• 本文通过将问题归约为有界树宽情形，为平面图中的奖赏收集斯坦纳树问题建立了PTAS。
• 为树宽至多为 $k$ 的图中的奖赏收集斯坦纳树问题设计的精确动态规划算法，时间复杂度为 $O(b_k^3 \cdot s_k \cdot |V|)$，其中 $b_k$ 为第 $k$ 个贝尔数，$s_k$ 为 $k$ 个顶点上子图的数量。
• 该归约保持近似比在 $1+\varepsilon$ 因子内，若在有界树宽图中存在 $\rho$-近似算法，则可在平面图中实现 $\rho(1+\varepsilon)$-近似。
• 相同的归约框架适用于奖赏收集斯坦纳森林问题，若在有界树宽图中存在此类近似比，则在平面图中可实现 $\rho(1+\varepsilon)$-近似。
• 结果可推广至有界亏格图，表明其适用范围超越平面图。
• 该工作将 Borradaile、Klein 与 Mathieu 针对平面图中标准斯坦纳树问题的 PTAS 推广至奖赏收集变体。