[論文レビュー] Improved approximation for 3-dimensional matching via bounded pathwidth local search

Marek Cygan|arXiv (Cornell University)|Apr 4, 2013

Advanced Graph Theory Research参考文献 24被引用数 11

ひとこと要約

本稿では、有界パス幅を持つ入れ替えを用いた、3次元マッチング問題のための新しい局所探索アルゴリズムを提示する。この手法により、$4/3 + \epsilon$ の近似比を達成する多項式時間近似が可能となり、従来の $3/2 + \epsilon$ よりも優れている。このアプローチは、色分け技法と有界パス幅構造上の動的計画法を活用し、全探索を避けながら改善可能な集合を効率的に探索する。

ABSTRACT

One of the most natural optimization problems is the k-Set Packing problem, where given a family of sets of size at most k one should select a maximum size subfamily of pairwise disjoint sets. A special case of 3-Set Packing is the well known 3-Dimensional Matching problem. Both problems belong to the Karp`s list of 21 NP-complete problems. The best known polynomial time approximation ratio for k-Set Packing is (k + eps)/2 and goes back to the work of Hurkens and Schrijver [SIDMA`89], which gives (1.5 + eps)-approximation for 3-Dimensional Matching. Those results are obtained by a simple local search algorithm, that uses constant size swaps. The main result of the paper is a new approach to local search for k-Set Packing where only a special type of swaps is considered, which we call swaps of bounded pathwidth. We show that for a fixed value of k one can search the space of r-size swaps of constant pathwidth in c^r poly(|F|) time. Moreover we present an analysis proving that a local search maximum with respect to O(log |F|)-size swaps of constant pathwidth yields a polynomial time (k + 1 + eps)/3-approximation algorithm, improving the best known approximation ratio for k-Set Packing. In particular we improve the approximation ratio for 3-Dimensional Matching from 3/2 + eps to 4/3 + eps.

研究の動機と目的

• 既存の $k$-Set Packing の局所探索アルゴリズムが有界時間内に実行できないという制限を克服し、多項式時間で実行可能な代替手法を設計すること。
• 長年にわたり続く $3/2 + \epsilon$ の近似比を上回る、3次元マッチングの近似比を改善すること。
• 有界パス幅を持つ入れ替えという、新たな入れ替えのクラスを導入し、強力な近似保証を維持しながら効率的な探索を可能にすること。
• 有界パス幅を持つ $O(\log |\mathcal{F}|)$ サイズの入れ替えに関する局所探索の最大値が、$k$-Set Packing に対して $(k+1+\epsilon)/3$-近似を達成することを確立すること。
• すべての $r$-サイズの入れ替えに対する標準的な局所探索が、W[1] = FPT でない限り多項式時間で実行可能でないことを示し、有界パス幅のような構造的制約の必要性を正当化すること。

提案手法

• 入れ替えにおける集合の取り出し・追加の間の交差グラフのパス幅に基づき、有界パス幅を持つ入れ替えの概念を定義する。
• 定数 $c$ に対して、$c^r \cdot \text{poly}(|\mathcal{F}|)$ 時間で、有界パス幅を持つ改善可能な入れ替えの存在を効率的にサンプリングおよびテストするための色分け技法を用いる。
• パス分解に基づく動的計画法を適用し、そのような入れ替えの実行可能性と改善効果を時間制約内に検証する。
• 有界パス幅を持つ入れ替えのみを考慮する局所探索アルゴリズムの近似比を分析し、$O(\log |\mathcal{F}|)$ サイズの入れ替えに関する局所最大値が $(k+1+\epsilon)/3$-近似を達成することを示す。
• すべての $r$-サイズの入れ替えを列挙することは、W[1] = FPT でない限り多項式時間で実行可能でないことを証明し、有界パス幅を構造的制約として用いる正当性を示す。
• Multicolored Clique 問題への帰着を用いて、一般の $r$-サイズの入れ替え列挙が W[1]-難易度であることを示し、有界パス幅のような構造的制約の必要性を確立する。

実験結果

リサーチクエスチョン

• RQ1 3次元マッチングのための多項式時間局所探索アルゴリズムは、$3/2 + \epsilon$ よりも優れた近似比を達成できるか？
• RQ2 全 $r$-サイズの入れ替えを全列挙せずに、改善可能な集合を効率的に探索できる局所探索フレームワークを設計することは可能か？
• RQ3 有界パス幅を用いた入れ替えは、多項式実行時間と併せて、証明可能なより良い近似比を達成できるか？
• RQ4 $k$-Set Packing において、すべての $r$-サイズの入れ替えの探索の計算量的複雑さは何か？ そして、これを多項式時間で達成できるか？
• RQ5 局所探索最大値の分析を、定数でないサイズの入れ替えに、有界パス幅のような構造的制約を導入することで拡張し、近似保証を向上させることは可能か？

主な発見

• 本稿では、3次元マッチングに対して $4/3 + \epsilon$-近似を達成し、従来の $3/2 + \epsilon$ よりも優れた結果を得た。
• 有界パス幅を持つ $O(\log |\mathcal{F}|)$ サイズの入れ替えに関する局所探索最大値は、$k$-Set Packing に対して $(k+1+\epsilon)/3$-近似を達成する。
• 有界パス幅を持つ入れ替えは、定数 $c$ に対して $c^r \cdot \text{poly}(|\mathcal{F}|)$ 時間で探索可能であり、多項式時間近似を可能にする。
• すべての $r$-サイズの入れ替えを列挙する問題は W[1]-難易度であり、W[1] = FPT でない限り、$f(r) \cdot \text{poly}(|\mathcal{F}|)$ のアルゴリズムは存在しない。
• このフレームワークは3次元マッチングをはるかに超えて一般化可能であり、$k$-Median や制限付き Max-Min Fair Allocation などの他の問題においても、より良い近似が得られる可能性を示唆する。
• Multicolored Clique 問題への帰着により、一般の $r$-サイズの入れ替え列挙が多項式時間で実行可能でないことが示され、有界パス幅制約の正当性が裏付けられた。