Parameterized Complexity Theory

Portada
Springer Science & Business Media, 2006 M05 1 - 495 páginas

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.

 

Comentarios de la gente - Escribir un comentario

No encontramos ningún comentario en los lugares habituales.

Contenido

2
32
FPT
43
3
45
4
64
5
95
6
104
7
133
8
165
10
233
11
261
12
300
13
327
14
356
15
389
16
417
A
453

paraNP
193
9
206
Fig 96 The crown C
216
References
463
Notation
476
Derechos de autor

Otras ediciones - Ver todas

Términos y frases comunes

Pasajes populares

Página 468 - Math., 49:129-141, 1961. [Fag74] R. Fagin. Generalized first-order spectra and polynomial-time recognizable sets. In RM Karp, editor, Complexity of Computation, SIAM-AMS Proceedings, Vol. 7, pages 43-73, 1974.
Página 469 - Strong' NP-completeness results: Motivation, examples, and implications. Journal of the ACM 25 (1978), 499-508.
Página 10 - E) is a pair consisting of a set V of vertices, and a set E of edges joining some pairs of vertices.

Información bibliográfica