[論文レビュー] LP-Based Algorithms for Capacitated Facility Location

Hyung-Chan An, Mohit Singh+1 more|arXiv (Cornell University)|Jul 11, 2014

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

ひとこと要約

この論文は、容量制約付き施設配置問題に対する定数倍の整数性ギャップを有する新しい線形計画緩和を提示し、長年の未解決問題を解決した。多品目フローと分数マッチング構造を活用することで、著者たちは定数倍近似を達成するLPラウンディングアルゴリズムを設計し、これまでローカルサーチに依存していた問題に強力なLPベースの手法を適用可能にした。

ABSTRACT

Linear programming has played a key role in the study of algorithms for combinatorial optimization problems. In the field of approximation algorithms, this is well illustrated by the uncapacitated facility location problem. A variety of algorithmic methodologies, such as LP-rounding and primal-dual method, have been applied to and evolved from algorithms for this problem. Unfortunately, this collection of powerful algorithmic techniques had not yet been applicable to the more general capacitated facility location problem. In fact, all of the known algorithms with good performance guarantees were based on a single technique, local search, and no linear programming relaxation was known to efficiently approximate the problem. In this paper, we present a linear programming relaxation with constant integrality gap for capacitated facility location. We demonstrate that the fundamental theories of multi-commodity flows and matchings provide key insights that lead to the strong relaxation. Our algorithmic proof of integrality gap is obtained by finally accessing the rich toolbox of LP-based methodologies: we present a constant factor approximation algorithm based on LP-rounding.

研究の動機と目的

• WilliamsonとShmoysの教科書における未解決問題5を解決すること。すなわち、LPベースの手法を用いて容量制約付き施設配置問題に対する定数倍近似を得ること。
• 容量制約付き施設配置問題に対して、定数倍の整数性ギャップを有する強力な線形計画緩和を構築すること。
• LPベースのアルゴリズム的手法（LPラウンディングやプライマル・デュアル法など）の適用範囲を、これまでそれらのアプローチに抵抗していた容量制約付きバージョンに拡張すること。
• 多品目フローと分数マッチング構造が、NP困難な組合せ最適化問題に対して強力な緩和をもたらす可能性を示すこと。

提案手法

• 著者たちは、クライアントの割り当てをフローパathでモデル化する多品目フロー定式化に基づいた、新しいLP緩和MFN-LPを導入する。
• クライアントと施設の間の二部グラフ上で分数マッチング $ g^\star $ を定義し、部分的割り当てと容量制約を捉える。
• 分数マッチングから残留ネットワーク $ H $ を構築し、未満たされたクライアントと到達可能な施設を特定することで、重要な部分集合 $ I_H $ と $ D_H $ を同定する。
• 容量制約と割り当て制約を満たすように、ラウンド処理をガイドするための妥当なフロー $ f $ を変更されたネットワーク上で計算する。
• ラウンド処理手順では、$ I $ に属する施設について $ \hat{y}_i = 1 $、$ S $ に属する施設について $ \hat{y}_i = 2y^\star_i $ を設定し、フローに基づく割合 $ \hat{x}_{ij} = d_j \cdot h(i,j)/h(S,j) $ を用いてクライアントを割り当てる。
• アルゴリズムは妥当性を確認し、総コストをLP最適値と比較することで、総コスト比がLP値の8倍以下であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 容量制約付き施設配置問題に対して、定数倍の整数性ギャップを有する線形計画緩和を構築することは可能か？
• RQ2 多品目フローと分数マッチング構造を用いて、この問題に対する強力でアルゴリズム的に有用なLP緩和を設計することは可能か？
• RQ3 ローカルサーチに依存せず、LPラウンディングを用いて容量制約付き施設配置問題に対する定数倍近似を達成することは可能か？
• RQ4 なぜ過去のLP緩和はこの問題の整数性ギャップを閉じられなかったのか？そして欠落していた構造的洞察とは何か？

主な発見

• 提案されたMFN-LP緩和は定数倍の整数性ギャップを有し、WilliamsonとShmoysの教科書における未解決問題5を解決した。
• LPラウンディングアルゴリズムは、最適LP値の8倍以内のコストを持つ妥当解を生成し、定数倍近似を達成した。
• この手法は、容量と割り当て制約をラウンド可能にモデル化できるように、多品目フローと分数マッチングを効果的に統合した。
• アルゴリズムは多項式時間で実行され、ローカルサーチの最悪ケースバウンドよりもタイトなインスタンスごとの性能保証を提供する。
• このアプローチは、LPベースの手法が容量制約付き施設配置問題に拡張可能であることを示し、関連問題への一般化を可能にした。
• この結果は、Sherali-Adams階層と標準的なLP定式化では定数倍の整数性ギャップを達成できないが、新しい定式化がこれを克服したことを示している。