Description
This book is a state-of-the-art introduction into both algorithmic techniques for fixed-parameter tractability and the structural theory of parameterized complexity classes. It presents detailed proofs of recent advanced results that have not appeared in book form before and replaces the earlier publication “Parameterized Complexity” by Downey and Fellows as the definitive book on this subject. The book will interest computer scientists, mathematicians and graduate students engaged with algorithms and problem complexity. Prof. Jrg Flum, Abteilung fr Mathematische Logik, Albert-Ludwigs-Universitt Freiburg, Germany, http://logik.mathematik.uni-freiburg.de/personen/Flum.html Prof. Martin Grohe, Institut fr Informatik, Humboldt-Universitt zu Berlin, Germany, http://www.informatik.hu-berlin.de/~grohe/ The authors are very well qualified to write this book. In addition to their strong backgrounds in complexity, algorithms, etc., they have contributed a number of specific key results in parameterized complexity (e.g., http://epubs.siam.org/sam-bin/dbq/article/42720). Jrg Flum has coauthored two other Springer monographs: (i) “Mathematical Logic”, Undergraduate Texts in Mathematics, 0-387-94258-0, 3rd printing since 1994, over 4000 copies sold, Heinz-Dieter Ebbinghaus, Jrg Flum, Wolfgang Thomas, http://www.springer.com/0-387-94258-0. (ii) “Finite Model Theory”, Springer Monographs in Mathematics (was in series Perspectives in Mathematical Logic), printed in soft- and hardback, 1995, 2nd ed. in 1999, 2nd corr. print in 2006, Heinz-Dieter Ebbinghaus, Jrg Flum, 3-540-28787-6, http://www.springer.com/3-540-28787-6. In addition, Jrg Flum coauthored the following LNM title: Vol. 769, “Topological Model Theory, 1980, 3-540-09732-5, Jrg Flum, Martin Ziegler. And he coedited the following LNCS title: Vol. 1683, CSL 1999 conf. proc., Jrg Flum, Mario Rodriguez-Artalejo, 1999, 3-540-66536-6. Prof. Martin Grohe has authored over 50 articles for refereed theoretical computer science journals and conference proceedings (http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/g/Grohe:Martin.html) in the areas of logic, complexity, algorithms, etc.
