Parameterized and Exact Computation: Third International Workshop, Iwpec 2008, Victoria, Canada, May 14-16, 2008, Proceedings

ISBN-13: 9783540797227 / Angielski / Miękka / 2008 / 227 str.

Martin Grohe

Opis

The Third International Workshop on Parameterized and Exact Computation washeldinVictoria, B. C. duringMay14-16,2008. Theworkshopwasco-located with the 40th ACM Symposium on Theory of Computing, which took place in Victoria during May 17-20. Previousmeetings of the IWPECseries wereheld in Bergen, Norway 2004 and Zu ]rich, Switzerland 2006, both as part of the ALGO joint conference. TheInternationalWorkshoponParameterizedandExactComputationcovers research in all aspects of parameterized and exact computation and complexity, including but not limited to: new techniques for the design and analysis of - rameterizedandexactalgorithms, parameterizedcomplexitytheory, relationship betweenparameterizedcomplexityandtraditionalcomplexityclassi?cations, - plicationsofparameterizedcomputation, implementationandexperiments, hi- performancecomputing and ?xed-parametertractability. We received32 submissions. Eachsubmission wasreviewed by at least 3, and on the average 3. 9, Program Committee (PC) members. We held an electronic PC meeting using the EasyChair system. The committee decided to accept 17 papers. We would thoroughly like to thank the members of the PC: Yijia Chen, Shanghai, China Benny Chor, Tel Aviv, Israel FedorV. Fomin, Bergen, Norway Jiong Guo, Jena, Germany Gregory Gutin, London, UK MohammadTaghi Hajiaghayi, AT&T, USA Peter Jonsson, Link] oping, Sweden Iyad Kanj, Chicago, USA Dieter Kratsch, Metz, France D aniel Marx, Budapest, Hungary Prabhakar Ragde, Waterloo, Canada Kenneth W. Regan, Bu?alo, USA Ulrike Stege, Victoria, Canada Stephan Szeider, Durham, UK Todd Wareham, Newfoundland, Canada Osamu Watanabe, Tokyo, Japan and all external referees for the valuable work they put in the reviewing process. We would like to thank the three invited speakers Jianer Chen (Texas A&M University), Erik Demaine (MIT), and Stephan Kreutzer (Oxford University) for their contribution to the program of the workshop and their contributions for this proceedings volume.

Spis treści

Randomized Disposal of Unknowns and Implicitly Enforced Bounds on Parameters.- Algorithmic Graph Minors and Bidimensionality.- Algorithmic Meta-theorems.- Parameterized Complexity of the Smallest Degree-Constrained Subgraph Problem.- Fixed Structure Complexity.- An Improved Fixed-Parameter Algorithm for Minimum-Flip Consensus Trees.- An O *(1.0977 n ) Exact Algorithm for max independent set in Sparse Graphs.- New Fixed-Parameter Algorithms for the Minimum Quartet Inconsistency Problem.- Capacitated Domination and Covering: A Parameterized Perspective.- Some Fixed-Parameter Tractable Classes of Hypergraph Duality and Related Problems.- A Purely Democratic Characterization of W[1].- Parameterized Complexity and Approximability of the SLCS Problem.- FPT Algorithms for Path-Transversals and Cycle-Transversals Problems in Graphs.- Wheel-Free Deletion Is W[2]-Hard.- Parameterized Derandomization.- A Linear Kernel for Planar Feedback Vertex Set.- Parameterized Chess.- The Time Complexity of Constraint Satisfaction.- A Tighter Bound for Counting Max-Weight Solutions to 2SAT Instances.- Exact Algorithms for Edge Domination.

Blurb

This book constitutes the refereed proceedings of the Third International Workshop on Parameterized and Exact Computation, IWPEC 2008, held in Victoria, Canada, in May 2008 - co-located with the 40th ACM Symposium on Theory of Computing, STOC 2008.

The 17 revised full papers presented together with 3 invited lectures 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 computation, implementation and experiments, high-performance computing and fixed-parameter tractability.