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

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

Solving connectivity problems parameterized by treewidth in single exponential time

M Cygan, J Nederlof, M Pilipczuk… - 2011 IEEE 52nd …, 2011 - ieeexplore.ieee.org
For the vast majority of local problems on graphs of small tree width (where by local we
mean that a solution can be verified by checking separately the neighbourhood of each …

[HTML][HTML] Deterministic single exponential time algorithms for connectivity problems parameterized by treewidth

HL Bodlaender, M Cygan, S Kratsch… - Information and …, 2015 - Elsevier
It is well known that many local graph problems, like Vertex Cover and Dominating Set, can
be solved in time 2 O (tw)| V| O (1) for graphs G=(V, E) with a given tree decomposition of …

Dynamic programming on tree decompositions using generalised fast subset convolution

JMM Van Rooij, HL Bodlaender… - Algorithms-ESA 2009: 17th …, 2009 - Springer
In this paper, we show that algorithms on tree decompositions can be made faster with the
use of generalisations of fast subset convolution. Amongst others, this gives algorithms that …

Fast hamiltonicity checking via bases of perfect matchings

M Cygan, S Kratsch, J Nederlof - Journal of the ACM (JACM), 2018 - dl.acm.org
For an even integer t≥ 2, the Matching Connectivity matrix H t is a matrix that has rows and
columns both labeled by all perfect matchings of the complete graph on t vertices; an entry H …

Structure theorem and isomorphism test for graphs with excluded topological subgraphs

M Grohe, D Marx - Proceedings of the forty-fourth annual ACM …, 2012 - dl.acm.org
We generalize the structure theorem of Robertson and Seymour for graphs excluding a fixed
graph H as a minor to graphs excluding H as a topological subgraph. We prove that for a …

Subexponential parameterized algorithms

F Dorn, FV Fomin, DM Thilikos - Computer Science Review, 2008 - Elsevier
We give a review of a series of techniques and results on the design of subexponential
parameterized algorithms for graph problems. The design of such algorithms usually …

Linear kernels and single-exponential algorithms via protrusion decompositions

EJ Kim, A Langer, C Paul, F Reidl… - ACM Transactions on …, 2015 - dl.acm.org
We present a linear-time algorithm to compute a decomposition scheme for graphs G that
have a set X⊆ V (G), called a treewidth-modulator, such that the treewidth of G− X is …

Efficient exact algorithms on planar graphs: Exploiting sphere cut decompositions

F Dorn, E Penninkx, HL Bodlaender, FV Fomin - Algorithmica, 2010 - Springer
We present a general framework for designing fast subexponential exact and parameterized
algorithms on planar graphs. Our approach is based on geometric properties of planar …