参数化与精确计算/ Parameterized and exact computation
点此进入淘宝搜索页搜索分類: 图书,计算机/网络,计算机理论,
作者： Hans L. Bodlaender，Michael A. Langston 著
出 版 社： 湖北辞书出版社
出版时间： 2006-12-1字数：版次： 1页数： 277印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B N ： 9783540390985包装： 平装编辑推荐
The LNCS series reports state-of-the-art results in computer science research,development,and education,at a high level and in both printed and electronic form.Enjoying tight cooperation with the R&D community,with numerous individuals,as well as with prestigious organizations and societies,LNCS has grown into the most comprehensive computer science resarch forum available.
The scope of LNCS,including its subseries LNAI,spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields.The type of material publised traditionally includes.
-proceedings(published in time for the respective conference)
-post-proceedings(consisting of thoroughly revised final full papers)
-research monographs(which may be basde on outstanding PhD work,research projects,technical reports,etc.).
内容简介
This book constitutes the refereed proceedings of the Second International Workshop on Parameterized and Exact Computation, IWPEC 2006, held in Zurich, Switzerland, in September 2006 in the context of the combined conference ALGO 2006.
The 23 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from numerous 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, relationships between parameterized complexity and traditional complexity, applications of parameterized and exact computation, implementation issues and high-performance computing.
目录
Applying Modular Decomposition to Parameterized Bicluster Editing
The Cluster Editing Problem: Implementations and Experiments
The Parameterized Complexity of Maximality and Minimality Problems
Parameterizing MAX SNP Problelns Above Guaranteed Values
Randomized Approximations of Parameterized Counting Problems
Fixed-Parameter Complexity of Minimum Profile Problems
On the OBDD Size for Graphs of Bounded Tree- and Clique-Width
Greedy Localization and Color-Coding: Improved Matching and Packing Algorithms
Fixed-Parameter Approximation: Conceptual Framework and Approximability Results
On Parameterized Approximability
Parameterized Approximation Problems
An Exact Algorithm for the Minimum Dominating Clique Problem
EDGE DOMINATING SET: Efficient Enumeration-Based Exact Algorithms
Parameterized Complexity of Independence and Domination on Geometric Graphs
Fixed Parameter Tractability of Independent Set in Segment Intersection Graphs
On the Parameterized Complexity of d-Dimensional Point Set Pattern Matching
Finding a Minimum Feedback Vertex Set in Timeθ (1.7548n)
The Undirected Feedback Vertex Set Problem Has a Poly(k) Kernel
Fixed-Parameter Tractability Results for Full-Degree Spanning Tree and Its Dual
On the Effective Enumerability of NP Problems
The Parameterized Complexity of Enumerating Frequent Itemsets
Random Separation: A New Method for Solving Fixed-Cardinality Optimization Problems
Towards a Taxonomy of Techniques for Designing Parameterized Algorithms
Kernels: Annotated, Proper and Induced
……
Author Index
