[論文レビュー] Constant factor FPT approximation for capacitated k-median

Marek Adamczyk, Jarosław Byrka+3 more|arXiv (Cornell University)|Sep 16, 2018

Computational Geometry and Mesh Generation参考文献 15被引用数 8

ひとこと要約

本稿では、施設数（k施設）および容量制約の両方を満たす最初のFPT時間 (7 + ε)-近似アルゴリズムを提示する。メトリックツリー埋め込み、ℓ = O(k log n/ε) 個のセンターへのクラスタリング、およびℓセンター構造のインスタンスにおけるパrameterized動的計画法を組み合わせることで、時間 2^{O(k log k)}n^{O(1)} で定数倍近似が達成される。

ABSTRACT

Capacitated k-median is one of the few outstanding optimization problems for which the existence of a polynomial time constant factor approximation algorithm remains an open problem. In a series of recent papers algorithms producing solutions violating either the number of facilities or the capacity by a multiplicative factor were obtained. However, to produce solutions without violations appears to be hard and potentially requires different algorithmic techniques. Notably, if parameterized by the number of facilities $k$, the problem is also $W[2]$ hard, making the existence of an exact FPT algorithm unlikely. In this work we provide an FPT-time constant factor approximation algorithm preserving both cardinality and capacity of the facilities. The algorithm runs in time $2^{\mathcal{O}(k\log k)}n^{\mathcal{O}(1)}$ and achieves an approximation ratio of $7+\varepsilon$.

研究の動機と目的

• 施設数kとその容量の両方を満たす固定パrameter tractable (FPT) 近似アルゴリズムを開発すること。
• 容量制約や施設数制約を破らずに多項式時間定数倍近似を得ることに成功しない長年の未解決問題を克服すること。
• 近似アルゴリズムとパラメータ化計算複雑性を統合し、定数近似比を達成するFPTアルゴリズムを設計すること。
• この問題に対して、(1+ε) などのより良い近似比がFPT時間で達成可能かどうかを調査すること。

提案手法

• メトリックをO(log k)の期待歪みでツリー構造に還元する確率的ツリー埋め込みを用いる。
• クライアントをℓ = O(k log n / ε) 個のセンターにクラスタリングし、ℓセンター構造のインスタンスを形成する。
• k個の施設がこれらのℓセンターにどのように分散するかを推測することで、問題を構造化されたインスタンスに還元する。
• ツリー埋め込みされたインスタンス上で動的計画法を適用し、部分木t、施設数k′、クライアントバランスbに対してD(t, k′, b)を計算する。
• 距離を丸め、完全単調行列上の線形計画法に還元することで、整数解が保証される。
• 非容量制限kメディアン問題のFPTアルゴリズムとツリー埋め込みフレームワークを組み合わせ、近似保証を維持する。

実験結果

リサーチクエスチョン

• RQ1 容量制約や施設数制約を破らずに、定数倍FPT近似が達成可能か？
• RQ2 標準的なLP緩和の整数性ギャップ障壁が、FPT技術と構造的インスタンス還元によって乗り越え可能か？
• RQ3 代替の埋め込みまたは丸め技法を用いることで、FPT時間内に(7+ε)近似比を(1+ε)に改善可能か？
• RQ4 ℓセンター構造のインスタンス構造を活用することで、多項式時間定数倍近似が設計可能か？

主な発見

• 本稿では、時間 2^{O(k log k)}n^{O(1)} で実行され、kおよび容量制約を満たす(7 + ε)-近似アルゴリズムを提示する。
• アルゴリズムは、ツリー埋め込みとℓセンター構造のインスタンスにおける新規なFPT動的計画法の組み合わせにより達成される。
• ツリー埋め込みステップにより、最適解のコストがO(log k)要因以内にしか増加しないことが保証され、ツリー上で多項式時間正確解が得られる。
• 動的計画法の定式化D(t, k′, b)は、部分木tにk′個の施設を開設し、b人のクライアントを親ノードに接続する際の最小コストを計算する。コストは上位ノードで計上される。
• このフレームワークにより、完全単調行列上の線形計画法への滑らかな還元が可能となり、容量違反なしに整数解が保証される。
• 本結果は、既存の最良の多項式時間近似比O(log k)を改善し、この問題に対して最初の定数近似比を達成するFPTアルゴリズムを提供する。