[論文レビュー] Better Algorithms and Bounds for Directed Maximum Leaf Problems

Noga Alon, Fedor V. Fomin+3 more|ArXiv.org|Jul 7, 2007

Advanced Graph Theory Research参考文献 12被引用数 4

ひとこと要約

本稿では、強い連結な有向グラフにおける有向最大葉出木問題について、改善されたアルゴリズムと組合せ的境界を提示する。局所探索とパス幅に基づく構造的解析を活用することで、少なくとも $k$ 枚の葉を持つ出木の検出に $2^{O(kackslash\log^2 k)} \cdot n^{O(1)}$ の実行時間で対応でき、最小入次数3の強い連結有向グラフは、$(n/4)^{1/3} - 1$ 枚以上の葉を持つ出木を含むことを証明する。

ABSTRACT

The {\sc Directed Maximum Leaf Out-Branching} problem is to find an out-branching (i.e. a rooted oriented spanning tree) in a given digraph with the maximum number of leaves. In this paper, we improve known parameterized algorithms and combinatorial bounds on the number of leaves in out-branchings. We show that \begin{itemize} \item every strongly connected digraph $D$ of order $n$ with minimum in-degree at least 3 has an out-branching with at least $(n/4)^{1/3}-1$ leaves; \item if a strongly connected digraph $D$ does not contain an out-branching with $k$ leaves, then the pathwidth of its underlying graph is $O(k\log k)$; \item it can be decided in time $2^{O(k\log^2 k)}\cdot n^{O(1)}$ whether a strongly connected digraph on $n$ vertices has an out-branching with at least $k$ leaves. \end{itemize} All improvements use properties of extremal structures obtained after applying local search and of some out-branching decompositions.

研究の動機と目的

• 強い連結な有向グラフにおける有向最大葉出木問題の、より高速な固定パラメータ tractable（FPT）アルゴリズムの開発。
• 最小入次数3の強い連結有向グラフの出木における葉の数のより緊密な下界の確立。
• 出木における葉の数と、対応する無向グラフのパス幅との関係の解明。
• 構造的分解を用いて、有環および一般の有向グラフへのアルゴリズム的結果の拡張。

提案手法

• 部分木の再構成により葉数を増加させる反復的改善手法を用いて、候補となる出木を改善する局所探索技術の採用。
• 出木の $\beta$-分解に基づく、構造的複雑性を制限する新しい木分解アプローチの導入。
• 有向グラフの対応する無向グラフのパス幅分析を用いて、パrameterized実行時間の境界を導出。
• 各層に位置するノードが誘導する部分グラフのパス幅を制限する再帰的パス分解の議論の構築。
• $k$ 枚の葉を持つ出木が存在しない場合、対応するグラフのパス幅が $O(k\log k)$ であるという性質を活用し、アルゴリズム設計を導く。
• 頂点 $v$ から到達可能な部分有向グラフ $D_v$ を用いた $\ell(D) = \max_v \ell_s(D_v)$ の恒等式を用いて、有向グラフのクラスを強連結有向グラフから有環有向グラフおよび一般の有向グラフへ拡張。

実験結果

リサーチクエスチョン

• RQ1 最小入次数3の強い連結有向グラフの出木における葉数の最良の下界は何か？
• RQ2 有向最大葉出木問題のパラメータ化された複雑性を、以前の $k$ に関する指数的依存性を超えて改善できるか？
• RQ3 対応する無向グラフのパス幅は、$k$ 枚の葉を持つ出木の存在とどのように関係するか？
• RQ4 強連結有向グラフに対して開発されたアルゴリズム的手法を一般の有向グラフへ拡張できるか？
• RQ5 $\Omega(n^{1/3})$ の葉数下界はタイトか、それとも $r > 1/3$ に対して $\Omega(n^r)$ に改善可能か？

主な発見

• 最小入次数が3以上であるサイズ $n$ の任意の強い連結有向グラフは、$(n/4)^{1/3} - 1$ 枚以上の葉を持つ出木を含む。
• 強い連結有向グラフが $k$ 枚の葉を持つ出木を含まない場合、その対応する無向グラフのパス幅は $O(k\log k)$ である。
• 強連結有向グラフにおける $k$-DMLOB 問題は、$2^{O(k\log^2 k)} \cdot n^{O(1)}$ 時間で解ける。これは以前の $2^{O(k^2\log k)} \cdot n^{O(1)}$ の境界を改善する。
• 有環有向グラフでは、問題が $2^{O(k\log k)} \cdot n^{O(1)}$ 時間で解ける。これは強連結の場合よりも高速である。
• 同じ漸近的実行時間で、一般の有向グラフに対しても $k$-DMLOT 問題（最大葉出木）の結果が拡張可能である。
• 最小入次数3の強い連結有向グラフの例として、すべての出木が高々 $O(\sqrt{n})$ 枚の葉しか持たないものが存在し、$n^{1/3}$ の境界が最悪ケースではタイトでないことを示している。