[論文レビュー] Tight Bounds and Faster Algorithms for Directed Max-Leaf Problems

Paul Bonsma, Frederic Dorn|ArXiv.org|Apr 12, 2008

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

ひとこと要約

本稿では、有向最大葉出ツリーおよび最大葉出ブルーニング問題に対する固定パラメータ可 tractable (FPT) アルゴリズムを提示し、時間計算量 $2^{O(kackslash\log k)} \cdot n^{O(1)}$ を達成した。これは従来の境界を改善するものである。主な貢献は、無用な弧を含まない有向グラフにおいて、出ブルーニングにおける最大の葉数が、任意の出ツリーにおける最大の葉数の1/3以上であることを示す組合せ的境界の確立であり、これが効率的なアルゴリズム設計を可能にする。

ABSTRACT

An out-tree $T$ of a directed graph $D$ is a rooted tree subgraph with all arcs directed outwards from the root. An out-branching is a spanning out-tree. By $l(D)$ and $l_s(D)$ we denote the maximum number of leaves over all out-trees and out-branchings of $D$, respectively. We give fixed parameter tractable algorithms for deciding whether $l_s(D)\geq k$ and whether $l(D)\geq k$ for a digraph $D$ on $n$ vertices, both with time complexity $2^{O(k\log k)} \cdot n^{O(1)}$. This improves on previous algorithms with complexity $2^{O(k^3\log k)} \cdot n^{O(1)}$ and $2^{O(k\log^2 k)} \cdot n^{O(1)}$, respectively. To obtain the complexity bound in the case of out-branchings, we prove that when all arcs of $D$ are part of at least one out-branching, $l_s(D)\geq l(D)/3$. The second bound we prove in this paper states that for strongly connected digraphs $D$ with minimum in-degree 3, $l_s(D)\geq Θ(\sqrt{n})$, where previously $l_s(D)\geq Θ(\sqrt[3]{n})$ was the best known bound. This bound is tight, and also holds for the larger class of digraphs with minimum in-degree 3 in which every arc is part of at least one out-branching.

研究の動機と目的

• 有向グラフにおける $k$-葉出ツリーおよび $k$-葉出ブルーニング問題に対する、より高速な固定パラメータ可 tractable (FPT) アルゴリズムの開発。
• 特に、パrameter関数を $2^{O(k^3\backslash\log k)}$ から $2^{O(k\backslash\log k)}$ に低減することで、既存のFPT時間計算量を改善すること。
• 最小入次数3の強連結有向グラフにおける出ブルーニングの葉数に対するタイトな組合せ的下界の確立。
• 無用な弧のない有向グラフにおける比 $\ell(D)/\ell_s(D)$ を分析し、それが3以下であることを示し、アルゴリズムの効率を向上させること。

提案手法

• ツリー分解と頂点彩色技術を用いた動的計画法に基づくFPTアルゴリズムを設計し、出ツリー構造を探索する。
• パス上の頂点を木の葉にマッピングする手法を導入し、各葉の前像数を制限することで、1つの葉あたり最大3つの前像が存在することを保証する。
• 無用な弧を含まない有向グラフにおいて $\ell_s(D) \geq \ell(D)/3$ を証明し、出ブルーニング問題を損失が有界な出ツリー問題に還元可能であることを示す。
• 木 $T_p$ 内のパス $P$ の段階的構築を用いて、$P$ の少なくとも $p/4$ 個の頂点が葉になることを示し、葉数の下界を得る。
• 緑/白/葉頂点の彩色スキームを用いて、アルゴリズムの各段階における構造的変化を追跡し、葉数の正しさを保証する。
• 有環または強連結な有向グラフでは、$k$ 個の葉をもつ出ツリーを出ブルーニングに拡張可能であるという事実を活用し、共通のアルゴリズムフレームワークを構築する。

実験結果

リサーチクエスチョン

• RQ1 FPTアルゴリズムの $k$-葉出ブルーニング問題のパrameter関数は、$2^{O(k^3\backslash\log k)}$ を超えて改善可能か？
• RQ2 無用な弧のない有向グラフにおける比 $\ell(D)/\ell_s(D)$ のタイトな上界は何か？
• RQ3 無向グラフにおける $c^k$（$c=6.75$）と同様に、有向最大葉問題に対して $2^{O(k)}$ 時間のFPTアルゴリズムを達成することは可能か？
• RQ4 最小入次数3の強連結有向グラフにおける $\ell_s(D)$ の最良の下界は何か？
• RQ5 出ブルーニングにおける葉数の下界における係数 $1/4$ を改善することは可能か？

主な発見

• 本稿では、$k$-葉出ツリーに対するFPTアルゴリズムを、時間計算量 $2^{O(k\backslash\log k)} \cdot n^{O(1)}$ で達成し、従来の $2^{O(k\backslash\log^2 k)}$ の境界を改善した。
• また、$k$-葉出ブルーニングに対しても、$2^{O(k\backslash\log k)} \cdot n^{O(1)}$ 時間で実行可能なFPTアルゴリズムを提示した。これは、従来の $2^{O(k^3\backslash\log k)}$ の計算量を改善するものである。
• 無用な弧を含まないすべての有向グラフにおいて $\ell_s(D) \geq \ell(D)/3$ が成り立つことが証明され、出ツリーと出ブルーニングの間の重要な構造的リンクが得られた。
• 最小入次数3の強連結有向グラフにおいては $\ell_s(D) \geq \Theta(\sqrt{n})$ が成り立ち、これはタイトであり、従来の $\Theta(\sqrt[3]{n})$ の境界を改善する。
• 最小入次数3で、すべての弧が少なくとも1つの出ブルーニングに含まれる有向グラフに対しても、$\ell_s(D) \geq \Theta(\sqrt{n})$ の下界が成り立つ。
• 解析により、構築された木の各葉は、頂点パスに対して最大3つの前像を持つことが示され、これが $p/4$ の葉数下限の導出に用いられた。