04632nam 22008175 450 99646531910331620230406052645.03-540-79723-810.1007/978-3-540-79723-4(CKB)1000000000440627(SSID)ssj0000319341(PQKBManifestationID)11256974(PQKBTitleCode)TC0000319341(PQKBWorkID)10338406(PQKB)10244623(DE-He213)978-3-540-79723-4(MiAaPQ)EBC4975642(MiAaPQ)EBC5577216(MiAaPQ)EBC6511694(Au-PeEL)EBL4975642(CaONFJC)MIL185524(OCoLC)1024244816(Au-PeEL)EBL5577216(OCoLC)272306830(Au-PeEL)EBL6511694(PPN)127049495(EXLCZ)99100000000044062720100301d2008 u| 0engurnn|008mamaatxtccrParameterized and Exact Computation[electronic resource] Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008, Proceedings /edited by Martin Grohe, Rolf Niedermeier1st ed. 2008.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2008.1 online resource (X, 227 p.) Theoretical Computer Science and General Issues,2512-2029 ;5018Includes index.3-540-79722-X 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.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.Theoretical Computer Science and General Issues,2512-2029 ;5018Computer scienceAlgorithmsArtificial intelligence—Data processingComputer science—MathematicsDiscrete mathematicsTheory of ComputationAlgorithmsData ScienceDiscrete Mathematics in Computer ScienceComputer science.Algorithms.Artificial intelligence—Data processing.Computer science—Mathematics.Discrete mathematics.Theory of Computation.Algorithms.Data Science.Discrete Mathematics in Computer Science.530.11Niedermeier RolfGrohe M.MiAaPQMiAaPQMiAaPQBOOK996465319103316Parameterized and Exact Computation772030UNISA