The Parameterized Complexity of the Unique Coverage Problem

We consider the parameterized complexity of the UNIQUE COVERAGE problem: given a family of sets and a parameter k, we ask whether there exists a subfamily that covers at least k elements exactly once. This NP-complete problem has applications in wireless networks and radio broadcasting and is also a natural generalization of the well-known MAX CUT problem. We show that this problem is fixed-parameter tractable with respect to the parameter k. That is, for every fixed k, there exists a polynomial-time algorithm for it. One way to prove a problem fixed-parameter tractable is to show that it is kernelizable. To this end, we show that if no two sets in the input family intersect in more than c elements there exists a problem kernel of size kc+1. This yields a kk kernel for the UNIQUE COVERAGE problem, proving fixed-parameter tractability. Subsequently, we show a 4k kernel for this problem. However a more general weighted version, with costs associated with each set and profits with each element, turns out to be much harder. The question here is whether there exists a subfamily with total cost at most a prespecified budget B such that the total profit of uniquely covered elements is at least k, where B and k are part of the input. In the most general setting, assuming real costs and profits, the problem is not fixed-parameter tractable unless P = NP. Assuming integer costs and profits we show the problem to be W[1]-hard with respect to B as parameter (that is, it is unlikely to be fixed-parameter tractable). However, under some reasonable restriction, the problem becomes fixed-parameter tractable with respect to both B and k as parameters.

[1]  Shlomo Moran,et al.  Non Deterministic Polynomial Optimization Problems and their Approximations , 1977, Theor. Comput. Sci..

[2]  Reuven Bar-Yehuda,et al.  On the Time-Complexity of Broadcast in Multi-hop Radio Networks: An Exponential Gap Between Determinism and Randomization , 1992, J. Comput. Syst. Sci..

[3]  Stasys Jukna,et al.  Extremal Combinatorics , 2001, Texts in Theoretical Computer Science. An EATCS Series.

[4]  Rolf Niedermeier,et al.  Invitation to Fixed-Parameter Algorithms , 2006 .

[5]  Dimitrios M. Thilikos,et al.  Invitation to fixed-parameter algorithms , 2007, Comput. Sci. Rev..

[6]  Krzysztof Pietrzak,et al.  On the parameterized complexity of the fixed alphabet shortest common supersequence and longest common subsequence problems , 2003, J. Comput. Syst. Sci..

[7]  Erik D. Demaine,et al.  Combination can be hard: approximability of the unique coverage problem , 2006, SODA '06.

[8]  Marco Cesati Perfect Code is W[1]-complete , 2000, Inf. Process. Lett..

[9]  Michael R. Fellows,et al.  Parameterized complexity analysis in computational biology , 1995, Comput. Appl. Biosci..

[10]  Jörg Flum,et al.  Parameterized Complexity Theory , 2006, Texts in Theoretical Computer Science. An EATCS Series.

[11]  Michael R. Fellows,et al.  Parameterized Complexity , 1998 .

[12]  Erik Jan van Leeuwen,et al.  Approximating geometric coverage problems , 2008, SODA '08.

[13]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .