Parameterized Complexity Theory

Parameterized Complexity Theory
Author: J. Flum
Publisher: Springer Science & Business Media
Total Pages: 494
Release: 2006-05-01
Genre: Computers
ISBN: 354029953X

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.

Parameterized Complexity Theory

Parameterized Complexity Theory
Author: J. Flum
Publisher: Springer
Total Pages: 0
Release: 2010-02-12
Genre: Computers
ISBN: 9783642067570

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.

Parameterized Complexity

Parameterized Complexity
Author: Rodney G. Downey
Publisher: Springer Science & Business Media
Total Pages: 538
Release: 2012-12-06
Genre: Computers
ISBN: 1461205158

An approach to complexity theory which offers a means of analysing algorithms in terms of their tractability. The authors consider the problem in terms of parameterized languages and taking "k-slices" of the language, thus introducing readers to new classes of algorithms which may be analysed more precisely than was the case until now. The book is as self-contained as possible and includes a great deal of background material. As a result, computer scientists, mathematicians, and graduate students interested in the design and analysis of algorithms will find much of interest.

Parameterized Algorithms

Parameterized Algorithms
Author: Marek Cygan
Publisher: Springer
Total Pages: 618
Release: 2015-07-20
Genre: Computers
ISBN: 3319212753

This comprehensive textbook presents a clean and coherent account of most fundamental tools and techniques in Parameterized Algorithms and is a self-contained guide to the area. The book covers many of the recent developments of the field, including application of important separators, branching based on linear programming, Cut & Count to obtain faster algorithms on tree decompositions, algorithms based on representative families of matroids, and use of the Strong Exponential Time Hypothesis. A number of older results are revisited and explained in a modern and didactic way. The book provides a toolbox of algorithmic techniques. Part I is an overview of basic techniques, each chapter discussing a certain algorithmic paradigm. The material covered in this part can be used for an introductory course on fixed-parameter tractability. Part II discusses more advanced and specialized algorithmic ideas, bringing the reader to the cutting edge of current research. Part III presents complexity results and lower bounds, giving negative evidence by way of W[1]-hardness, the Exponential Time Hypothesis, and kernelization lower bounds. All the results and concepts are introduced at a level accessible to graduate students and advanced undergraduate students. Every chapter is accompanied by exercises, many with hints, while the bibliographic notes point to original publications and related work.

Fundamentals of Parameterized Complexity

Fundamentals of Parameterized Complexity
Author: Rodney G. Downey
Publisher: Springer Science & Business Media
Total Pages: 765
Release: 2013-12-03
Genre: Computers
ISBN: 1447155599

This comprehensive and self-contained textbook presents an accessible overview of the state of the art of multivariate algorithmics and complexity. Increasingly, multivariate algorithmics is having significant practical impact in many application domains, with even more developments on the horizon. The text describes how the multivariate framework allows an extended dialog with a problem, enabling the reader who masters the complexity issues under discussion to use the positive and negative toolkits in their own research. Features: describes many of the standard algorithmic techniques available for establishing parametric tractability; reviews the classical hardness classes; explores the various limitations and relaxations of the methods; showcases the powerful new lower bound techniques; examines various different algorithmic solutions to the same problems, highlighting the insights to be gained from each approach; demonstrates how complexity methods and ideas have evolved over the past 25 years.

Theory of Evolutionary Computation

Theory of Evolutionary Computation
Author: Benjamin Doerr
Publisher: Springer Nature
Total Pages: 527
Release: 2019-11-20
Genre: Computers
ISBN: 3030294145

This edited book reports on recent developments in the theory of evolutionary computation, or more generally the domain of randomized search heuristics. It starts with two chapters on mathematical methods that are often used in the analysis of randomized search heuristics, followed by three chapters on how to measure the complexity of a search heuristic: black-box complexity, a counterpart of classical complexity theory in black-box optimization; parameterized complexity, aimed at a more fine-grained view of the difficulty of problems; and the fixed-budget perspective, which answers the question of how good a solution will be after investing a certain computational budget. The book then describes theoretical results on three important questions in evolutionary computation: how to profit from changing the parameters during the run of an algorithm; how evolutionary algorithms cope with dynamically changing or stochastic environments; and how population diversity influences performance. Finally, the book looks at three algorithm classes that have only recently become the focus of theoretical work: estimation-of-distribution algorithms; artificial immune systems; and genetic programming. Throughout the book the contributing authors try to develop an understanding for how these methods work, and why they are so successful in many applications. The book will be useful for students and researchers in theoretical computer science and evolutionary computing.

Parameterized Complexity in the Polynomial Hierarchy

Parameterized Complexity in the Polynomial Hierarchy
Author: Ronald de Haan
Publisher: Springer Nature
Total Pages: 393
Release: 2019-12-30
Genre: Mathematics
ISBN: 3662606704

Parameterized Complexity in the Polynomial Hierarchy was co-recipient of the E.W. Beth Dissertation Prize 2017 for outstanding dissertations in the fields of logic, language, and information. This work extends the theory of parameterized complexity to higher levels of the Polynomial Hierarchy (PH). For problems at higher levels of the PH, a promising solving approach is to develop fixed-parameter tractable reductions to SAT, and to subsequently use a SAT solving algorithm to solve the problem. In this dissertation, a theoretical toolbox is developed that can be used to classify in which cases this is possible. The use of this toolbox is illustrated by applying it to analyze a wide range of problems from various areas of computer science and artificial intelligence.

Cognition and Intractability

Cognition and Intractability
Author: Iris van Rooij
Publisher: Cambridge University Press
Total Pages: 375
Release: 2019-04-25
Genre: Computers
ISBN: 1107043999

Provides an accessible introduction to computational complexity analysis and its application to questions of intractability in cognitive science.

Invitation to Fixed-Parameter Algorithms

Invitation to Fixed-Parameter Algorithms
Author: Rolf Niedermeier
Publisher: OUP Oxford
Total Pages: 316
Release: 2006-02-02
Genre: Mathematics
ISBN: 9780198566076

An application-oriented introduction to the highly topical area of the development and analysis of efficient fixed-parameter algorithms for hard problems. Aimed at graduate and research mathematicians, algorithm designers, and computer scientists, it provides a fresh view on this highly innovative field of algorithmic research.