[論文レビュー] An FPT Algorithm for Minimum Additive Spanner Problem

Yusuke Kobayashi|arXiv (Cornell University)|Mar 4, 2019

Advanced Graph Theory Research参考文献 44被引用数 3

ひとこと要約

本稿では、元のグラフから削除される辺の数をパラメータとする、最小加法的 t-スパンナ問題に対する最初の固定パラメータ可 tractable (FPT) アルゴリズムを提示する。長さが $t+2$ 以下のサイクル構造を活用することで、有界な探索木を用いてスパースな加法的 $t$-スパンナを効率的に探索し、$(t+1)^{O(k+t)} \cdot |V| \cdot |E|$ の実行時間を達成する。さらに、加法的スパンナへの還元により $(\alpha,\beta)$-スパンナへと拡張可能である。

ABSTRACT

For a positive integer $t$ and a graph $G$, an additive $t$-spanner of $G$ is a spanning subgraph in which the distance between every pair of vertices is at most the original distance plus $t$. Minimum Additive $t$-Spanner Problem is to find an additive $t$-spanner with the minimum number of edges in a given graph, which is known to be NP-hard. Since we need to care about global properties of graphs when we deal with additive $t$-spanners, Minimum Additive $t$-Spanner Problem is hard to handle, and hence only few results are known for it. In this paper, we study Minimum Additive $t$-Spanner Problem from the viewpoint of parameterized complexity. We formulate a parameterized version of the problem in which the number of removed edges is regarded as a parameter, and give a fixed-parameter algorithm for it. We also extend our result to $(α, β)$-spanners.

研究の動機と目的

• 加法的スパンナ問題におけるグローバルなグラフ性質を扱う長年の課題に取り組むこと。これは、NP困難であり、近似が難しいことが知られている。
• 元のグラフから削除される辺の数をパラメータとする、最小加法的 t-スパンナ問題に対する固定パラメータ可 tractable (FPT) アルゴリズムを開発すること。
• 加法的スパンナの場合への還元により、より一般的な $(\alpha,\beta)$-スパンナ問題への FPT アプローチを拡張すること。
• 特に加法的およびハイブリッドスパンナに対して、スパースなスパンナ問題に関する今後のアルゴリズム的研究の理論的基盤を提供すること。

提案手法

• 削除する辺の数 $k$ を固定することで、パrameterized 問題を定義し、最小辺数の加法的 $t$-スパンナを見つけることを目的とする。
• 長さが $t+2$ 以下のサイクルに含まれるすべての辺の集合 $F$ を特定し、これが任意の解となる辺集合 $E'$ を含む必要があることを示す。
• 有界探索木アプローチを用いる：$|F| \leq f_4(t,k)$ であれば、$F$ の $k$ 組の部分集合を全通りチェックして有効なスパンナを探索する。
• $|F|$ が大きい場合、短いサイクル（$\leq t+2$）の大きな集合 $C$ を構築し、その辺集合を探索して有効な $k$ 辺削除集合を見つける。
• 構造的補題と命題を活用し、サイクルによって定義される探索空間内に有効な解が存在することを保証する。
• $(\alpha,\beta)$-スパンナに対しては、$t = \lfloor \alpha + \beta \rfloor - 1$ とすることで加法的 $t$-スパンナに還元する。

実験結果

リサーチクエスチョン

• RQ1 削除される辺の数をパラメータとする場合、最小加法的 t-スパンナ問題は効率的に解けるか？
• RQ2 局所的なサイクル性質に基づいて、加法的 $t$-スパンナを生成するために削除可能な辺集合の構造的特徴づけは可能か？
• RQ3 加法的スパンナに対する FPT アプローチを、より一般的な $(\alpha,\beta)$-スパンナ問題へと拡張可能か？
• RQ4 スパースな加法的 $t$-スパンナを求める計算量の複雑性は何か？ また、$k$ と $t$ の観点からその複雑性は有界にできるか？

主な発見

• 本稿では、$(t+1)^{O(k+t)} \cdot |V| \cdot |E|$ の実行時間を達成する、最小加法的 t-スパンナ問題に対する最初の固定パラメータ可 tractable アルゴリズムを提示する。
• アルゴリズムは、長さ $\leq t+2$ のサイクルに含まれる辺のみが削除の候補であることを、構造的グラフ解析により証明している。
• $|F|$ が $f_4(t,k)$ で有界である場合、アルゴリズムは $F$ の $k$ 組の部分集合に対するブルートフォース探索を実行し、正しさを保証する。
• $|F|$ が大きい場合、アルゴリズムは短いサイクルの大きな集合を構築し、その辺集合に対する有界な探索を実行するが、組合せ的補題により解が探索空間内に存在することが保証される。
• $(\alpha,\beta)$-スパンナに対しても、$t = \lfloor \alpha + \beta \rfloor - 1$ とすることで加法的 $t$-スパンナに還元し、FPT 実行時間を維持できる。
• この結果により、グラフ距離のグローバル依存性によりかつては取り扱いが困難とされた問題に対して、基礎的な FPT アルゴリズムが確立された。