Parameterized Exact and Approximation Algorithms for Maximum kk-Set Cover and Related Satisfiability Problems

Given a family of subsets $\mathcal S$ over a set of elements~$X$ and two integers~$p$ and~$k$, Max k-Set Cover consists of finding a subfamily~$\mathcal T \subseteq \mathcal S$ of cardinality at most~$k$, covering at least~$p$ elements of~$X$. This problem is W[2]-hard when parameterized by~$k$, and FPT when parameterized by $p$. We investigate the parameterized approximability of the problem with respect to parameters~$k$ and~$p$. Then, we show that Max Sat-k, a satisfiability problem generalizing Max k-Set Cover, is also FPT with respect to parameter~$p$.Comment: Accepted in RAIRO - Theoretical Informatics and Application

Faster fixed-parameter tractable algorithms for matching and packing problems. In:

Abstract We obtain faster algorithms for problems such as r-dimensional matching and r-set packing when the size k of the solution is considered a parameter. We first establish a general framework for finding and exploiting small problem kernels (of size polynomial in k). This technique lets us combine Alon, Yuster and Zwick's colorcoding technique with dynamic programming to obtain faster fixed-parameter algo- rithms for these problems. Our algorithms run in time O(n + 2 O(k) ), an improvement over previous algorithms for some of these problems running in time O(n + k O(k) ). The flexibility of our approach allows tuning of algorithms to obtain smaller constants in the exponent