[論文レビュー] Directed Multicut with linearly ordered terminals

Robert F. Erbacher, Trent Jaeger+2 more|arXiv (Cornell University)|Jul 28, 2014

Advanced Graph Theory Research参考文献 20被引用数 6

ひとこと要約

本稿では、線形に順序付けられた端点をもつ有向マルチカット問題を導入し、解析した。この問題がカットセットサイズ $ p $ に対して固定パrameter tractable (FPT) であることを証明し、$ O(4^p p n^4) $ 時間で動作するアルゴリズムを提示した。主な貢献は、ネットワークセキュリティへの応用を持つこの特殊ケースに対する多項式時間 FPT アルゴリズムの開発であり、パラメータ化還元の下で一般有向マルチカット問題と同等の複雑さであることが示された。

ABSTRACT

Motivated by an application in network security, we investigate the following "linear" case of Directed Mutlicut. Let $G$ be a directed graph which includes some distinguished vertices $t_1, \ldots, t_k$. What is the size of the smallest edge cut which eliminates all paths from $t_i$ to $t_j$ for all $i < j$? We show that this problem is fixed-parameter tractable when parametrized in the cutset size $p$ via an algorithm running in $O(4^p p n^4)$ time.

研究の動機と目的

• 線形に順序付けられた端点をもつ有向マルチカット問題の複雑さを調査すること。ネットワークセキュリティへの応用が動機である。
• この特殊ケースが固定パラメータ可 tractable (FPT) 解をもつかどうかを特定すること。
• 線形に順序付けられたケースと一般有向マルチカット問題との間で、パラメータ化複雑さの観点から同等性を確立すること。
• 線形に順序付けられた端点ケースに対する多項式時間 FPT アルゴリズムを提供すること。

提案手法

• 元のグラフに補助的ノードと辺を埋め込む変換を用いて、一般有向マルチカット問題を線形に順序付けられたケースに還元する。
• 部分順序が端点間の必要な分離順序を反映するように、Poset Cut インスタンスを構築する。
• $ i < j $ に対して $ s_i $ から $ t_j $ へのパスがカットセットの辺が削除されない限り保持されるように、ガジェット構成を用いる。
• 動的計画法とグラフ分解技術を活用して、サイズが $ p $ 以下の最小エッジカットを探索するパラメータ化アルゴリズムを採用する。
• 両方向の多項式時間還元を用いて、線形ケースと一般有向マルチカット問題との間の同等性を証明する。
• 端点順序を反転させた2回の呼び出しを用いて、有向マルチウェイカットに対して2-近似を得る。

実験結果

リサーチクエスチョン

• RQ1 線形に順序付けられた端点をもつ有向マルチカット問題は、カットセットサイズ $ p $ に対して固定パラメータ可 tractable (FPT) か？
• RQ2 線形に順序付けられたケースを、パラメータ化複雑さを保持したまま、一般有向マルチカット問題に多項式時間で還元できるか？
• RQ3 線形に順序付けられたケースは、時間計算量 $ O(4^p p n^4) $ で動作する多項式時間 FPT アルゴリズムをもつか？
• RQ4 線形に順序付けられたケースを用いて、有向マルチウェイカットを2倍の近似で近似できるか？
• RQ5 $ k = 3 $ 個の端点に対して、線形カット問題は NP 困難か？

主な発見

• 線形に順序付けられた端点をもつ有向マルチカット問題は、カットセットサイズ $ p $ に対して固定パラメータ可 tractable (FPT) であり、$ O(4^p p n^4) $ 時間で動作するアルゴリズムをもつ。
• $ k = 3 $ 個の端点に対しても、線形順序制約の下でもこの問題は NP 困難である。
• 線形に順序付けられたケースと一般有向マルチカット問題との間で、パラメータ化複雑さにおいて同等である。両者は多項式時間で互いに還元可能である。
• 端点順序を反転させた2回の実行を用いることで、有向マルチウェイカットに対して2-近似アルゴリズムが得られる。
• 無向マルチウェイカットから線形カットへの還元は、解のサイズを保持し、多項式時間で計算可能である。
• Poset Cut 問題が固定パラメータ可 tractability の観点で有向マルチカット問題と同等であることが示され、FPT 技法の適用範囲が拡張された。