[論文レビュー] 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

ひとこと要約

本稿は、平面グラフ上の有向スティーナー・ネットワーク問題のパrameterized 複雑性を完全に分類し、要求グラフ D の構造に基づいて3つの異なる部分指数的時間領域を特定している。指数時間仮説（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 の構造に基づいて、平面グラフ上での有向スティーナー・ネットワーク問題のパrameterized 複雑性を分類すること。
• どのクラス D の要求グラフに対して、問題が部分指数的時間パラメータ化アルゴリズムを有するかを特定すること。
• 平面グラフ上での FPT、部分指数的、超指数的複雑性領域の正確な境界を特定すること。
• 最も困難なケースに対して、指数時間仮説（ETH）に基づくタイトな下界を確立すること。

提案手法

• 著者らは、頂点の同一化に関して閉じた要求グラフクラス D を、特定の困難なグラフ族を含むかどうかに基づいて3つの複雑性領域に分類した。
• t-トゥーリー・ペアの概念を導入し、構造定理を用いてグラフをセグメントと領域に分解してアルゴリズム的処理を可能にした。
• 複雑な要求パターンを最小の困難インスタンス（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、部分指数的、超指数的複雑性領域を分かつ、D の正確な構造的条件は何か？
• 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 が同定した5つのハードファミリーに一致する。
• D がいずれかのハードバイクリークパターンを含む場合、問題は W[1]-困難であり、ETH の下では f(k)·n^o(k) 時間で解けない、すなわち、すべての有向バイクリークのクラスに対しても同様である。
• 本稿はタイトな下界を証明した：D がすべての有向バイクリークのクラスである場合、ETH を仮定すれば、D-SN 問題は f(k)·n^o(k) 時間で解けない。
• この結果は、f(k)·n^o(k) 時間で解けない真に平面的な問題の最初の既知の例を提供しており、根本的な複雑性の障壁を浮き彫りにしている。
• 同定は完全である：頂点の同一化に関して閉じたすべての要求クラス D は、禁止パターンに基づいて、正確に3つの複雑性領域のいずれかに属する。