Improved approximation algorithms for geometric set cover

Abstract

Given a collection S of subsets of some set double-struck U sign, and double-struck M sign ⊂ double-struck U sign, the set cover problem is to find the smallest subcollection C ⊂ S such that double-struck M sign is a subset of the union of the sets in C. While the general problem is NP-hard to solve, even approximately, here we consider some geometric special cases, where usually double-struck U sign = script R sign d. Combining previously known techniques [3, 4], we show that polynomial time approximation algorithms with provable performance exist, under a certain general condition: that for a random subset R ⊂ S and function f(), there is a decomposition of the complement double-struck U sign \ U Y ∈ RY into an expected f(|R|) regions, each region of a particular simple form. Under this condition, a cover of size O(f(|C|)) can be found in polynomial time. Using this result, and combinatorial geometry results implying bounding functions f(c) that are nearly linear, we obtain o(log c) approximation algorithms for covering by fat triangles, by pseudodisks, by a family of fat objects, and others. Similarly, constant-factor approximations follow for similar-sized fat triangles and fat objects, and for fat wedges. With more work, we obtain constant-factor approximation algorithms for covering by unit cubes in script R sign 3, and for guarding an x-monotone polygonal chain. Copyright 2005 ACM.