[論文レビュー] On the Set Multi-Cover Problem in Geometric Settings

Chandra Chekuri, Kenneth L. Clarkson+1 more|ArXiv.org|Sep 2, 2009

Computational Geometry and Mesh Generation被引用数 10

ひとこと要約

本稿では、各点が複数の集合による被覆を要する幾何的セットマルチカバー問題に対する改善された近似アルゴリズムを提示する。シャロウカットティングとグリッド分解を用いたクラスタリングにより、3次元における軸に平行な単位立方体による被覆に対してO(1)-近似を得られ、VC次元が有界なセットシステムに対してはO(log opt)-近似が達成される。

ABSTRACT

We consider the set multi-cover problem in geometric settings. Given a set of points P and a collection of geometric shapes (or sets) F, we wish to find a minimum cardinality subset of F such that each point p in P is covered by (contained in) at least d(p) sets. Here d(p) is an integer demand (requirement) for p. When the demands d(p)=1 for all p, this is the standard set cover problem. The set cover problem in geometric settings admits an approximation ratio that is better than that for the general version. In this paper, we show that similar improvements can be obtained for the multi-cover problem as well. In particular, we obtain an O(log Opt) approximation for set systems of bounded VC-dimension, where Opt is the cardinality of an optimal solution, and an O(1) approximation for covering points by half-spaces in three dimensions and for some other classes of shapes.

研究の動機と目的

• 各点が指定された数の集合によって被覆されなければならない幾何的設定におけるセットマルチカバー問題に対処すること。
• 特に円、半空間、立方体などの形状を対象として、標準的なセットカバーを上回る近似比の改善を図ること。
• シャロウカットティングを用いたクラスタリングに基づくアプローチを開発し、問題をより小さな、取り扱いやすい部分インスタンスに還元すること。
• 3次元における軸に平行な単位立方体による点の被覆に対して定数倍近似を得ること。
• 再重み付けおよびエプシロンネット技術の適用範囲を、幾何的レンジ空間におけるマルチカバー設定に拡張すること。

提案手法

• グリッドに基づく分解を用いて点と形状をクラスタリングし、各グリッドセルをマルチカバー問題の部分インスタンスに関連付ける。
• シャロウカットティングを用いて立方体の配置をO(|f|)個の互いに素なボックスに分解する。ここで|f|は面の頂点数を表す。
• すべての軸に平行な単位立方体が原点を含むという事実を活用し、垂直投影が被覆構造を保つことを保証する。
• シャロウカットティング補題を用いて配置の複雑さを抑え、部分インスタンスに対する効率的な近似を可能にする。
• 各部分インスタンスのためのLP緩和を解き、解を組み合わせることで、全体問題に対する定数倍近似を得る。
• VC次元とエプシロンネット理論を用いて、VC次元が有界な一般幾何的セットシステムに対してO(log opt)-近似を導出する。

実験結果

リサーチクエスチョン

• RQ1 一般セットカバーとは対照的に、幾何的設定におけるセットマルチカバー問題に対して、改善された近似比を達成できるか？
• RQ2 シャロウカットティングとクラスタリングの使用が、3次元における立方体などの幾何的形状に対するマルチカバー問題で定数倍近似を可能にするか？
• RQ3 再重み付けおよびエプシロンネットフレームワークを、セットカバーから幾何的レンジ空間におけるマルチカバー問題へ拡張できるか？
• RQ4 3次元における半空間による点の被覆に対して、幾何的技術を用いて得られる近似比は何か？
• RQ5 本アプローチは、集合にコストが付与された重み付きセットマルチカバー問題へ一般化可能か？

主な発見

• シャロウカットティングとグリッドベースのクラスタリングを用いて、3次元における軸に平行な単位立方体による点の被覆に対してO(1)-近似アルゴリズムが達成された。
• 面のシャロウカットティング分解におけるボックスの数は、その面の頂点数によって上限が与えられ、効率的な分解が可能である。
• VC次元が有界なセットシステムに対しては、optが最適解のサイズを表すとき、O(log opt)-近似が得られた。
• n個の軸に平行な単位立方体の和集合の複雑さが線形であるという事実を活用し、効率的な計算を支援する。
• 本手法は、半空間による3次元における点の被覆など、他の幾何的クラスに対しても適用可能であり、定数倍近似をもたらす。
• アルゴリズムは確率的多項式時間で実行され、最適な分数LP解の値をfとすると、期待される解のサイズがO(f)である。