Approximating low-dimensional coverage problems
Proceedings of the twenty-eighth annual symposium on Computational geometry, 2012•dl.acm.org
We study the complexity of the maximum coverage problem, restricted to set systems of
bounded VC-dimension. Our main result is a fixed-parameter tractable approximation
scheme: an algorithm that outputs a (1-ε)-approximation to the maximum-cardinality union of
k sets, in running time $ O (f (ε, k, d)⋅ poly (n)) where n is the problem size, d is the VC-
dimension of the set system, and f (ε, k, d) is exponential in (kd/ε) c for some constant c. We
complement this positive result by showing that the function f (ε, k, d) in the running-time …
bounded VC-dimension. Our main result is a fixed-parameter tractable approximation
scheme: an algorithm that outputs a (1-ε)-approximation to the maximum-cardinality union of
k sets, in running time $ O (f (ε, k, d)⋅ poly (n)) where n is the problem size, d is the VC-
dimension of the set system, and f (ε, k, d) is exponential in (kd/ε) c for some constant c. We
complement this positive result by showing that the function f (ε, k, d) in the running-time …
We study the complexity of the maximum coverage problem, restricted to set systems of bounded VC-dimension. Our main result is a fixed-parameter tractable approximation scheme: an algorithm that outputs a (1-ε)-approximation to the maximum-cardinality union of k sets, in running time $O(f(ε,k,d)⋅ poly(n)) where n is the problem size, d is the VC-dimension of the set system, and f(ε,k,d) is exponential in (kd/ε)c for some constant c. We complement this positive result by showing that the function f(ε,k,d) in the running-time bound cannot be replaced by a function depending only on (ε,d) or on (k,d), under standard complexity assumptions. We also present an improved upper bound on the approximation ratio of the greedy algorithm in special cases of the problem, including when the sets have bounded cardinality and when they are two-dimensional halfspaces. Complementing these positive results, we show that when the sets are four-dimensional halfspaces neither the greedy algorithm nor local search is capable of improving the worst-case approximation ratio of 1-1/e that the greedy algorithm achieves on arbitrary instances of maximum coverage.