Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
[KÖNYV][B] Kernelization: theory of parameterized preprocessing
Preprocessing, or data reduction, is a standard technique for simplifying and speeding up
computation. Written by a team of experts in the field, this book introduces a rapidly …
computation. Written by a team of experts in the field, this book introduces a rapidly …
[KÖNYV][B] Fundamentals of parameterized complexity
RG Downey, MR Fellows - 2013 - Springer
Parameterized complexity/multivariate complexity algorithmics is an exciting field of modern
algorithm design and analysis, with a broad range of theoretical and practical aspects that …
algorithm design and analysis, with a broad range of theoretical and practical aspects that …
[KÖNYV][B] Parameterized algorithms
The goal of this textbook is twofold. First, the book serves as an introduction to the field of
parameterized algorithms and complexity accessible to graduate students and advanced …
parameterized algorithms and complexity accessible to graduate students and advanced …
[PDF][PDF] Recent developments in kernelization: A survey
S Kratsch - Bulletin of EATCS, 2014 - smtp.eatcs.org
Kernelization is a formalization of efficient preprocessing, aimed mainly at combinatorially
hard problems. Empirically, preprocessing is highly successful in practice, eg, in state-of-the …
hard problems. Empirically, preprocessing is highly successful in practice, eg, in state-of-the …
Kernelization lower bounds by cross-composition
We introduce the framework of cross-composition for proving kernelization lower bounds. A
classical problem L\and/or-cross-composes into a parameterized problem Q if it is possible …
classical problem L\and/or-cross-composes into a parameterized problem Q if it is possible …
Planar F-deletion: Approximation, kernelization and optimal FPT algorithms
Let F be a finite set of graphs. In the F-DELETION problem, we are given an n-vertex graph
G and an integer k as input, and asked whether at most k vertices can be deleted from G …
G and an integer k as input, and asked whether at most k vertices can be deleted from G …
Practical algorithms for MSO model-checking on tree-decomposable graphs
In this survey, we review practical algorithms for graph-theoretic problems that are
expressible in monadic second-order logic. Monadic second-order (MSO) logic allows …
expressible in monadic second-order logic. Monadic second-order (MSO) logic allows …
(Meta) kernelization
In a parameterized problem, every instance I comes with a positive integer k. The problem is
said to admit a polynomial kernel if, in polynomial time, one can reduce the size of the …
said to admit a polynomial kernel if, in polynomial time, one can reduce the size of the …
Compression via matroids: a randomized polynomial kernel for odd cycle transversal
The Odd Cycle Transversal problem (OCT) asks whether a given undirected graph can be
made bipartite by deleting at most k of its vertices. In a breakthrough result, Reed, Smith, and …
made bipartite by deleting at most k of its vertices. In a breakthrough result, Reed, Smith, and …
[HTML][HTML] Towards fully multivariate algorithmics: Parameter ecology and the deconstruction of computational complexity
The aim of this article is to motivate and describe the parameter ecology program, which
studies how different parameters contribute to the difficulty of classical problems. We call for …
studies how different parameters contribute to the difficulty of classical problems. We call for …