[論文レビュー] Large Isolating Cuts Shrink the Multiway Cut

Igor Razgon|arXiv (Cornell University)|Apr 28, 2011

Complexity and Algorithms in Graphs被引用数 8

ひとこと要約

本稿では、パラメータ $k$ が最小の分離カットサイズ $r$ よりも $O(\log k)$ 以内に大きい場合に、多路カットインスタンスのサイズを削減する前処理アルゴリズムを提示する。このクラスに対して多項式カーネル化を達成する。手法は重要な分離カットの和集合とターミナル削減に依存し、実行時間は $2^{k-r}$ に依存する。これは、多路カット問題に対する無条件的多項式カーネル化への最初の進展を示している。

ABSTRACT

We propose a preprocessing algorithm for the multiway cut problem that establishes its polynomial kernelizability when the difference between the parameter $k$ and the size of the smallest isolating cut is at most $log(k)$. To the best of our knowledge, this is the first progress towards kernelization of the multiway cut problem. We pose two open questions that, if answered affirmatively, would imply, combined with the proposed result, unconditional polynomial kernelizability of the multiway cut problem.

研究の動機と目的

• 多路カット問題が多項式カーネルをもつかどうかという長年の未解決問題に取り組む。
• パラメータ $k$ が最小の分離カットサイズ $r$ に非常に近い、特に $k - r \leq \log k$ の場合に、インスタンスを縮小する前処理アルゴリズムを開発する。
• 重要な分離集合と孤立カットに関する構造的洞察を提供し、将来的なカーネル化を可能にする。
• 2つの未解決の問題を特定・提示し、これらが肯定的に解決されれば、多路カット問題の無条件的多項式カーネル化が示されることを示唆する。

提案手法

• 比2の近似アルゴリズムと、ターミナル成分への高次元接続に基づく頂点削除を用いて、ターミナル数を $2k(k+1)$ 以下に削減する。
• 各ターミナルに対して、サイズが $k$ 以下のすべての重要な孤立カットの和集合を計算する。これは $X$-$Y$ 分離集合に関する組合せ定理に依存する。
• すべてのサイズが $r + x$ 以下の重要な $X$-$Y$ 分離集合の和集合のサイズは $2^{x+1}r$ 以下であるという定理を適用する。実行時間は $O(n^3 2^x r^2 (r+x)^2)$ である。
• 解の同値性を保つようにグラフを収縮し、最適解のサイズが変化しないようにする。
• 列挙コストを制限するために「主な重要な分離集合」の概念を用いるが、その数がまだ多項式的に束縛されていない。
• 2段階のカーネル化パイプラインを提案する：まずターミナル削減とカット和集合の計算によりインスタンスを縮小し、次に主なカットをフィルタリングしてさらなる圧縮を図る。

実験結果

リサーチクエスチョン

• RQ1 主な重要な孤立カットの数は $n$ に対して多項式的に束縛可能か？
• RQ2 前処理アルゴリズムの出力をさらに多項式時間で圧縮し、$k$ に対して多項式サイズのカーネルを得られるか？
• RQ3 多路カット問題における構造的依存関係により、非本質的孤立カットを効率的にフィルタリングできるか？
• RQ4 任意の固定定数 $c$ に対して、$k - r \leq c\log k$ のとき、多路カット問題は多項式的カーネル化可能か？

主な発見

• アルゴリズムはサイズ $O(2^{k-r} r k^2)$ の同値インスタンスを生成し、実行時間は $O(A(n) + 2^{k-r} n^3 r^2 k^4)$ である。ここで $A(n)$ は [6] からの近似アルゴリズムの実行時間である。
• 任意の固定定数 $c$ に対して、$k - r \leq c \log k$ のとき、インスタンスサイズが $k$ に対して多項式的になるため、問題は多項式的カーネル化可能である。
• 縮小されたグラフの頂点数は $|T|(2^{k-r}r + 1)$ 以下であり、$|T|$ は事前処理により $2k(k+1)$ 以下に削減される。
• サイズが $k$ 以下のすべての重要な孤立カットの和集合に解が含まれる場合があるため、前処理アプローチが正当化される。
• 本手法は重要な分離集合に関する新しい構造的洞察を提供し、サイズが有界な範囲での和集合が過剰分 $k - r$ に対して指数的に小さくなることを示している。
• 提案されたアルゴリズムは、2つの未解決問題が肯定的に解決されれば、無条件的多項式カーネル化への最初の可能性を示す。