Parameterized Complexity Theory

, (Autoren)

Buch | Hardcover
XIII, 495 Seiten
2006 | 2006
Springer Berlin (Verlag)
978-3-540-29952-3 (ISBN)

Lese- und Medienproben

Parameterized Complexity Theory - J. Flum, M. Grohe
117,69 inkl. MwSt

Parameterized complexity theory is a recent branch of computational complexity theory that provides a framework for a refined analysis of hard algorithmic problems. The central notion of the theory, fixed-parameter tractability, has led to the development of various new algorithmic techniques and a whole new theory of intractability.

This book is a state-of-the-art introduction to both algorithmic techniques for fixed-parameter tractability and the structural theory of parameterized complexity classes, and it presents detailed proofs of recent advanced results that have not appeared in book form before. Several chapters are each devoted to intractability, algorithmic techniques for designing fixed-parameter tractable algorithms, and bounded fixed-parameter tractability and subexponential time complexity. The treatment is comprehensive, and the reader is supported with exercises, notes, a detailed index, and some background on complexity theory and logic.

The book will be of interest to computer scientists, mathematicians and graduate students engaged with algorithms and problem complexity.

Fixed-Parameter Tractability.- Reductions and Parameterized Intractability.- The Class W[P].- Logic and Complexity.- Two Fundamental Hierarchies.- The First Level of the Hierarchies.- The W-Hierarchy.- The A-Hierarchy.- Kernelization and Linear Programming Techniques.- The Automata-Theoretic Approach.- Tree Width.- Planarity and Bounded Local Tree Width.- Homomorphisms and Embeddings.- Parameterized Counting Problems.- Bounded Fixed-Parameter Tractability and Limited Nondeterminism.- Subexponential Fixed-Parameter Tractability.

From the reviews:

"The book is comprehensive and up-to-date. ... The definitions are illustrated by good examples, the proofs are complete and proceed at a convenient pace, the connections and the implications of the results are spelled out clearly, the exercises are relevant. The book is recommended to specialists as a work of reference, as well as to beginners who want a solid introduction to the theory of parametrized computational problems." (Marius Zimand, Zentralblatt MATH, Vol. 1143, 2008)

Erscheint lt. Verlag 9.2.2006
Reihe/Serie Texts in Theoretical Computer Science. An EATCS Series
Zusatzinfo XIII, 495 p.
Verlagsort Berlin
Sprache englisch
Maße 155 x 235 mm
Gewicht 965 g
Themenwelt Mathematik / Informatik Informatik Theorie / Studium
Schlagworte algorithm • Algorithm analysis and problem complexity • Algorithmen • algorithms • Automat • Automata • Complexity • Complexity theory • Computer • Komplexitätstheorie • Lineare Programmierung • Linear Programming • Logic • Mathematical Logic • Mathematische Logik • Optimization • parameterized complexity • programming • theoretical computer science • Tractability
ISBN-10 3-540-29952-1 / 3540299521
ISBN-13 978-3-540-29952-3 / 9783540299523
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Grundlagen – Anwendungen – Perspektiven

von Matthias Homeister

Buch | Softcover (2022)
Springer Vieweg (Verlag)
34,99
was jeder über Informatik wissen sollte

von Timm Eichstädt; Stefan Spieker

Buch | Softcover (2024)
Springer Vieweg (Verlag)
37,99
Eine Einführung in die Systemtheorie

von Margot Berghaus

Buch | Softcover (2022)
UTB (Verlag)
25,00