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
.