[BOG][B] Kernelization: theory of parameterized preprocessing

FV Fomin, D Lokshtanov, S Saurabh, M Zehavi - 2019 - books.google.com
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 …

[BOG][B] Parameterized algorithms

M Cygan, FV Fomin, Ł Kowalik, D Lokshtanov, D Marx… - 2015 - Springer
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 …

[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 …

Kernelization lower bounds by cross-composition

HL Bodlaender, BMP Jansen, S Kratsch - SIAM Journal on Discrete …, 2014 - SIAM
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 …

A survey on approximation in parameterized complexity: Hardness and algorithms

AE Feldmann, E Lee, P Manurangsi - Algorithms, 2020 - mdpi.com
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 …

Lossy kernelization

D Lokshtanov, F Panolan, MS Ramanujan… - Proceedings of the 49th …, 2017 - dl.acm.org
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 …

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 …

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 …

A polynomial Turing-kernel for weighted independent set in bull-free graphs

S Thomassé, N Trotignon, K Vušković - Algorithmica, 2017 - Springer
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 …

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 …