[图书][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 …

[图书][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 …

[图书][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 …

Kernel bounds for disjoint cycles and disjoint paths

HL Bodlaender, S Thomassé, A Yeo - Theoretical Computer Science, 2011 - Elsevier
In this paper, we show that the problems Disjoint Cycles and Disjoint Paths do not have
polynomial kernels, unless NP⊆ coNP/poly. Thus, these problems do not allow polynomial …

New limits to classical and quantum instance compression

A Drucker - SIAM Journal on Computing, 2015 - SIAM
Given an instance of a hard decision problem, a limited goal is to compress that instance
into a smaller, equivalent instance of a second problem. As one example, consider the …

SETH-based lower bounds for subset sum and bicriteria path

A Abboud, K Bringmann, D Hermelin… - ACM Transactions on …, 2022 - dl.acm.org
Subset Sumand k-SAT are two of the most extensively studied problems in computer
science, and conjectures about their hardness are among the cornerstones of fine-grained …

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 …