The Computer Journal Advance Access originally published online on July 18, 2007
The Computer Journal 2008 51(1):7-25; doi:10.1093/comjnl/bxm040
| ||||||||||||||||||||||||||||||||||||||||||||||||||||
Techniques for Practical Fixed-Parameter Algorithms
Institut für Informatik, Friedrich-Schiller-Universität Jena, Ernst-Abbe-Platz 2, D-07743 Jena, Germany
* Corresponding author: niedermr{at}minet.uni-jena.de
Received 25 February 2006; revised 11 December 2006
The fixed-parameter approach is an algorithm design technique for solving combinatorially hard (mostly NP-hard) problems. For some of these problems, it can lead to algorithms that are both efficient and yet at the same time guaranteed to find optimal solutions. Focusing on their application to solving NP-hard problems in practice, we survey three main techniques to develop fixed-parameter algorithms, namely: kernelization (data reduction with provable performance guarantee), depth-bounded search trees and a new technique called iterative compression. Our discussion is circumstantiated by several concrete case studies and provides pointers to various current challenges in the field.
Key Words: parameterized algorithms fixed-parameter tractability