[论文解读] Prize-collecting Network Design on Planar Graphs

MohammadHossein Bateni, MohammadTaghi Hajiaghayi+1 more|arXiv (Cornell University)|Jun 22, 2010

Complexity and Algorithms in Graphs参考文献 43被引用 8

一句话总结

本文提出了一种约简框架，将平图和有界亏格图上的奖赏收集网络设计问题（如奖赏收集斯坦纳树（PCST）、奖赏收集旅行商问题（PCTSP）和奖赏收集斯坦纳森林（PCSF））转化为有界树宽图上的等价问题。关键结果是，对于任何在有界树宽图上具有 $\alpha$-近似比的算法，可获得 $\alpha + \epsilon$ 的近似比，从而首次为平图上的 PCST、PCTSP 和 PCSF 构建了 PTAS，同时证明了在系列-平行图上 PCSF 是 APX-难的，揭示了奖赏收集与非奖赏收集变体之间根本的复杂性差异。

ABSTRACT

In this paper, we reduce Prize-Collecting Steiner TSP (PCTSP), Prize-Collecting Stroll (PCS), Prize-Collecting Steiner Tree (PCST), Prize-Collecting Steiner Forest (PCSF) and more generally Submodular Prize-Collecting Steiner Forest (SPCSF) on planar graphs (and more generally bounded-genus graphs) to the same problems on graphs of bounded treewidth. More precisely, we show any $α$-approximation algorithm for these problems on graphs of bounded treewidth gives an $(α+ ε)$-approximation algorithm for these problems on planar graphs (and more generally bounded-genus graphs), for any constant $ε> 0$. Since PCS, PCTSP, and PCST can be solved exactly on graphs of bounded treewidth using dynamic programming, we obtain PTASs for these problems on planar graphs and bounded-genus graphs. In contrast, we show PCSF is APX-hard to approximate on series-parallel graphs, which are planar graphs of treewidth at most 2. This result is interesting on its own because it gives the first provable hardness separation between prize-collecting and non-prize-collecting (regular) versions of the problems: regular Steiner Forest is known to be polynomially solvable on series-parallel graphs and admits a PTAS on graphs of bounded treewidth. An analogous hardness result can be shown for Euclidian PCSF. This ends the common belief that prize-collecting variants should not add any new hardness to the problems.

研究动机与目标

• 开发一种适用于平图和有界亏格图上奖赏收集网络设计问题近似求解的通用框架。
• 证明任何针对有界树宽实例的近似算法，均可在仅损失 $\epsilon$ 近似比的情况下推广至平图。
• 解决长期悬而未决的开放问题：奖赏收集变体的可近似性是否优于或劣于其非奖赏收集对应版本。
• 证明在系列-平行图上 PCSF 是 APX-难的，与该类图上普通斯坦纳森林可多项式时间求解形成鲜明对比。

提出的方法

• 利用随机分解技术，将平图上的奖赏收集问题约简为有界树宽图上的等价问题。
• 在树分解上使用动态规划，状态定义为节点子集 $S \subseteq B_i$ 和 $S$ 的划分 $\mathcal{P}$，以追踪连通性和未服务终端。
• 通过状态转移处理惩罚：要么为顶点支付惩罚，要么将其连接到已有连通分量，同时仔细处理以避免重复计数。
• 将动态规划框架适配至 PCTSP 和 PCS，通过修改状态表示以追踪路径或环的起点-终点对。
• 使用大小最多为 $k$ 的树分解（$k$ 为常数），以确保计算时间多项式。
• 合并节点操作通过在兼容划分上取最小值，并减去交集中未服务终端的重复惩罚项。

实验结果

研究问题

• RQ1 是否可以通过有界树宽约简，更有效地近似平图上奖赏收集网络设计问题的变体？
• RQ2 在系列-平行图上，斯坦纳森林的奖赏收集变体是否仍具有可 tractability，还是引入了新的不可近似性？
• RQ3 奖赏收集与非奖赏收集版本的网络设计问题之间是否存在可证明的计算复杂性差异？
• RQ4 能否将树宽图上的动态规划方法扩展，以处理斯坦纳森林问题中的子模惩罚函数？

主要发现

• 本文建立了从平图和有界亏格图上的奖赏收集网络设计问题到有界树宽图的通用约简，使得任何在有界树宽图上具有 $\alpha$-近似比的算法，均可获得 $\alpha + \epsilon$ 的近似比。
• 因此，首次为平图和有界亏格图上的 PCST、PCTSP 和 PCSF 构建了 PTAS，解决了长期悬而未决的开放问题。
• 本文证明了在系列-平行图上 PCSF 是 APX-难的，而这类图是树宽至多为 2 的平图，揭示了其与非奖赏收集版本的根本复杂性差异。
• 该结果推翻了“奖赏收集变体不会引入新计算复杂性”的普遍信念，表明其可能比非奖赏收集版本更难。
• 在树分解上的动态规划方法能正确处理惩罚和连通性约束，运行时间在 $n$ 和 $2^k k^k$ 上为多项式，其中 $k$ 为树宽。