[論文レビュー] A Polynomial Kernel For Multicut In Trees

Nicolás Bousquet, Jean Daligault+2 more|ArXiv.org|Feb 6, 2009

Graph theory and applications被引用数 4

ひとこと要約

本稿では、Multicut in Trees 問題に対する $O(k^6)$ の多項式カーネルを提示し、この問題が多項式カーネルを有するかどうかという未解決の問題を解決した。著者らは、リクエストの非交差性、方向性、包含関係、共通要因、支配的翼長（wingspan）に基づく安全な簡約規則のセットを設計し、解を保持しながらインスタンスを繰り返し簡略化することで、カーネルサイズを $k$ の多項式に保証した。この結果により、Multicut in Trees が多項式カーネルを有する固定パラメータ可 tractable（FPT）であることが確認され、以前に知られていた指数的カーネルよりも改善された。

ABSTRACT

The MULTICUT IN TREES problem consists in deciding, given a tree, a set of requests (i.e. paths in the tree) and an integer k, whether there exists a set of k edges cutting all the requests. This problem was shown to be FPT by Guo and Niedermeyer. They also provided an exponential kernel. They asked whether this problem has a polynomial kernel. This question was also raised by Fellows. We show that MULTICUT IN TREES has a polynomial kernel.

研究の動機と目的

• Guo と Niedermeier が提起した、および後に Fellows が再提起した、Multicut in Trees 問題が多項式カーネルを有するかどうかという未解決問題を解明すること。
• パラメータ $k$ に対してインスタンスサイズを多項式にまで縮小する解を保持する安全な簡約規則のセットを設計すること。
• カーブレットツリーにおけるカーネル化技術を、翼長（wingspan）や内部パスの支配関係といった構造的性質を用いて、一般の木へと拡張すること。
• 多項式時間で計算可能であり、かつ縮小されたインスタンスサイズが $k$ の多項式で有界であるような構成的カーネル化アルゴリズムを提供すること。

提案手法

• 固定順序で適用される6つの安全な簡約規則（Unit Request, Disjoint Requests, Unique Direction, Inclusion, Common Factor, Dominating Wingspan）の逐次適用。
• 準 $R$-近傍間のパス（翼長）の概念を用い、$L_2$-葉に関連する辺を特定・収縮することで、多くの端点非交差リクエストを支配するものを特定する。
• 内部パスに基づくリクエスト間の支配関係を定義：リクエスト $R_1$ が $R_2$ を支配するとは、$R_1$ の内部パスが $R_2$ の内部パスを含むこと。
• すべてのリクエストが同じ方向を持つ、または他のリクエストに包含されるノードから出る辺を収縮する際、マルチカットの可能性を保持するように処理する。
• 内部ツリーがパスであるカーブレット（caterpillar）の構造を用いて直感を得た後、一般の木へと一般化する。
• 各簡約規則が多項式時間で計算可能であり、$k$ に対して多項式の回数だけ規則が適用されることを保証する。

実験結果

リサーチクエスチョン

• RQ1 Multicut in Trees 問題が、既に FPT であり指数的カーネルを持つことが知られているにもかかわらず、多項式カーネルを有するかどうか？
• RQ2 リクエストの包含関係、非交差性、方向的一致性に基づく簡約規則を用いて、$k$ に対して多項式サイズに安全にインスタンスを縮小できるか？
• RQ3 カーブレットの構造的性質（翼長、内部パスの支配関係）を一般の木へと一般化し、カーネル化を達成できるか？
• RQ4 解を保持し、かつカーネルサイズを $O(k^6)$ に有界にする多項式時間で計算可能な簡約規則の集合が存在するか？

主な発見

• 本稿では、Multicut in Trees が $O(k^6)$ の多項式カーネルを有することを確立し、パラメータ化計算複雑性における未解決問題を解決した。
• カーネルは、解を保持し、$k$ に対して多項式サイズにまでインスタンスサイズを縮小する6つの安全な簡約規則の逐次適用によって構築された。
• 簡約規則は固定順序で適用され、多項式時間で計算可能であり、カーネル化プロセスの効率性が保証された。
• 主な洞察は、冗長な葉や辺を安全に収縮できるようにするための翼長と支配関係の使用にある。
• 結果は重みなしの場合に成立する。著者らは、彼らの手法が重み付きバージョンの問題へは拡張できないと指摘している。
• 証明はまずカーブレットに対して展開され、その後一般の木へと一般化された。これにより、簡約規則の堅牢性が示された。