[論文レビュー] Large Neighborhood Local Search for the Maximum Set Packing Problem

Maxim Sviridenko, Justin Ward|arXiv (Cornell University)|Feb 18, 2013

Optimization and Packing Problems被引用数 9

ひとこと要約

本稿では、最大 $k$-set パッキング問題に対する多項式時間の局所探索アルゴリズムを提示し、$(k+2)/3$ の近似保証を達成する。これは、色分け法と動的計画法を用いて、$\Theta(\log n)$ のサイズの構造的改善を効率的に探索することで実現される。また、$k/3$ のタイトな局所性ギャップを示し、指数時間の局所探索ですら、この境界を著しく超えることはできないことを示している。

ABSTRACT

In this paper we consider the classical maximum set packing problem where set cardinality is upper bounded by $k$. We show how to design a variant of a polynomial-time local search algorithm with performance guarantee $(k+2)/3$. This local search algorithm is a special case of a more general procedure that allows to swap up to $Θ(\log n)$ elements per iteration. We also design problem instances with locality gap $k/3$ even for a wide class of exponential time local search procedures, which can swap up to $cn$ elements for a constant $c$. This shows that our analysis of this class of algorithms is almost tight.

研究の動機と目的

• 最大 $k$-set パッキング問題に対する、$k/2$ の境界を上回る改善された近似保証を達成する多項式時間の局所探索アルゴリズムの設計。
• 固定パrameter可 tractability 技術を用いて、サイズ $\Theta(\log n)$ の大規模近傍を効率的に探索する仕組みの構築。
• 局所探索アルゴリズムの性能に関する既知の上界と下界のギャップを解消すること。
• いかなる局所探索アルゴリズムでさえ、指数時間の近傍サイズであっても $k/3$ を超える性能比を達成できないことを証明すること。

提案手法

• 現在のパッキング $\mathcal{A}$ と $\mathcal{A}$ に含まれない集合の間の衝突を表すために、多部グラフ $G_{\mathcal{A}}$ を用いる。
• 置換可能な集合数が $t-1$ 以下で、$t$ 個の新しい互いに素な集合に置き換え可能な、2つの閉路を持つ正規化された $t$-改善を探索する。
• 色分け法と動的計画法を用いて、$t = \Theta(\log n)$ に対しても多項式時間でこのような改善を同定する。
• サイズ $4\log n + 1$ の正規化された改善が存在しなくなるまで、改善を反復的に適用する。
• ランダムグラフモデルに基づく確率的解析を用いて、不安定な構成の期待数を抑え、良い解の存在を証明する。
• 線形サイズの改善が $k/3$ を超える改善を達成できないように構築されたインスタンスの族を用いて、局所性ギャップの下界を確立する。

実験結果

リサーチクエスチョン

• RQ1 多項式時間の局所探索アルゴリズムは、$k$-set パッキング問題において $k/2$ を上回る近似比を達成できるか？
• RQ2 サイズ $\Theta(\log n)$ の大規模近傍を効率的に探索することで、近似保証を向上させることは可能か？
• RQ3 いかなる局所探索アルゴリズムであっても、指数時間の近傍サイズを許容した場合、達成可能な最良の性能比は何か？
• RQ4 $(k+2)/3$ 近似を、多項式時間の手法を用いてさらに改善できるか？
• RQ5 最悪ケースにおいて、局所探索アルゴリズムの $k/3$ 局所性ギャップはどの程度タイトか？

主な発見

• 提案されたアルゴリズムは、最大 $k$-set パッキング問題に対して多項式時間で $(k+2)/3$-近似を達成する。
• 色分け法と動的計画法を用いて、$\Theta(\log n)$ サイズの正規化された改善を効率的に探索する。
• 最大 $cn$ 個の要素を交換可能なすべての局所探索アルゴリズムについて、局所性ギャップは少なくとも $k/3$ である。これは指数時間の手続きに対しても成り立つ。
• 解析はほぼタイトであり、$k/3$ の下界が指数時間の局所探索に対する最良の既知の近似比と一致する。
• 不安定な集合のサイズ $\leq t$ が存在しない解の存在を確率的補題を用いて証明し、アルゴリズムの正しさを保証する。
• $(k+1)/3$-近似が多項式時間で達成可能である可能性についての予想を提示するが、これにはより高度な技術が必要である。