Cantitate/Preț
Produs
Total produse
Vezi coșul
Parameterized and Exact Computation: 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings de Venkatesh Raman

Parameterized and Exact Computation: 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings: Lecture Notes in Computer Science, cartea 6478

Editat de Venkatesh Raman, Saket Saurabh
en Limba Engleză Paperback – 22 noi 2010

În domeniul cercetării fundamentale a algoritmilor, eficiența nu mai este măsurată doar prin prisma timpului polinomial clasic, ci prin finețea cu care gestionăm parametrii structurali ai datelor. Parameterized and Exact Computation, editată de Venkatesh Raman și Saket Saurabh, reprezintă o colecție tehnică riguroasă ce documentează progresele prezentate la simpozionul IPEC 2010 din Chennai. Remarcăm o concentrare majoră pe tehnici de kernelizare și complexitate parametrizată (FPT), instrumente esențiale pentru abordarea problemelor NP-dure care apar frecvent în optimizarea rețelelor și bioinformatică.

Structura volumului este organizată în jurul celor 19 lucrări selectate, oferind o progresie de la fundamente teoretice la aplicații practice. De exemplu, regăsim analize detaliate despre complexitatea satisfiabilității pe grafuri rare și noi limite inferioare pentru Max-SAT, culminând cu studii despre complexitatea multivariată în contexte economice, cum ar fi Swap Bribery. Dacă Algorithms and Complexity de Pinar Heggernes v-a oferit cadrul teoretic general al eficienței computaționale, acest volum oferă instrumentele practice și demonstrațiile matematice necesare pentru a rafina algoritmii exacți dincolo de limitele teoretice standard.

Credem că valoarea acestui titlu rezidă în abordarea specifică a structurilor de grafuri, explorând concepte precum „protrusions” și măsuri de lățime pentru digrafuri. Este o resursă densă, adresată specialiștilor care doresc să înțeleagă relația dintre ierarhiile de complexitate tradiționale și tehnicile moderne de reducere a datelor, esențiale în dezvoltarea software-ului de înaltă performanță.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 31830 lei

Preț vechi: 39788 lei
-20%

Puncte Express: 477

Carte disponibilă

Livrare economică 25 mai-08 iunie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783642174926
ISBN-10: 3642174922
Pagini: 249
Ilustrații: X, 239 p. 18 illus.
Dimensiuni: 6 x 91 x 18 mm
Greutate: 0.38 kg
Ediția:2010
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

De ce să citești această carte

Recomandăm acest volum cercetătorilor și studenților la doctorat în informatică teoretică. Cititorul câștigă o înțelegere profundă a tehnicilor de kernelizare și a modului în care parametrizarea poate face problemele computaționale dificile abordabile în practică. Este un instrument esențial pentru cei care lucrează la intersecția dintre teoria grafurilor și designul algoritmilor avansați.

Cuprins

The Complexity of Satisfaction on Sparse Graphs.- Protrusions in Graphs and Their Applications.- Parameterized Complexity Results in Symmetry Breaking.- On the Kernelization Complexity of Colorful Motifs.- Partial Kernelization for Rank Aggregation: Theory and Experiments.- Enumerate and Measure: Improving Parameter Budget Management.- On the Exact Complexity of Evaluating Quantified k-CNF.- Cluster Editing: Kernelization Based on Edge Cuts.- Computing the Deficiency of Housing Markets with Duplicate Houses.- A New Lower Bound on the Maximum Number of Satisfied Clauses in Max-SAT and Its Algorithmic Application.- An Improved FPT Algorithm and Quadratic Kernel for Pathwidth One Vertex Deletion.- Multivariate Complexity Analysis of Swap Bribery.- Parameterizing by the Number of Numbers.- Are There Any Good Digraph Width Measures?.- On the (Non-)existence of Polynomial Kernels for P l -free Edge Modification Problems.- Parameterized Complexity Results for General Factors in Bipartite Graphs with an Application to Constraint Programming.- On the Grundy Number of a Graph.- Exponential Time Complexity of Weighted Counting of Independent Sets.- The Exponential Time Complexity of Computing the Probability That a Graph Is Connected.- Inclusion/Exclusion Branching for Partial Dominating Set and Set Splitting.- Small Vertex Cover Makes Petri Net Coverability and Boundedness Easier.- Proper Interval Vertex Deletion.

Caracteristici

Unique visibility State-of-the-art survey Fast-track conference proceedings

Descriere

This book constitutes the refereed best selected papers of the 5th International Symposium on Parameterized and Exact Computation, IPEC 2010, held in Chennai, India, in December 2010. The 19 revised full papers presented were carefully reviewed and selected from 32 submissions. The topics addressed cover research in all aspects of parameterized and exact computation and complexity, including but not limited to new techniques for the design and analysis of parameterized and exact algorithms; parameterized complexity theory; relationship between parameterized complexity and traditional complexity classifications; applications of parameterized and exact computation; implementation issues of parameterized and exact algorithms; fixed-parameter approximation; fast approximation in exponential time; kernelization lower and upper bounds.