[论文解读] Subexponential Parameterized Directed Steiner Network Problems on Planar Graphs: A Complete Classification

Esther Galby, ‪Sándor Kisfaludi-Bak+2 more|arXiv (Cornell University)|Aug 11, 2022

Advanced Graph Theory Research被引用 1

一句话总结

本文对平面图上的有向斯坦纳网络问题的参数化复杂性进行了完整分类，根据需求图 D 的结构识别出三种不同的亚指数时间复杂度区间。在假设指数时间假设（ETH）的前提下，若 D 避免了某些有限的困难模式家族，则该问题可在时间 f(k)·n^O(√k) 内求解；而若 D 包含这些模式中的任意一种，则问题为 W[1]-难，且无法在 f(k)·n^o(k) 时间内求解。该工作统一并扩展了此前关于平面斯坦纳问题的 FPT 和亚指数算法的研究成果。

ABSTRACT

In the Directed Steiner Network problem, the input is a directed graph G, a subset T of k vertices of G called the terminals, and a demand graph D on T. The task is to find a subgraph H of G with the minimum number of edges such that for every edge (s,t) in D, the solution H contains a directed s to t path. In this paper we investigate how the complexity of the problem depends on the demand pattern when G is planar. Formally, if \mathcal{D} is a class of directed graphs closed under identification of vertices, then the \mathcal{D}-Steiner Network (\mathcal{D}-SN) problem is the special case where the demand graph D is restricted to be from \mathcal{D}. For general graphs, Feldmann and Marx [ICALP 2016] characterized those families of demand graphs where the problem is fixed-parameter tractable (FPT) parameterized by the number k of terminals. They showed that if \mathcal{D} is a superset of one of the five hard families, then \mathcal{D}-SN is W[1]-hard parameterized by k, otherwise it can be solved in time f(k)n^{O(1)}. For planar graphs an interesting question is whether the W[1]-hard cases can be solved by subexponential parameterized algorithms. Chitnis et al. [SICOMP 2020] showed that, assuming the ETH, there is no f(k)n^{o(k)} time algorithm for the general \mathcal{D}-SN problem on planar graphs, but the special case called Strongly Connected Steiner Subgraph can be solved in time f(k) n^{O(\sqrt{k})} on planar graphs. We present a far-reaching generalization and unification of these two results: we give a complete characterization of the behavior of every $\mathcal{D}$-SN problem on planar graphs. We show that assuming ETH, either the problem is (1) solvable in time 2^{O(k)}n^{O(1)}, and not in time 2^{o(k)}n^{O(1)}, or (2) solvable in time f(k)n^{O(\sqrt{k})}, but not in time f(k)n^{o(\sqrt{k})}, or (3) solvable in time f(k)n^{O(k)}, but not in time f(k)n^{o({k})}.

研究动机与目标

• 基于需求图 D 的结构，对平面图上的有向斯坦纳网络问题的参数化复杂性进行分类。
• 确定在哪些需求图类 D 下，该问题可获得亚指数时间参数化算法。
• 在平面图上，确定 FPT、亚指数和超指数复杂度区间的精确分界。
• 在指数时间假设（ETH）下，为最困难的情形建立紧致的下界。

提出的方法

• 作者根据需求图类 D 在顶点合并下封闭的性质，将其划分为三个复杂度区间，依据其是否包含特定的困难图家族。
• 引入 t-强对（t-tough-pairs）的概念，并利用结构定理将图分解为段和区域，以支持算法处理。
• 开发了一种清理过程，将复杂的困难模式简化为最小的困难实例，包括 t-困难模式和困难双团模式。
• 通过从 k×k-网格填充问题进行约化，证明了基于 ETH 的下界，表明某些 D-SN 问题无法在 f(k)·n^o(k) 时间内求解。
• 在算法侧，针对 O(√k) 复杂度区间采用基于平面图树状分解的动态规划方法，实现亚指数时间算法。
• 对所有有向双团类的下界证明，建立了一个罕见的平面问题实例，其无法在 f(k)·n^o(k) 时间内求解。

实验结果

研究问题

• RQ1 对于哪些需求图类 D，D-斯坦纳网络问题在平面图上可于时间 f(k)·n^O(√k) 内求解？
• RQ2 在平面图上，FPT、亚指数和超指数复杂度区间的精确结构条件是什么？
• RQ3 当 D 包含某些困难模式（如有向双团）时，问题是否仍可在亚指数时间 f(k)·n^O(√k) 内求解？
• RQ4 是否存在一个有限的禁止模式集合，可刻画平面图上 O(√k) 亚指数复杂度区间的特征？
• RQ5 强连通斯坦纳子图问题是否为更广泛问题类中的一个特例，该类问题具有亚指数算法？

主要发现

• 本文证明：在平面图上，D-SN 问题可于时间 f(k)·n^O(√k) 内求解，当且仅当 D 避免了显式刻画的有限个困难双团模式。
• FPT 区间（时间 f(k)·n^O(1)）恰好对应于一般图中已知的同一组禁止家族，即 Feldmann 和 Marx 所识别的五类困难家族。
• 若 D 包含任何困难双团模式，则问题为 W[1]-难，且在 ETH 假设下无法在 f(k)·n^o(k) 时间内求解，即使对于所有有向双团的类也是如此。
• 本文证明了紧致下界：在 ETH 假设下，当 D 为所有有向双团的类时，平面图上的 D-SN 问题不存在 f(k)·n^o(k) 算法。
• 该结果首次提供了真正平面问题的实例，其无法在 f(k)·n^o(k) 时间内求解，揭示了一个基本的复杂度障碍。
• 该刻画是完整的：每个在顶点合并下封闭的需求图类 D，均恰好落入基于其禁止模式的三种复杂度区间之一。