[論文レビュー] On Metric Multi-Covering Problems

Santanu Bhowmick, Tanmay Inamdar+1 more|arXiv (Cornell University)|Feb 12, 2016

Facility Location and Emergency Management被引用数 4

ひとこと要約

本稿では、メトリック多被覆問題（MMC）およびその一般化形態—非一様MMCおよびt-MMC—の最初の定数倍近似アルゴリズムを提示する。これらは、1被覆問題の複数のインスタンスに還元することで達成される。外被覆と動的計画法を用いることで、クライアントの需要や次元に依存しない $4 \cdot (540)^\alpha$-近似が達成される。

ABSTRACT

In the metric multi-cover problem (MMC), we are given two point sets $Y$ (servers) and $X$ (clients) in an arbitrary metric space $(X \cup Y, d)$, a positive integer $k$ that represents the coverage demand of each client, and a constant $α\geq 1$. Each server can have a single ball of arbitrary radius centered on it. Each client $x \in X$ needs to be covered by at least $k$ such balls centered on servers. The objective function that we wish to minimize is the sum of the $α$-th powers of the radii of the balls. In this article, we consider the MMC problem as well as some non-trivial generalizations, such as (a) the non-uniform MMC, where we allow client-specific demands, and (b) the $t$-MMC, where we require the number of open servers to be at most some given integer $t$. For each of these problems, we present an efficient algorithm that reduces the problem to several instances of the corresponding $1$-covering problem, where the coverage demand of each client is $1$. Our reductions preserve optimality up to a multiplicative constant factor. Applying known constant factor approximation algorithms for $1$-covering, we obtain the first constant approximations for the MMC and these generalizations.

研究の動機と目的

• 任意のメトリック空間と一般の被覆需要を想定したメトリック多被覆問題（MMC）に対する多項式時間近似アルゴリズムの開発。
• MMCを非一様被覆需要（各クライアントが異なる被覆需要を持つ）に拡張し、使用可能なサーバー数が制限されるt-MMC変種に対しても対応する。
• 被覆需要kや空間の次元に依存しない定数倍近似保証を達成する。
• 複雑な多被覆問題を、コスト近似が定数倍以内に保たれる単純な1被覆インスタンスに還元する。
• 障害耐性のあるセンサーネットワーク設計や、エネルギー最小化を目的とする他の幾何被覆問題に適用可能な統一的フレームワークの提供。

提案手法

• 各被覆レベルi（1からkまで）における「外被覆」の概念を導入する。外被覆とは、サーバーを中心とするボールの集合であり、すべてのクライアントを少なくともi回被覆する。
• t-MMC問題の最適解からレベルiの外被覆ρ_iを構築し、その総コストが最適コストの定数倍以内に収まるように保証する。
• 外被覆構造に基づき、2つの導出されたサーバー部分集合Y_i^pおよびY_i^sから得られる1被覆解を、動的計画法を用いて各レベルiで組み合わせる。
• CharikarとPanigrahyが提案した1被覆問題に対する既知の5^α-近似アルゴリズムを適用し、各外被覆から1被覆を生成する。この際、コストは外被覆コストの(12·5)^α倍以内に抑えられる。
• 全レベルにわたる1被覆解を、総サーバー予算tを尊重する動的計画法を用いて組み合わせ、実行可能性とコスト近似を保証する。
• 最終的な解が、外被覆コストとサーバー数の上限を活用することで、最適なt-MMC解の$4 \cdot (540)^\alpha$倍以内のコストに収束することを証明する。

実験結果

リサーチクエスチョン

• RQ1 被覆需要kに依存しない任意のメトリック空間におけるメトリック多被覆問題に対して、定数倍近似が達成可能か？
• RQ2 クライアントが異なる被覆需要を持つ非一様MMCは、定数倍保証のもとで効率的に近似可能か？
• RQ3 使用可能なサーバー数がtに制限されるt-MMC問題に対し、定数倍近似が可能か？
• RQ4 最適解から、そのコストとサーバー使用量が最適解に対して有界となる外被覆を構築可能か？
• RQ5 1被覆問題への還元を用いた場合、MMCおよびその変種の最良の達成可能な近似比は何か？

主な発見

• 本稿では、任意のメトリック空間におけるメトリック多被覆問題（MMC）に対する最初の定数倍近似が達成され、$4 \cdot (540)^\alpha$の保証が得られた。
• 各クライアントが異なる被覆需要を持つ非一様MMCに対しても、同じ還元フレームワークにより定数倍近似が得られ、先行研究を拡張した。
• 使用可能なサーバー数がtに制限されるt-MMC変種に対しても、外被覆に基づく動的計画法を用いて、最適コストの$4 \cdot (540)^\alpha$倍以内の近似が達成された。
• 外被覆構築により、レベルiの外被覆総コストが最適コストの$2 \cdot (9)^\alpha$倍以内に抑えられ、合算されたサーバー使用量もt制約内で制限される。
• k被覆問題は複数の1被覆問題に還元され、既存の5^α-近似アルゴリズムを各レベルで利用可能となり、コスト増加は各レベルあたり$(12 \cdot 5)^\alpha$倍以内に抑えられる。
• 最終的な近似比$4 \cdot (540)^\alpha$は、外被覆のコストバインドと1被覆近似の組み合わせから導出され、540 = 12·5·9として還元ステップの定数の合成を反映している。