[論文レビュー] On Multiway Cut parameterized above lower bounds

Marek Cygan, Marcin Pilipczuk+2 more|arXiv (Cornell University)|Jul 8, 2011

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

ひとこと要約

本稿では、ノードマルチウェイカット問題が、最大分離カットのサイズおよび自然な線形計画法（LP）緩和の最適値という2つの自然な下界以上にパラメータ化された場合の固定パrameter tractability（FPT）を確立する。LP緩和の半整数解と高度な分離集合技術を活用することで、頂点被覆の最大マッチング上での問題とほぼ2-SAT問題に対しては $O^{*}(4^k)$ アルゴリズムを、ノードマルチウェイカット問題に対しては $O^{*}(2^k)$ アルゴリズムを達成し、従来の境界を改善した。

ABSTRACT

In this paper we consider two above lower bound parameterizations of the Node Multiway Cut problem - above the maximum separating cut and above a natural LP-relaxation - and prove them to be fixed-parameter tractable. Our results imply O*(4^k) algorithms for Vertex Cover above Maximum Matching and Almost 2-SAT as well as an O*(2^k) algorithm for Node Multiway Cut with a standard parameterization by the solution size, improving previous bounds for these problems.

研究の動機と目的

• ノードマルチウェイカット問題の下界上でのパラメータ化された複雑性を研究すること、特に最大分離カットとLP緩和コストの下界について。
• 新しいパラメータ化を導入することで、最大マッチング上での頂点被覆問題とほぼ2-SAT問題に対する既存のアルゴリズムを改善すること。
• LPに基づくパラメータ化が、標準的な解のサイズパラメータ化よりも優れたFPTアルゴリズムをもたらすかどうかを検討すること。
• LP解と半整数構造の可能性を活用して、グラフ分離問題に対する効率的なFPTアルゴリズムの設計を検討すること。

提案手法

• 最大分離カットのサイズ以上にノードマルチウェイカットをパラメータ化し、多項式時間で下界を計算するための最大フロー技術を用いる。
• 多項式時間で解けるLP緩和の最適値を下界として用い、その2近似性質を活用する。
• LP緩和の半整数解の概念を、FPTアルゴリズムの設計を導くために応用する。
• LPに基づく構造的洞察を統合した、強化された重要な分離集合の改良版を導入・利用する。
• Multicoloured Independent Setの帰着を構築することで、LP下界以上にパラメータ化した場合の問題のNP困難性を証明する。
• カーネル化と反復圧縮技術を用いて、解のサイズを下界に対して束縛する。

実験結果

リサーチクエスチョン

• RQ1 ノードマルチウェイカット問題は、最大分離カットサイズ以上にパラメータ化した場合に固定パラメータ可 tractable（FPT）であるか？
• RQ2 そのLP緩和の最適値以上にパラメータ化した場合、問題は効率的に解けるか？
• RQ3 LP緩和の半整数解を用いることで、標準的パラメータ化と比較してFPTアルゴリズムが改善されるか？
• RQ4 LP下界以上にパラメータ化することは、分離問題におけるより緊密な複雑性境界を得るために有用か？
• RQ5 LPに基づくパラメータ化は、有向フィードバック頂点集合問題のような他のFPT問題へ拡張可能か？

主な発見

• ノードマルチウェイカット問題は、最大分離カットサイズ以上にパラメータ化した場合にFPTであり、$O^{*}(4^k)$ アルゴリズムが得られる。
• 問題は、LP緩和コスト以上にパラメータ化した場合にもFPTであり、関連問題に対するより優れたアルゴリズムが得られる。
• パラメータが0の場合にLP下界以上にパラメータ化した問題がNP困難であることが示され、このパラメータ化が非自明で意味のあるものであることが裏付けられる。
• 半整数LP解の使用により、従来の分離集合手法のみに依存する場合よりも強力なアルゴリズム設計が可能になる。
• 結果として、最大マッチング上での頂点被覆問題とほぼ2-SAT問題に対して $O^{*}(4^k)$ アルゴリズムが得られ、従来の境界を改善した。
• LP緩和以上にパラメータ化したマルチカットのエッジ削除版はおそらく困難であるため、このアプローチがすべてのカット問題に拡張可能とは限らないことが示唆される。