[论文解读] From Directed Steiner Tree to Directed Polymatroid Steiner Tree in Planar Graphs

Chandra Chekuri, Rhea Jain+3 more|arXiv (Cornell University)|Jan 1, 2024

Advanced Graph Theory Research被引用 1

一句话总结

本论文为平面有向图中的有向斯坦纳树及其相关问题——组斯坦纳树、覆盖斯坦纳树和拟阵斯坦纳树——提出了多项式时间、对数多倍的近似算法。在Friggstad和Mousavi对有向斯坦纳树的O(log k)-近似基础上，作者引入了一种基于递归分治分解和基于密度的算法的树嵌入技术，实现了单根问题的O(log k)近似和多根变体的O(log²k)近似。

ABSTRACT

In the Directed Steiner Tree (DST) problem the input is a directed edge-weighted graph G = (V,E), a root vertex r and a set S ⊆ V of k terminals. The goal is to find a min-cost subgraph that connects r to each of the terminals. DST admits an O(log² k/log log k)-approximation in quasi-polynomial time [Grandoni et al., 2022; Rohan Ghuge and Viswanath Nagarajan, 2022], and an O(k^{ε})-approximation for any fixed ε > 0 in polynomial-time [Alexander Zelikovsky, 1997; Moses Charikar et al., 1999]. Resolving the existence of a polynomial-time poly-logarithmic approximation is a major open problem in approximation algorithms. In a recent work, Friggstad and Mousavi [Zachary Friggstad and Ramin Mousavi, 2023] obtained a simple and elegant polynomial-time O(log k)-approximation for DST in planar digraphs via Thorup’s shortest path separator theorem [Thorup, 2004]. We build on their work and obtain several new results on DST and related problems. - We develop a tree embedding technique for rooted problems in planar digraphs via an interpretation of the recursion in [Zachary Friggstad and Ramin Mousavi, 2023]. Using this we obtain polynomial-time poly-logarithmic approximations for Group Steiner Tree [Naveen Garg et al., 2000], Covering Steiner Tree [Goran Konjevod et al., 2002] and the Polymatroid Steiner Tree [Gruia Călinescu and Alexander Zelikovsky, 2005] problems in planar digraphs. All these problems are hard to approximate to within a factor of Ω(log² n/log log n) even in trees [Eran Halperin and Robert Krauthgamer, 2003; Grandoni et al., 2022]. - We prove that the natural cut-based LP relaxation for DST has an integrality gap of O(log² k) in planar digraphs. This is in contrast to general graphs where the integrality gap of this LP is known to be Ω(√k) [Leonid Zosin and Samir Khuller, 2002] and Ω(n^{δ}) for some fixed δ > 0 [Shi Li and Bundit Laekhanukit, 2022]. - We combine the preceding results with density based arguments to obtain poly-logarithmic approximations for the multi-rooted versions of the problems in planar digraphs. For DST our result improves the O(R + log k) approximation of [Zachary Friggstad and Ramin Mousavi, 2023] when R = ω(log² k).

研究动机与目标

• 为平面有向图中的有向斯坦纳树（DST）问题填补多项式时间近似算法的空白，其中在一般图中自然的线性规划松弛具有较差的整数性间隙。
• 将平面有向图中DST的O(log k)-近似扩展到更广泛的根网络设计问题，包括组斯坦纳树、覆盖斯坦纳树和拟阵斯坦纳树。
• 证明平面有向图中DST的自然基于割的线性规划松弛具有O(log²k)的整数性间隙，这相比一般图中的Ω(√k)间隙有显著改进。
• 通过基于密度的迭代算法开发一种多根近似框架，当R = ω(log²k)时，优于先前的O(R + log k)界。

提出的方法

• 采用Friggstad和Mousavi基于Thorup最短路径分隔定理的递归分治方法，对平面有向图进行分解。
• 提出一种新颖的树嵌入技术，将基于分隔的算法中的递归过程解释为从平面有向图到深度为O(log N)、近似损失为O(log N)的树的映射。
• 通过迭代应用最小密度算法求解多根变体，利用每次迭代中最小密度解提供对数近似因子的性质。
• 将树嵌入与已知的树上斯坦纳问题的最小密度算法相结合，仅以对数损失将结果从树推广到平面有向图。
• 利用基于密度的论证，将多根DST的基于割的线性规划松弛的整数性间隙界定为O(log³k)，单根DST的整数性间隙为O(log²k)。
• 利用拟阵斯坦纳树中子模函数的性质，将框架扩展到一般拟阵约束，实现多根DPST的O(log¹⁺ϵn log k log N / (ϵ log log n))-近似。

实验结果

研究问题

• RQ1 能否将平面有向图中DST的O(log k)-近似扩展到更一般的根网络设计问题，如组斯坦纳树和覆盖斯坦纳树？
• RQ2 平面有向图中DST的自然基于割的线性规划松弛的整数性间隙是多少？与一般图相比如何？
• RQ3 能否将单根近似框架扩展到多根变体，以获得优于现有O(R + log k)界的近似比？
• RQ4 当从树推广到平面有向图以解决拟阵约束的斯坦纳问题时，树嵌入技术在多大程度上能保持近似保证？
• RQ5 能否使用基于密度的迭代算法，为平面图中组、覆盖和拟阵斯坦纳树的多根版本实现对数多倍近似？

主要发现

• 为平面有向图中的有向组斯坦纳树、有向覆盖斯坦纳树和有向拟阵斯坦纳树，开发了时间复杂度为多项式时间的O(log k)-近似算法。
• 平面有向图中DST的自然基于割的线性规划松弛具有O(log²k)的整数性间隙，相比一般图中的Ω(√k)间隙有显著改进。
• 为平面有向图中的多根有向斯坦纳树问题实现了O(log²k)-近似，当R = ω(log²k)时优于O(R + log k)的界。
• 通过迭代选择最低密度解，将平面有向图中单根问题的最小密度算法扩展到多根设置，获得O(log k)的近似因子。
• 对于多根拟阵斯坦纳树问题，实现了O(log¹⁺ϵn log k log N / (ϵ log log n))-近似，与树上最小密度问题的最佳已知近似一致。
• 树嵌入框架在将平面有向图问题约化为对应树问题时，仅引入O(log N)的近似比损失，从而保持了对数多倍近似保证。