[BOG][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 …
[BOG][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 …
A survey on approximation in parameterized complexity: Hardness and algorithms
Parameterization and approximation are two popular ways of co** with NP-hard
problems. More recently, the two have also been combined to derive many interesting …
problems. More recently, the two have also been combined to derive many interesting …
Lossy kernelization
In this paper we propose a new framework for analyzing the performance of preprocessing
algorithms. Our framework builds on the notion of kernelization from parameterized …
algorithms. Our framework builds on the notion of kernelization from parameterized …
Planar disjoint paths, treewidth, and kernels
M Włodarczyk, M Zehavi - 2023 IEEE 64th Annual Symposium …, 2023 - ieeexplore.ieee.org
In the PLANAR DISJOINT PATHS problem, one is given an undirected planar graph with a
set of k vertex pairs \left(s_i,t_i\right) and the task is to find k pairwise vertex-disjoint paths …
set of k vertex pairs \left(s_i,t_i\right) and the task is to find k pairwise vertex-disjoint paths …
Directed multicut is W [1]-hard, even for four terminal pairs
M Pilipczuk, M Wahlström - ACM Transactions on Computation Theory …, 2018 - dl.acm.org
We prove that Multicut in directed graphs, parameterized by the size of the cutset, is W [1]-
hard and hence unlikely to be fixed-parameter tractable even if restricted to instances with …
hard and hence unlikely to be fixed-parameter tractable even if restricted to instances with …
A polynomial Turing-kernel for weighted independent set in bull-free graphs
The maximum stable set problem is NP-hard, even when restricted to triangle-free graphs. In
particular, one cannot expect a polynomial time algorithm deciding if a bull-free graph has a …
particular, one cannot expect a polynomial time algorithm deciding if a bull-free graph has a …
Parameter ecology for feedback vertex set
BMP Jansen, V Raman… - Tsinghua Science and …, 2014 - ieeexplore.ieee.org
This paper deals with the FEEDBACK VERTEX SET problem on undirected graphs, which
asks for the existence of a vertex set of bounded size that intersects all cycles. Due it is …
asks for the existence of a vertex set of bounded size that intersects all cycles. Due it is …