[KÖNYV][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 …

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

[KÖNYV][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 …

Planar F-deletion: Approximation, kernelization and optimal FPT algorithms

FV Fomin, D Lokshtanov, N Misra… - 2012 IEEE 53rd Annual …, 2012 - ieeexplore.ieee.org
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 …

Practical algorithms for MSO model-checking on tree-decomposable graphs

A Langer, F Reidl, P Rossmanith, S Sikdar - Computer Science Review, 2014 - Elsevier
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 …

(Meta) kernelization

HL Bodlaender, FV Fomin, D Lokshtanov… - Journal of the ACM …, 2016 - dl.acm.org
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 …

Compression via matroids: a randomized polynomial kernel for odd cycle transversal

S Kratsch, M Wahlström - ACM Transactions on Algorithms (TALG), 2014 - dl.acm.org
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 …

[HTML][HTML] Towards fully multivariate algorithmics: Parameter ecology and the deconstruction of computational complexity

MR Fellows, BMP Jansen, F Rosamond - European Journal of …, 2013 - Elsevier
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 …