Cargando…

Exact Exponential Algorithms

Today most computer scientists believe that NP-hard problems cannot be solved by polynomial-time algorithms. From the polynomial-time perspective, all NP-complete problems are equivalent but their exponential-time properties vary widely. Why do some NP-hard problems appear to be easier than others?...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Fomin, Fedor V. (Autor), Kratsch, Dieter (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edición:1st ed. 2010.
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-642-16533-7
003 DE-He213
005 20220116095412.0
007 cr nn 008mamaa
008 101029s2010 gw | s |||| 0|eng d
020 |a 9783642165337  |9 978-3-642-16533-7 
024 7 |a 10.1007/978-3-642-16533-7  |2 doi 
050 4 |a QA297.4 
072 7 |a PBD  |2 bicssc 
072 7 |a MAT008000  |2 bisacsh 
072 7 |a PBD  |2 thema 
082 0 4 |a 511.1  |2 23 
100 1 |a Fomin, Fedor V.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
245 1 0 |a Exact Exponential Algorithms  |h [electronic resource] /  |c by Fedor V. Fomin, Dieter Kratsch. 
250 |a 1st ed. 2010. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2010. 
300 |a XIV, 206 p. 38 illus.  |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 Branching -- Dynamic Programming -- Inclusion-Exclusion -- Treewidth -- Measure & Conquer -- Subset Convolution -- Local Search and SAT -- Split and List -- Time Versus Space -- Miscellaneous -- Conclusions, Open Problems and Further Directions. 
520 |a Today most computer scientists believe that NP-hard problems cannot be solved by polynomial-time algorithms. From the polynomial-time perspective, all NP-complete problems are equivalent but their exponential-time properties vary widely. Why do some NP-hard problems appear to be easier than others? Are there algorithmic techniques for solving hard problems that are significantly faster than the exhaustive, brute-force methods? The algorithms that address these questions are known as exact exponential algorithms. The history of exact exponential algorithms for NP-hard problems dates back to the 1960s. The two classical examples are Bellman, Held and Karp's dynamic programming algorithm for the traveling salesman problem and Ryser's inclusion-exclusion formula for the permanent of a matrix. The design and analysis of exact algorithms leads to a better understanding of hard problems and initiates interesting new combinatorial and algorithmic challenges. The last decade has witnessed a rapid development of the area, with many new algorithmic techniques discovered. This has transformed  exact algorithms into a very active research field. This book provides an introduction to the area and explains the most common algorithmic techniques, and the text is supported throughout with exercises and detailed notes for further reading. The book is intended for advanced students and researchers in computer science, operations research, optimization and combinatorics.  . 
650 0 |a Discrete mathematics. 
650 0 |a Mathematical optimization. 
650 0 |a Computer programming. 
650 0 |a Algorithms. 
650 1 4 |a Discrete Mathematics. 
650 2 4 |a Optimization. 
650 2 4 |a Programming Techniques. 
650 2 4 |a Algorithms. 
700 1 |a Kratsch, Dieter.  |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 9783642265662 
776 0 8 |i Printed edition:  |z 9783642165320 
776 0 8 |i Printed edition:  |z 9783642165344 
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/978-3-642-16533-7  |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)