[論文レビュー] The Complexity of Finding Small Separators in Temporal Graphs

Philipp Zschoche, Till Fluschnik+2 more|arXiv (Cornell University)|Jan 1, 2018

Opportunistic and Delay-Tolerant Networks被引用数 9

ひとこと要約

本稿は、時間的グラフにおける小さな頂点カット集合を求める計算複雑性を調査し、非厳密および厳密な時間的パスの違いを明確にしている。複雑性の二分法を確立する：非厳密な場合、τ ≥ 2 のとき、厳密な場合、τ ≥ 5 のとき、両問題ともNP完全であるが、τ ≤ 4 に制限されると多項式時間で解けるようになる。重要かつ核心的な点として、非厳密なバージョンは、時間的コアのサイズをパラメータとして固定パラメータ可 tractable（FPT）であるが、厳密なバージョンは、時間的コアが空であってもNP完全のまま残る。

ABSTRACT

Temporal graphs are graphs with time-stamped edges. We study the problem of finding a small vertex set (the separator) with respect to two designated terminal vertices such that the removal of the set eliminates all temporal paths connecting one terminal to the other. Herein, we consider two models of temporal paths: paths that pass through arbitrarily many edges per time step (non-strict) and paths that pass through at most one edge per time step (strict). Regarding the number of time steps of a temporal graph, we show a complexity dichotomy (NP-hardness versus polynomial-time solvability) for both problem variants. Moreover we prove both problem variants to be NP-complete even on temporal graphs whose underlying graph is planar. We further show that, on temporal graphs with planar underlying graph, if additionally the number of time steps is constant, then the problem variant for strict paths is solvable in quasi-linear time. Finally, we introduce and motivate the notion of a temporal core (vertices whose incident edges change over time). We prove that the non-strict variant is fixed-parameter tractable when parameterized by the size of the temporal core, while the strict variant remains NP-complete, even for constant-size temporal cores.

研究の動機と目的

• 非厳密および厳密な時間的パスモデルの下で、時間的グラフにおける小さな頂点カット集合を求める計算複雑性を特定すること。
• 問題が、元のグラフが平面的である場合にもNP完全のまま残るかどうかを調査すること。
• 時間ステップ数τや時間的コアのサイズといった構造的パラメータが、問題の解法可能性に与える影響を調査すること。
• 非厳密と厳密な時間的パスモデルの両方が、カット集合問題においてどのように計算的挙動を示すかを比較すること。
• 時間的グラフ問題における新しいパラメータとしての時間的コアの概念を導入し、その分析を行うこと。

提案手法

• 離散的な時間ステップ上で定義された静的グラフの列として時間的グラフを形式化し、時間スタンプを備えた辺を扱う。
• 2つのパスモデルを定義する：非厳密（1回の時間ステップに複数の辺を許容）と厳密（1回の時間ステップに最大1つの辺を許容）。
• 既知のNP完全問題への帰着を用いて、τ ≥ 2（非厳密）およびτ ≥ 5（厳密）の一般時間的グラフにおいて、両モデルがNP完全であることを証明する。
• τ ≤ 4 のとき、厳密な時間的(s,z)-カット集合問題が多項式時間で解けることを示し、ノード重み付き接続性（NWC）問題への帰着を活用する。
• 時間的コア（非恒久的エッジに接続する頂点の集合）を定義し、これを固定パラメータ可 tractable（FPT）のパラメータとして用いる。
• 時間的コアの分割を予想するランダム化された探索木アルゴリズムを設計し、問題をNWCに還元することで、非厳密な場合に2^O(|W| log |W|) · |V|^O(1) の実行時間で解けることを達成する。

実験結果

リサーチクエスチョン

• RQ1 非厳密パスモデルの下で、小さな時間的(s,z)-カット集合を求める計算複雑性は何か？
• RQ2 時間ステップ数τの変化に伴い、厳密な時間的(s,z)-カット集合問題の複雑性はどのように変化するか？
• RQ3 両カット集合問題は、元のグラフが平面的である時間的グラフに対してもNP完全であるか？
• RQ4 時間的コアが小さい場合、問題は多項式時間で解けるか？また、非厳密モデルと厳密モデルの間でその差は何か？
• RQ5 非厳密と厳密な時間的パスモデルの選択が、カット集合問題の解法可能性に与える影響は何か？

主な発見

• 非厳密な時間的(s,z)-カット集合問題は、すべてのτ ≥ 2 においてNP完全であり、元のグラフが平面的であってもNP完全のまま残る。
• 厳密な時間的(s,z)-カット集合問題は、τ ≥ 5 ではNP完全であるが、τ ≤ 4 では多項式時間で解ける。
• τ が定数であり、かつ元のグラフが平面的である場合、厳密な時間的(s,z)-カット集合問題はO(|E| log |E|) 時間で解ける。
• 非厳密な時間的(s,z)-カット集合問題は、時間的コアのサイズをパラメータとして固定パラメータ可 tractable（FPT）であり、実行時間は2^O(|W| log |W|) · |V|^O(1) である。
• 厳密な時間的(s,z)-カット集合問題は、時間的コアが空であってもNP完全のまま残るため、両モデル間には根本的な複雑性の違いがある。
• 非厳密と厳密な時間的パスの選択は、計算複雑性に顕著な影響を与えるが、この差は過去の文献でしばしば無視されている。