Cargando…
Parameterized Complexity Theory
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autores principales: | , |
| Autor Corporativo: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2006.
|
| Edición: | 1st ed. 2006. |
| Colección: | Texts in Theoretical Computer Science. An EATCS Series,
|
| Temas: | |
| Acceso en línea: | Texto Completo |
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-3-540-29953-0 | ||
| 003 | DE-He213 | ||
| 005 | 20220119173117.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 100301s2006 gw | s |||| 0|eng d | ||
| 020 | |a 9783540299530 |9 978-3-540-29953-0 | ||
| 024 | 7 | |a 10.1007/3-540-29953-X |2 doi | |
| 050 | 4 | |a QA76.9.S88 | |
| 072 | 7 | |a UYD |2 bicssc | |
| 072 | 7 | |a COM032000 |2 bisacsh | |
| 072 | 7 | |a UYD |2 thema | |
| 082 | 0 | 4 | |a 004.2 |2 23 |
| 100 | 1 | |a Flum, J. |e author. |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
| 245 | 1 | 0 | |a Parameterized Complexity Theory |h [electronic resource] / |c by J. Flum, M. Grohe. |
| 250 | |a 1st ed. 2006. | ||
| 264 | 1 | |a Berlin, Heidelberg : |b Springer Berlin Heidelberg : |b Imprint: Springer, |c 2006. | |
| 300 | |a XIII, 495 p. |b online resource. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Texts in Theoretical Computer Science. An EATCS Series, |x 1862-4502 | |
| 505 | 0 | |a 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. | |
| 520 | |a 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. | ||
| 650 | 0 | |a Computer systems. | |
| 650 | 0 | |a Mathematical logic. | |
| 650 | 0 | |a Algorithms. | |
| 650 | 0 | |a Computer science. | |
| 650 | 0 | |a Machine theory. | |
| 650 | 1 | 4 | |a Computer System Implementation. |
| 650 | 2 | 4 | |a Mathematical Logic and Foundations. |
| 650 | 2 | 4 | |a Algorithms. |
| 650 | 2 | 4 | |a Theory of Computation. |
| 650 | 2 | 4 | |a Formal Languages and Automata Theory. |
| 700 | 1 | |a Grohe, M. |e author. |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9783540817581 |
| 776 | 0 | 8 | |i Printed edition: |z 9783642067570 |
| 776 | 0 | 8 | |i Printed edition: |z 9783540299523 |
| 830 | 0 | |a Texts in Theoretical Computer Science. An EATCS Series, |x 1862-4502 | |
| 856 | 4 | 0 | |u https://doi.uam.elogim.com/10.1007/3-540-29953-X |z Texto Completo |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-SXCS | ||
| 950 | |a Computer Science (SpringerNature-11645) | ||
| 950 | |a Computer Science (R0) (SpringerNature-43710) | ||