[論文レビュー] Approximating capacitated $k$-median with $(1+\epsilon)k$ open facilities

Shi Li|arXiv (Cornell University)|Nov 20, 2014

Facility Location and Emergency Management参考文献 28被引用数 5

ひとこと要約

本稿では、施設数の制限を (1+ǫ) 倍にしか違反しない最初の定数倍近似アルゴリズムを非一様容量制約付き k-メディアン問題に対して提示する。新たな構成形線形計画（LP）を導入し、整数性ギャップが有界であることを保証することで、ソフト容量制約付き k-メディアン問題に対して n^O(1/ǫ) 時間で O(1/ǫ² log(1/ǫ)) 近似が達成可能であり、従来の exp(O(1/ǫ²)) の比に比べ顕著な改善が得られる。

ABSTRACT

In the capacitated $k$-median (\CKM) problem, we are given a set $F$ of facilities, each facility $i \in F$ with a capacity $u_i$, a set $C$ of clients, a metric $d$ over $F \cup C$ and an integer $k$. The goal is to open $k$ facilities in $F$ and connect the clients $C$ to the open facilities such that each facility $i$ is connected by at most $u_i$ clients, so as to minimize the total connection cost. In this paper, we give the first constant approximation for \CKM, that only violates the cardinality constraint by a factor of $1+\epsilon$. This generalizes the result of [Li15], which only works for the uniform capacitated case. Moreover, the approximation ratio we obtain is $O\big(\frac{1}{\epsilon^2}\log\frac1\epsilon\big)$, which is an exponential improvement over the ratio of $\exp(O(1/\epsilon^2))$ in [Li15]. The natural LP relaxation for the problem, which almost all previous algorithms for \CKM are based on, has unbounded integrality gap even if $(2-\epsilon)k$ facilities can be opened. We introduce a novel configuration LP for the problem, that overcomes this integrality gap.

研究の動機と目的

• 非一様容量制約付き k-メディアン問題に対して、開設施設数の制限を (1+ǫ) 倍にしか違反しない定数倍近似アルゴリズムの開発。
• 標準的な LP リラクゼーションの無限大に発散する整数性ギャップを克服すること。これは、(2−ǫ)k 個の施設を許容しても依然として成立する。
• Li (2015) の一様容量に関する結果を非一様容量へ一般化し、近似比を指数的改善すること。
• 局所的な施設グループの実行可能解の凸包を捉える構成形 LP を設計し、(1+ǫ)k の施設数違反下でも有界な整数性ギャップを実現すること。
• ソフト容量制約付き k-メディアン問題への応用を拡張し、施設の複数コピーの許可を可能にしつつ、最小限の施設数違反で定数倍近似比を維持すること。

提案手法

• 各施設集合 B ⊆ F に対して、z_B^S を「集合 B 内で正確に S 個の施設が開設されている」と定義し、z_B^⊥ を「ℓ1 個を超えて開設されている」と定義する。このようにして、整数解の凸包をモデル化する新しい構成形 LP を導入する。
• 各部分集合 B ⊆ F に対して、z_B^⊥ = 0 のとき有効な整数解配置を強制し、z_B^⊥ = 1 のときは分数解を許容する制約を含める。
• 分数解が与えられた場合、良い整数解が見つかるか、もしくは違反する制約が特定できるラウンディング手順を用い、エリソイド法の適用を可能にする。
• 階層的クラスタリングと木分解技術を用いて施設とクライアントをグループ化し、最小全域木（MST）を用いて距離を制御し、コスト伝搬を抑制する。
• 木分解の各木に対して、事前に開設された施設から新しい施設へ需要を再割り当てする局所的 LP を解き、移動コストを最小化しつつ容量制約と施設数制約を満たす。
• パラメータ ℓ = ⌈5/ǫ⌉ を用いて、各クラスタの施設数を制御し、総開設施設数を (1+5/ℓ)k ≤ (1+ǫ)k に抑えることで、望ましい施設数違反を達成する。

実験結果

リサーチクエスチョン

• RQ1 非一様容量制約付き k-メディアン問題に対して、開設施設数の制限を (1+ǫ) 倍にしか違反しない定数倍近似が可能か？
• RQ2 標準 LP リラクゼーションの無限大に発散する整数性ギャップを、(1+ǫ)k の施設数違反下でも克服できる新しい構成形 LP が存在するか？
• RQ3 先行研究で得られた exp(O(1/ǫ²)) の指数的近似比を、非一様容量下で 1/ǫ の多項式に改善できるか？
• RQ4 定数倍近似比を達成する (1+ǫ)-違反結果を、ソフト容量制約付き k-メディアン設定に拡張可能か？
• RQ5 施設のコピー数を 2 から 1 に削減することで、硬容量制約付き k-メディアン問題への直接拡張が可能か？

主な発見

• 本稿では、開設施設数が (1+ǫ)k に制限されるソフト容量制約付き k-メディアン問題に対して、(1+ǫ, O(1/ǫ² log(1/ǫ)))-近似が達成された。
• 近似比は O(1/ǫ² log(1/ǫ)) であり、同問題に対する従来の exp(O(1/ǫ²)) の比に比べて指数的改善が達成された。
• 標準 LP リラクゼーションの整数性ギャップは、(2−ǫ)k 個の施設を許容しても無限大に発散するが、提案された構成形 LP は局所的凸包モデル化によりこれを克服した。
• アルゴリズムは n^O(1/ǫ) 時間で実行可能であり、構成形 LP の複雑性から、これは避けられない。
• 階層的クラスタリングと木分解を用いて移動コストを制御し、総コストが最適解の O(1/ǫ² log(1/ǫ)) 倍以内に収まることが保証された。
• 事前開設と再割り当てフェーズにおける技術的制約により、同一施設のコピーが最大2つまで開設される可能性があり、これにより硬容量制約付き k-メディアン問題への直接拡張は制限される。