[論文レビュー] An FPT Algorithm for Directed Spanning k-Leaf

Paul Bonsma, Frederic Dorn|ArXiv.org|Nov 26, 2007

Advanced Graph Theory Research参考文献 19被引用数 16

ひとこと要約

この論文は、一般の有向グラフにおける有向スパニングkリーフ問題に対する、初めての固定パrameter tractable (FPT) アルゴリズムを提示している。実行時間は $2^{O(k^3 au k)} \cdot n^{O(1)}$ である。この手法は、局所的に最適な出木に対する新しいパス分解補題と、幅 $O(k^3)$ のパス分解における動的計画法を組み合わせており、2005年にマイケル・フェローズが提起した未解決問題を解決する。

ABSTRACT

An out-branching of a directed graph is a rooted spanning tree with all arcs directed outwards from the root. We consider the problem of deciding whether a given directed graph D has an out-branching with at least k leaves (Directed Spanning k-Leaf). We prove that this problem is fixed parameter tractable, when k is chosen as the parameter. Previously this was only known for restricted classes of directed graphs. The main new ingredient in our approach is a lemma that shows that given a locally optimal out-branching of a directed graph in which every arc is part of at least one out-branching, either an out-branching with at least k leaves exists, or a path decomposition with width O(k^3) can be found. This enables a dynamic programming based algorithm of running time 2^{O(k^3 \log k)} n^{O(1)}, where n=|V(D)|.

研究の動機と目的

• すべての有向グラフに対して、特に有環的または強い連結性を持つクラスに限らない有向スパニングkリーフ問題がFPTアルゴリズムを有するかどうかを解明すること。
• 無向グラフにおけるFPT技術を、標準的な無向グラフのアイデアが失敗するより複雑な有向ケースに拡張すること。
• 大きな出木が存在しないことと、低幅のパス分解が存在することを結びつける新しい構造的補題の開発。
• このような分解が存在する場合に、効率的に問題を解くためのパス分解における動的計画法アルゴリズムの構築。

提案手法

• 1-最適な出木の概念を導入し、構造的解析の基盤とする。
• 重要な補題の証明：$k$ 個の葉を持つ出木が存在せず、現在の出木の葉数が $k$ 未満である場合、幅 $O(k^3)$ のパス分解を構成可能であることを示す。
• 最適性からの構造的逸脱を測るための後退弧 $\mbox{HB}_D^T(x,l)$ を定義し、そのサイズを評価する。
• 頂点の高さと後退弧集合に基づいて、パス分解 $(X_1, \ldots, X_m)$ を構築し、各頂点について連続するバッグに含まれることを保証する。
• 標準的な動的計画法をパス分解に適用し、$k$ 個の葉を持つ出木の存在を確認する。
• すべての可能な根 $r$ を走査し、不要な弧を削除した $D'$ に対してアルゴリズムを適用することで、正しさを保証する。

実験結果

リサーチクエスチョン

• RQ1 有向グラフのすべてのクラスに対して、有向スパニングkリーフ問題がFPT時間で解けるだろうか。特に、有環的や強い連結性を持つような特殊クラスに限らない。
• RQ2 大きな出木が存在しないことと、低幅のパス分解が存在することを結びつける構造的特徴づけは存在するだろうか。
• RQ3 無向グラフで用いられる動的計画法のアプローチは、有向グラフの文脈で、有界幅のパス分解を用いて適応可能だろうか。
• RQ4 出木における1-最適性の性質は、この問題に対する構成的FPTアルゴリズムを可能にするだろうか。

主な発見

• この論文は、すべての有向グラフにおいて有向スパニングkリーフ問題が固定パrameter tractableであることを確立しており、実行時間は $2^{O(k^3 \tau k)} \cdot n^{O(1)}$ である。
• 新しい構造的補題により、$k$ 個の葉を持つ出木が存在せず、現在の1-最適出木の葉数が $k$ 未満である場合、幅最大 $6k^3$ のパス分解が存在することが示された。
• パス分解は頂点の高さと後退弧集合 $\mbox{HB}_D^T(x,l)$ を用いて構築され、各頂点について連続するバッグに含まれることを保証する。
• パス分解における動的計画法ステップにより、$k$ 個の葉を持つ出木の存在が時間 $2^{O(k^3 \tau k)} \cdot n$ で正しく同定可能である。
• アルゴリズムは構成的である：$k$ 個の葉を持つ出木の存在の証明は、多項式時間の構成アルゴリズムに変換可能である。
• この結果は、2005年にマイケル・フェローズが提起した未解決問題を解決し、従来の制限付きグラフクラスに限ったFPT結果を、一般の有向グラフにまで拡張した。