[論文レビュー] FPT Algorithms and Kernels for the Directed $k$-Leaf Problem

Jean Daligault, Gregory Gutin+2 more|ArXiv.org|Oct 27, 2008

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

ひとこと要約

本稿では、有向 $k$-リーフ問題に対するより高速な固定パラメータ tractable (FPT) アルゴリズムを提示し、実行時間を $4^k \cdot n^{O(1)}$ から $3.72^k \cdot n^{O(1)}$ に短縮した。また、無閉路有向グラフに制限されたルート付きバージョンに対して $O(k)$ サイズのカーネルを導入した。主な貢献は、指数的要因の顕著な改善であり、$\gamma < 2$ である $O(\gamma^n)$ 時間のアルゴリズムを初めて得ることで、有向最大リーフ問題における指数的時間パラメータ化アルゴリズムの最先端を前進させた。

ABSTRACT

A subgraph $T$ of a digraph $D$ is an {\em out-branching} if $T$ is an oriented spanning tree with only one vertex of in-degree zero (called the {\em root}). The vertices of $T$ of out-degree zero are {\em leaves}. In the {\sc Directed $k$-Leaf} Problem, we are given a digraph $D$ and an integral parameter $k$, and we are to decide whether $D$ has an out-branching with at least $k$ leaves. Recently, Kneis et al. (2008) obtained an algorithm for the problem of running time $4^{k}\cdot n^{O(1)}$. We describe a new algorithm for the problem of running time $3.72^{k}\cdot n^{O(1)}$. In {\sc Rooted Directed $k$-Leaf} Problem, apart from $D$ and $k$, we are given a vertex $r$ of $D$ and we are to decide whether $D$ has an out-branching rooted at $r$ with at least $k$ leaves. Very recently, Fernau et al. (2008) found an $O(k^3)$-size kernel for {\sc Rooted Directed $k$-Leaf}. In this paper, we obtain an $O(k)$ kernel for {\sc Rooted Directed $k$-Leaf} restricted to acyclic digraphs.

研究の動機と目的

• 有向 $k$-リーフ問題の実行時間におけるギャップを埋め、従来の $4^k \cdot n^{O(1)}$ 界より高速な FPT アルゴリズムを達成すること。
• 従来の $O(k^3)$ カーネルよりも優れた $O(k)$ サイズのカーネルを、無閉路有向グラフにおけるルート付き有向 $k$-リーフ問題に構築すること。
• 有向最大リーフ問題に対して $\gamma < 2$ である $O(\gamma^n)$ 時間のアルゴリズムを初めて提供することにより、指数的時間パラメータ化アルゴリズム分野の最先端を前進させること。
• 構造的削減とバイドミネーティング集合技術を用いて、$k$-アウトブランチの存在を保つように有向グラフを単純化すること。
• リーフ制約付きの有向スパニングツリー問題におけるカーネル化とパラメータ化複雑性の理解を深めること。

提案手法

• 分岐要因を 4 よりも下げる refined 分岐戦略を設計し、実行時間を $3.72^k \cdot n^{O(1)}$ に抑える有向 $k$-リーフ問題の新しい FPT アルゴリズムを提案。
• 入次数 1 および出次数 1 の頂点を収縮または削除することで、無閉路有向グラフを単純化する削減規則 (A および B) を適用し、$k$-アウトブランチの存在を保つ。
• 単純化された有向グラフから導出される二部グラフ上でバイドミネーティング集合問題に問題を変換し、グリーディ近似境界の利用を可能にする。
• グリーディ被覆アルゴリズムを用いてバイドミネーティング集合のサイズを制限し、無閉路有向グラフに対して $O(k)$ のカーネルサイズ境界を導出。
• 単純化された有向グラフ $D^*$ が $n^* \geq 6.6(k+2)$ 個の頂点を持つ場合、必ず $k$-アウトブランチを含むことを証明し、線形カーネルサイズの境界を確立。
• 一意なソースを持つことにより、ルート付き有向 $k$-リーフ問題と有向 $k$-リーフ問題が等価であることを活用し、ルート付きバージョンにおけるカーネル化を可能にする。

実験結果

リサーチクエスチョン

• RQ1 有向 $k$-リーフ問題の実行時間を $4^k \cdot n^{O(1)}$ よりも下回ることは可能か？
• RQ2 無閉路有向グラフにおけるルート付き有向 $k$-リーフ問題に対して線形サイズのカーネルが存在するか？
• RQ3 有向最大リーフ問題に対して $\gamma < 2$ である $O(\gamma^n)$ 時間のアルゴリズムを達成することは可能か？
• RQ4 無閉路有向グラフにおける構造的削減は、$k$-アウトブランチの存在を保ちつつインスタンスを単純化できるか？
• RQ5 バイドミネーティング集合技術は、有向グラフにおけるパラメータ化問題に効果的に適用可能か？

主な発見

• 本稿では、実行時間が $3.72^k \cdot n^{O(1)}$ である有向 $k$-リーフ問題の FPT アルゴリズムを提示し、従来の $4^k \cdot n^{O(1)}$ 界を改善した。
• 無閉路有向グラフに制限されたルート付き有向 $k$-リーフ問題に対して、$O(k)$ サイズのカーネルが構築され、従来の $O(k^3)$ カーネルを上回った。
• $\gamma \approx 1.9973$ である $O(\gamma^n)$ 時間のアルゴリズムを新たに得ることで、$\gamma < 2$ である有向最大リーフ問題に対する初めてのこのようなアルゴリズムを達成した。
• 解析により、単純化された有向グラフ $D^*$ が $6.6(k+2)$ 個以上の頂点を持つ場合、必ず $k$-アウトブランチを含むことが示された。これにより、線形カーネルサイズの境界が確立された。
• 削減規則 (A および B) が $k$-アウトブランチの存在を保つことが証明され、無閉路有向グラフの安全な単純化が可能となった。
• バイドミネーティング集合フレームワークを効果的に適用し、グリーディ近似境界を活用してカーネルサイズを制限し、線形カーネルを導出できた。