[論文レビュー] Exponential lower bounds on the size of approximate formulations in the natural encoding for Capacitated Facility Location

Stavros G. Kolliopoulos, Yannis Moysoglou|arXiv (Cornell University)|Dec 6, 2013

Complexity and Algorithms in Graphs参考文献 5被引用数 5

ひとこと要約

この論文は、自然なエンコーディングを用いて、メトリック容量制約付き施設配置問題（CFL）の線形計画緩和に対する指数的下界を確立する。特定のコスト関数の下でほぼ最適な、指数的に多くの分数解からなる族を構築することで、定数の整数性ギャップを有するいかなる緩和も指数的多数の制約を必要とすることを証明する。これにより、構造的・対称性に関する仮定なしに、自然エンコーディング下での多項式サイズの定式化は不可能であることが示される。

ABSTRACT

The metric capacitated facility location is a well-studied problem for which, while constant factor approximations are known, no efficient relaxation with constant integrality gap is known. The question whether there is such a relaxation is among the most important open problems of approximation algorithms \cite{ShmoysWbook}. In this paper we show that, if one is restricted to linear programs that use the natural encoding for facility location, at least an exponential number of constraints is needed to achieve a constant gap. Our proof does not assume any special property of the relaxation such as locality or symmetry.

研究の動機と目的

• メトリック容量制約付き施設配置問題に対して、定数の整数性ギャップを有する多項式サイズの線形計画緩和が存在するかどうかという長年の未解決問題を解消すること。
• 施設開設およびクライアント割り当て変数の自然エンコーディングに制限した場合、このような緩和が不可能であることを示すこと。
• 制約に対称性、局所性、階層構造に関する仮定を一切せずに、無条件の下界を提供すること。
• 与えられたギャップ品質 g に対して、近似定式化へのカウンティングベースの議論の適用を拡張すること。
• CFLにおける整数解の凸包への属性を確認するという課題を、独創的な確率的フレームワークを用いて克服すること。

提案手法

• 次元 n でパrameter化されたインスタンス族を構築し、[0,1]^n 内に指数的多数の分数解からなるコア集合を定義する。
• 各コア解 s_k,l が対応するコストベクトルの下で o(OPT) のコストを持つようにコスト関数を定義し、分数解でありながらほぼ最適であることを保証する。
• 分数解から整数解を生成するための確率的ラウンディング手順を用い、期待値が分数ベクトルと一致することを保証する。
• 和集合の上限を用いた議論により、任意の有効な不等式が、高々 2^{-Ω(n log n)} のコア解の割合を破壊できることを証明する。
• 2つの異なる分数解の対称的凸結合を用いて、変数全体に一貫性を持つ新たな解を凸包内に構築する。
• 衝突確率および違反確率に基づくカウンティング議論を適用し、すべての問題的分数解を除外するには指数的多数の制約が必要であることを示す。

実験結果

リサーチクエスチョン

• RQ1 自然エンコーディングを用いたメトリック容量制約付き施設配置問題に対して、定数の整数性ギャップを有する多項式サイズの線形計画緩和を構築することは可能か？
• RQ2 対称性や局所性といった構造的仮定がなくても、自然エンコーディングのLPの表現力に根本的な制限は存在するか？
• RQ3 CFLに対して定数の整数性ギャップを達成するための近似定式化に必要な最小制約数は何か？
• RQ4 カウンティングベースの議論を、正確な緩和を超えて、与えられたギャップ品質 g に対する近似定式化のサイズに一般化できるか？
• RQ5 CFLの文脈において、分数解が整数解の凸包に属するかどうかをどのように確認できるか？

主な発見

• 自然エンコーディングを用いたメトリックCFLの線形計画緩和が定数の整数性ギャップを達成するためには、少なくとも 2^{Ω(n log n)} 個の制約が必要である。
• 下界は、対称性、局所性、階層レベルに関する仮定を一切必要とせず、無条件に成立する。
• 証明は、特定のコスト関数の下でほぼ最適な分数解の族を構築し、それらの点が緩和によって除外されなければならないことを示している。
• 特定の分数解が整数解の凸包に属することを確認するための確率的ラウンディングフレームワークが用いられ、カウンティング議論の実行を可能にしている。
• この手法は、g = o(n) であっても指数的サイズが必要であることを示す近似定式化に適用可能である。
• CFLに対する効率的LP緩和の存在に対する強力な否定的証拠を提供しており、近似アルゴリズム分野における主要な未解決問題である。