[論文レビュー] Exact and Approximation Algorithms for Geometric and Capacitated Set Cover Problems with Applications

Piotr Berman, Marek Karpiński+1 more|ArXiv.org|Apr 15, 2009

Computational Geometry and Mesh Generation参考文献 16被引用数 4

ひとこと要約

本稿では、方向性アンテナを用いた幾何的集合被覆問題に対して、多項式時間の正確なアルゴリズムと、無制限集合被覆問題の任意の r-近似解法を、容量制約付き集合被覆問題の (r + 1.357)-近似解法に変換する画期的な近似フレームワークを提示する。主な貢献は、容量制約付きの MinAntVar（最小方向アンテナ数）問題に対する 2.357-近似解法と、最大アンテナ負荷を最小化する MinAntLoad 問題に対する PTAS であり、両者とも強い理論的保証と、無線ネットワーク設計における実用的意義を有する。

ABSTRACT

First, we study geometric variants of the standard set cover motivated by assignment of directional antenna and shipping with deadlines, providing the first known polynomial-time exact solutions. Next, we consider the following general capacitated set cover problem. There is given a set of elements with real weights and a family S of sets of elements. One can use a set if it is a subset of one of the sets on our lists and the sum of weights is at most one. The goal is to cover all the elements with the allowed sets.<br>We show that any polynomial-time algorithm that approximates the un-capacitated version of the set cover problem with ratio r can be converted to an approximation algorithm for the capacitated version with ratio r + 1.357.In particular, the composition of these two results yields a polynomial-time approximation algorithm for the problem of covering a set of customers represented by a weighted n-point set with a minimum number of antennas of variable angular range and fixed capacity with ratio 2.357. Finally, we provide a PTAS for the dual problem where the number of sets (e.g., antennas) to use is fixed and the task is to minimize the maximum set load, in case the sets correspond to line intervals or arcs.

研究の動機と目的

• 方向性アンテナ配置を動機とする幾何的かつ容量制約付き集合被覆問題に対する正確かつ近似アルゴリズムの開発。
• 固定容量で角度範囲が可変である方向性アンテナの数を最小化する MinAntVar 問題の解法。ただし、顧客の需要は分割不能であるものとする。
• 無制限集合被覆問題の任意の r-近似解法を、容量制約付きバージョンの (r + 1.357)-近似解法に変換する一般化手法の提供。
• アンテナ数が固定された条件下で最大負荷を最小化する双対問題 MinAntLoad 問題に対する PTAS の設計。
• 容量制限付きのアイテムの納品期限を満たす BinSchedule 問題など、関連問題への応用拡張。

提案手法

• 方向性アンテナの範囲の幾何的構造を活用して、容量制限なしの未容量制限幾何的集合被覆問題（MinAntVar without capacity constraints）を多項式時間で解く動的計画法の適用。
• 一般還元技術の導入：無制限集合被覆問題の r-近似解法が与えられた場合、容量制約を丁寧に処理するための緩和されたインスタンス構築により、容量制限付きバージョンの (r + 1.357)-近似解法を構築する。
• MinAntLoad 問題に対しては、要素をサイズ（大・小）に分類し、丸めと分数再割り当てによる需要の緩和を実施。その後、順序付き部分解の上での状態数が有界な動的計画法を用いる。
• 状態表現は各サイズクラスごとの被覆済み要素数に基づき、集合の追加を最大インデックスが小さい順に進めることで、効率的な最短経路計算を可能にする。
• 重要な洞察は、緩和されたインスタンスが最適解を (1 + ε) 要因以内に保つことであり、これによりパrameter k を用いた時間計算量 O((4n/k)^{k+1}) の動的計画法により PTAS を構築可能となる。
• この手法はアンテナに限らず一般化可能であり、集合が区間または弧に対応する任意の容量制限付き集合被覆問題に適用可能である。幾何的および順序付けの性質に依存する。

実験結果

リサーチクエスチョン

• RQ1 角度範囲が可変で容量が固定の方向性アンテナを用いた幾何的集合被覆問題を、多項式時間で正確に解くことは可能か？
• RQ2 無制限集合被覆問題の任意の多項式時間 r-近似解法を、容量制限付きバージョンの (r + c)-近似解法に変換可能か。ただし c < 2 であるか？
• RQ3 アンテナ数が固定された条件下で、最大負荷を最小化する双対問題（MinAntLoad）に対して、幾何的制約のもとで PTAS が存在するか？
• RQ4 このフレームワークは、複数の基地局や納品期限と容量制限がある BinSchedule 問題など、他の変種に拡張可能か？
• RQ5 この還元手法を用いた場合、MinAntVar 問題の達成可能な最良の近似比は何か？

主な発見

• 本稿では、容量制限なしの MinAntVar 問題（方向性アンテナの数を最小化し、容量制限なしで全顧客を被覆）に対する、初めての多項式時間正確アルゴリズムを提示する。
• 任意の r-近似解法が無制限集合被覆問題に適用可能な一般還元法を確立。これにより、容量制限付きバージョンの (r + 1.357)-近似解法が得られ、従来の境界を著しく改善する。
• この還元法を無制限 MinAntVar 解法に適用することで、容量制限付き MinAntVar 問題に対する 2.357-近似解法が得られ、従来の 3-近似を改善する。
• MinAntLoad 問題に対しては、任意の ε > 0 に対して時間計算量 n^{1/ε ln(1/ε) + O(1)} で (1 + ε)-近似解法を達成する PTAS を開発。集合が区間または弧に対応する場合に適用可能。
• この PTAS はアンテナに限らず一般化可能であり、区間または弧に対応する任意の容量制限付き集合被覆問題に適用可能であり、広範な適用性を示す。
• このフレームワークは BinSchedule 問題に対しても適応可能であり、同問題に対しても 2.357-近似解法を達成。これにより、同手法の多様な関連応用への柔軟性が示された。