[论文解读] Parameterized Approximation Algorithms for Directed Steiner Network Problems

Rajesh Chitnis, Andreas Emil Feldmann+1 more|arXiv (Cornell University)|Jul 20, 2017

Complexity and Algorithms in Graphs参考文献 67被引用 4

一句话总结

该论文为双有向平面图中的有向斯坦纳网络（DSN）问题的一个特例——双有向斯坦纳网络（bi-DSN$_\text{Planar}$）问题，提出了一种参数化近似方案（PAS），在参数 $k$ 下实现了最优近似。此外，该研究还建立了强连通斯坦纳子图（SCSS）问题在 Gap-ETH 下的紧致不可近似性界限，证明在 Gap-ETH 假设下不存在 $(2 - \varepsilon)$-近似算法，并证明当限制在双有向图时，SCSS 问题为固定参数可追踪（FPT）。

ABSTRACT

The Directed Steiner Network (DSN) problem takes as input a directed edge-weighted graph $G=(V,E)$ and a set $\mathcal{D}\subseteq V imes V$ of $k$ demand pairs. The aim is to compute the cheapest network $N\subseteq G$ for which there is an $s o t$ path for each $(s,t)\in\mathcal{D}$. It is known that this problem is notoriously hard as there is no $k^{1/4-o(1)}$-approximation algorithm under Gap-ETH, even when parametrizing the runtime by $k$ [Dinur & Manurangsi, ITCS 2018]. In light of this, we systematically study several special cases of DSN and determine their parameterized approximability for the parameter $k$. For the bi-DSN$_ ext{Planar}$ problem, the aim is to compute a solution $N\subseteq G$ whose cost is at most that of an optimum planar solution in a bidirected graph $G$, i.e., for every edge $uv$ of $G$ the reverse edge $vu$ exists and has the same weight. This problem is a generalization of several well-studied special cases. Our main result is that this problem admits a parameterized approximation scheme (PAS) for $k$. We also prove that our result is tight in the sense that (a) the runtime of our PAS cannot be significantly improved, and (b) it is unlikely that a PAS exists for any generalization of bi-DSN$_ ext{Planar}$, unless FPT=W[1]. One important special case of DSN is the Strongly Connected Steiner Subgraph (SCSS) problem, for which the solution network $N\subseteq G$ needs to strongly connect a given set of $k$ terminals. It has been observed before that for SCSS a parameterized $2$-approximation exists when parameterized by $k$ [Chitnis et al., IPEC 2013]. We give a tight inapproximability result by showing that for $k$ no parameterized $(2-\varepsilon)$-approximation algorithm exists under Gap-ETH. Additionally we show that when restricting the input of SCSS to bidirected graphs, the problem remains NP-hard but becomes FPT for $k$.

研究动机与目标

• 研究当以需求对数 $k$ 为参数时，有向斯坦纳网络（DSN）问题的参数化近似可解性。
• 确定在双有向平面图中 DSN 的一个特例——bi-DSN$_\text{Planar}$ 问题是否存在参数化近似方案（PAS）。
• 在 Gap-ETH 假设下，为强连通斯坦纳子图（SCSS）问题建立紧致的不可近似性界限。
• 探讨当限制在双有向图时，SCSS 问题的参数化复杂性，特别是其是否成为固定参数可追踪（FPT）问题。

提出的方法

• 作者设计了一种新颖的动态规划方法，专门针对 bi-DSN$_\text{Planar}$ 的平面性和双有向结构，利用边的对偶性和平面性来构建 PAS。
• 他们使用引入间隙的约化方法和复杂性理论假设（Gap-ETH）来证明 SCSS 及其变种的不可近似性下界。
• 证明 bi-DSN$_\text{Planar}$ 的 PAS 在运行时间上是最优的，因为任何改进都将违反标准复杂性假设。
• 对于 SCSS，作者证明在 Gap-ETH 假设下，不存在 $(2 - \varepsilon)$-近似算法，从而确立了已知的 $2$-近似算法的紧致性。
• 他们将 SCSS 问题约化为双有向图中的一个变种，并证明在此限制下，尽管问题仍为 NP-难，但当以 $k$ 为参数时，问题变为 FPT。
• 理论分析结合了结构图论与参数化复杂性技术，以分析 DSN 变种的可解性边界。

实验结果

研究问题

• RQ1 当以 $k$ 为参数时，bi-DSN$_\text{Planar}$ 问题是否存在参数化近似方案（PAS）？
• RQ2 在不违反复杂性假设的前提下，能否显著改进 bi-DSN$_\text{Planar}$ 的 PAS 的运行时间？
• RQ3 除非 FPT = W[1]，否则是否几乎不可能为 bi-DSN$_\text{Planar}$ 的任何推广形式存在 PAS？
• RQ4 在 Gap-ETH 假设下，已知的 $2$-近似算法对 SCSS 是否是紧致的？
• RQ5 当限制在双有向图时，SCSS 是否为固定参数可追踪（FPT）问题？

主要发现

• bi-DSN$_\text{Planar}$ 问题存在参数化近似方案（PAS），可在任意 $\varepsilon > 0$ 下以时间 $f(k) \cdot n^{O(1)}$ 获得 $(1 + \varepsilon)$-近似解。
• bi-DSN$_\text{Planar}$ 的 PAS 的运行时间无法显著改进，因为任何此类改进都将与标准复杂性假设矛盾。
• 除非 FPT = W[1]，否则几乎不可能为 bi-DSN$_\text{Planar}$ 的任何推广形式存在 PAS，表明该问题处于参数化近似可解性的边界。
• 在 Gap-ETH 假设下，SCSS 问题不存在参数化 $(2 - \varepsilon)$-近似算法，从而证明了已知的 $2$-近似算法是紧致的。
• 当限制在双有向图时，SCSS 问题虽仍为 NP-难，但当以 $k$ 为参数时，其变为固定参数可追踪（FPT）。
• 研究结果确立了清晰的二分性：bi-DSN$_\text{Planar}$ 可以接受 PAS，而其推广形式则几乎不可能；同时，在标准假设下，SCSS 具有紧致的不可近似性界限。