[论文解读] On Directed Steiner Trees with Multiple Roots

Ondřej Suchý|arXiv (Cornell University)|Apr 18, 2016

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

一句话总结

本文引入了 $q$-Root Steiner Tree ($q$-RST) 问题，这是有向 Steiner Tree 和强连通 Steiner 子图问题的推广，并为 $R \subseteq T$ 的受限情况提出了一个运行时间为 $O(2^{2q+4|T|} \times n^{2q+O(1)})$ 的 FPT 算法。此外，该方法进一步扩展至平面图，运行时间为 $2^{O(q\log q + |T|\log q)} \cdot n^{O(\sqrt{q})}$，在关键结构约束下实现了固定参数可追踪性。

ABSTRACT

We introduce a new Steiner-type problem for directed graphs named extsc{$q$-Root Steiner Tree}. Here one is given a directed graph $G=(V,A)$ and two subsets of its vertices, $R$ of size $q$ and $T$, and the task is to find a minimum size subgraph of $G$ that contains a path from each vertex of $R$ to each vertex of $T$. The special case of this problem with $q=1$ is the well known extsc{Directed Steiner Tree} problem, while the special case with $T=R$ is the extsc{Strongly Connected Steiner Subgraph} problem. We first show that the problem is W[1]-hard with respect to $|T|$ for any $q \ge 2$. Then we restrict ourselves to instances with $R \subseteq T$. Generalizing the methods of Feldman and Ruhl [SIAM J. Comput. 2006], we present an algorithm for this restriction with running time $O(2^{2q+4|T|}\cdot n^{2q+O(1)})$, i.e., this restriction is FPT with respect to $|T|$ for any constant $q$. We further show that we can, without significantly affecting the achievable running time, loosen the restriction to only requiring that in the solution there are a vertex $v$ and a path from each vertex of $R$ to $v$ and from $v$ to each vertex of~$T$. Finally, we use the methods of Chitnis et al. [SODA 2014] to show that the restricted version can be solved in planar graphs in $O(2^{O(q \log q+|T|\log q)}\cdot n^{O(\sqrt{q})})$ time.

研究动机与目标

• 研究有向图中一种新型 Steiner 类问题 $q$-Root Steiner Tree ($q$-RST) 的参数复杂度，该问题同时推广了有向 Steiner Tree 和强连通 Steiner 子图问题。
• 确定 $q$-RST 的参数复杂度，关键参数包括：$|T|$（终端数量）、$q$（根的数量）以及解的大小。
• 识别在何种结构约束下 $q$-RST 变为固定参数可追踪（FPT），特别是当 $R \subseteq T$ 或存在一个公共顶点使得所有路径均可通过该点时。
• 通过利用博弈论加速和基于树宽的优化，将标准 DST 和 SCSS 的 FPT 算法扩展至 $q$-RST。
• 研究 $q$-RST 在平面图中的复杂度，目标是达到已知 DST 和 SCSS 算法在该类图中的效率水平。

提出的方法

• 提出新问题 $q$-RST，定义为寻找一个最小子图，使得每个根 $R$ 中的顶点到每个终端 $T$ 中的顶点均存在有向路径。
• 引入一个受限变体，其中 $R \subseteq T$，从而可应用动态规划与树分解技术。
• 应用受 Chitnis 等人启发的加速博弈框架，将路径构造建模为标记移动，以减少搜索空间。
• 在导出的有向图 $D_X$ 中，对边和顶点使用标记方案，为每个移动分配 $D$-标记集合，以追踪处理过的根和终端。
• 使用代价函数 $cv$ 和 $ce$ 计算超移动（如 MultipleFlips）的最小代价，其中 $ce$ 通过最短路径预言机 $ST(x,Y)$ 重新定义，以考虑路径重叠。
• 在树宽有界的底层图上应用 Klein 和 Marx 算法进行最小代价映射，通过在树分解上进行动态规划，实现 $n^{O(\sqrt{q})}$ 的时间复杂度。

实验结果

研究问题

• RQ1 当 $q$ 为常数时，$q$-RST 问题在 $|T|$ 参数下是否为固定参数可追踪，特别是在 $R \subseteq T$ 约束下？
• RQ2 $q$-RST 问题是否可在平面有向图中高效求解，其最佳可能的参数化运行时间是多少？
• RQ3 何种解的结构性质使得高效算法设计成为可能？具体而言，若存在一个公共顶点，使得所有所需路径均可通过该点，则是否能支持 FPT 算法？
• RQ4 用于 $q$-RST 的算法技术能否扩展至无约束的 $q$-RST 变体？还是其本质更难？
• RQ5 $q$-RST 的参数复杂度相对于解中非终端节点数量如何？其与已知下界结果相比如何？

主要发现

• $q$-RST 问题在 $|T|$ 参数下为 W[1]-难，当 $q \geq 2$ 时，表明在无结构限制下该问题不太可能是 FPT。
• 对于 $R \subseteq T$ 的受限情况，该问题存在运行时间为 $O(2^{2q+4|T|} \cdot n^{2q+O(1)})$ 的 FPT 算法，使其在常数 $q$ 下对 $|T|$ 固定参数可追踪。
• 该限制 $R \subseteq T$ 可放宽为仅要求存在一个顶点 $v$，使得 $R$ 中所有根均可到达 $v$，且 $v$ 可到达 $T$ 中所有终端，而不会显著增加运行时间。
• 在平面图中，受限的 $q$-RST 问题可在 $2^{O(q\log q + |T|\log q)} \cdot n^{O(\sqrt{q})}$ 时间内求解，其效率与平面图中已知的 DST 和 SCSS 算法相当。
• 该算法通过新颖地结合博弈论加速、基于标记的标签系统以及在树分解上的动态规划，实现了该类问题的最优运行时间。
• 算法的正确性基于加速博弈的可表示性以及先前 SCSS 研究中建立的引理，确保了解的正确性与最优性。