Abstract
Parameterized Approximation is a topic of considerable interest in the field of Parameterized Complexity. In the past decade, new color coding-related techniques, including the breakthrough representative sets technique, have been proven extremely powerful in the design of fast parameterized algorithms. Furthermore, packing problems, which are often solved via color coding-related techniques, have enjoyed a race towards obtaining the fastest parameterized algorithms that solve them. Therefore, it is natural to ask whether packing problems admit efficient parameterized approximation algorithms. In this paper, we answer this question affirmatively. We present tradeoffs that improve the running times of algorithms for well-known special cases of the 3-SET k-PACKING problem at the cost of their accuracy. Consider a packing problem for which there is no known algorithm with approximation ratio α, and a parameter k. If the value of an optimal solution is at least k, we seek a solution of value at least αk; otherwise, we seek an arbitrary solution. Clearly, if the best known parameterized algorithm that finds a solution of value t runs in time O⁎(f(t)) for some function f, we are interested in running times better than O⁎(f(αk)). Our main contribution lies in the adaptation of notions fundamental to the representative sets technique to the design of approximation algorithms: We introduce the definition of “approximate lopsided universal sets”, combine partial executions of representative sets-based algorithms with approximation algorithms, and adapt the iterative expansion framework (in the context of representative sets) to the design of parameterized approximation algorithms. Our ideas are intuitive, and may be relevant to the design of other parameterized approximation algorithms.
Original language | American English |
---|---|
Pages (from-to) | 40-55 |
Number of pages | 16 |
Journal | Theoretical Computer Science |
Volume | 648 |
DOIs | |
State | Published - 4 Oct 2016 |
Externally published | Yes |
Keywords
- 3-Set k-packing
- Parameterized complexity
- Universal sets
All Science Journal Classification (ASJC) codes
- Theoretical Computer Science
- General Computer Science