Vertex deletion parameterized by elimination distance and even less

BMP Jansen, JJH De Kroon… - Proceedings of the 53rd …, 2021 - dl.acm.org
We study the parameterized complexity of various classic vertex-deletion problems such as
Odd cycle transversal, Vertex planarization, and Chordal vertex deletion under hybrid …

Induced-minor-free graphs: Separator theorem, subexponential algorithms, and improved hardness of recognition

T Korhonen, D Lokshtanov - Proceedings of the 2024 Annual ACM-SIAM …, 2024 - SIAM
A graph G contains a graph H as an induced minor if H can be obtained from G by vertex
deletions and edge contractions. The class of H-induced-minor-free graphs generalizes the …

Parameterizing the quantification of CMSO: model checking on minor-closed graph classes

I Sau, G Stamoulis, DM Thilikos - Proceedings of the 2025 Annual ACM-SIAM …, 2025 - SIAM
Given a graph G and a vertex set X, the annotated treewidth tw (G, X) of X in G is the
maximum treewidth of an X-rooted minor of G, ie, a minor H where the model of each vertex …

Faster parameterized algorithms for modification problems to minor-closed classes

L Morelle, I Sau, G Stamoulis, DM Thilikos - TheoretiCS, 2024 - theoretics.episciences.org
Let G be a minor-closed graph class and let 𝐺 be an 𝑛-vertex graph. We say that 𝐺 is a 𝑘-
apex of G if 𝐺 contains a set 𝑆 of at most 𝑘 vertices such that 𝐺\𝑆 belongs to G. Our first …

Quasi-Ultrafilter on the Connectivity System: Its Relationship to Branch-Decomposition

T Fujita - International Journal of Mathematics Trends and …, 2024 - ijmttjournal.org
The exploration of graph width parameters, spanning both graph theory and algebraic
frameworks, has captured substantial attention. Among these, branch width has distinctly …

Parameterized max min feedback vertex set

M Lampis, N Melissinos, M Vasilakis - arXiv preprint arXiv:2302.09604, 2023 - arxiv.org
Given a graph $ G $ and an integer $ k $, Max Min FVS asks whether there exists a minimal
set of vertices of size at least $ k $ whose deletion destroys all cycles. We present several …

Hitting forbidden induced subgraphs on bounded treewidth graphs

I Sau, U dos Santos Souza - Information and Computation, 2021 - Elsevier
For a fixed graph H, the H-IS-Deletion problem asks, given a graph G, for the minimum size
of a set S⊆ V (G) such that G∖ S excludes H as an induced subgraph. We are interested in …

Model-checking for first-order logic with disjoint paths predicates in proper minor-closed graph classes

PA Golovach, G Stamoulis, DM Thilikos - … of the 2023 Annual ACM-SIAM …, 2023 - SIAM
The disjoint paths logic, FOL+ DP, is an extension of First-Order Logic (FOL) with the extra
atomic predicate dp k (x 1, y 1,…, xk, yk), expressing the existence of internally vertex …

An FPT-algorithm for recognizing k-apices of minor-closed graph classes

I Sau, G Stamoulis, DM Thilikos - 47th International Colloquium …, 2020 - drops.dagstuhl.de
Let G be a graph class. We say that a graph G is a k-apex of G if G contains a set S of at most
k vertices such that G⧵ S belongs to G. We prove that if G is minor-closed, then there is an …

Close relatives of feedback vertex set without single-exponential algorithms parameterized by treewidth

B Bergougnoux, É Bonnet, N Brettell, O Kwon - arXiv preprint arXiv …, 2020 - arxiv.org
The Cut & Count technique and the rank-based approach have lead to single-exponential
FPT algorithms parameterized by treewidth, that is, running in time $2^{O (tw)} n^{O (1)} …