University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail de l'auteur
Auteur Flum |
Documents disponibles écrits par cet auteur
Ajouter le résultat dans votre panier Affiner la recherche
Parameterized complexity theory / Flum
Titre : Parameterized complexity theory Type de document : texte imprimé Auteurs : Flum, Auteur ; Martin Grohe (19..-....), Auteur Editeur : Berlin : Springer Année de publication : 2006 Collection : Texts in theoretical computer science (Print), ISSN 1862-4499 Importance : 1 vol. (XIII- 493 p.) Présentation : graph. Format : 24 cm ISBN/ISSN/EAN : 978-3-540-29952-3 Langues : Anglais (eng) Catégories : Informatique Mots-clés : Complexité informatique
Algorithmes
Complexité de calcul (Informatique)Index. décimale : 511.352 Fonctions récursives (calculabilité, complexité de calcul, fonctions calculables, problèmes NP-complet) Résumé : 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 into 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 each are 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 Note de contenu :
Sommaire
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.
- Subexponential Fixed-Parameter Tractability.
- Appendix, Background from Complexity Theory.
- References.
- Notation.
- Index.Côte titre : Fs/19816 Parameterized complexity theory [texte imprimé] / Flum, Auteur ; Martin Grohe (19..-....), Auteur . - Berlin : Springer, 2006 . - 1 vol. (XIII- 493 p.) : graph. ; 24 cm. - (Texts in theoretical computer science (Print), ISSN 1862-4499) .
ISBN : 978-3-540-29952-3
Langues : Anglais (eng)
Catégories : Informatique Mots-clés : Complexité informatique
Algorithmes
Complexité de calcul (Informatique)Index. décimale : 511.352 Fonctions récursives (calculabilité, complexité de calcul, fonctions calculables, problèmes NP-complet) Résumé : 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 into 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 each are 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 Note de contenu :
Sommaire
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.
- Subexponential Fixed-Parameter Tractability.
- Appendix, Background from Complexity Theory.
- References.
- Notation.
- Index.Côte titre : Fs/19816 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/19816 Fs/19816 Livre Bibliothéque des sciences Anglais Disponible
Disponible