English
Related papers

Related papers: A unified polynomial-time algorithm for Feedback V…

200 papers

Parameterized complexity theory has enabled a refined classification of the difficulty of NP-hard optimization problems on graphs with respect to key structural properties, and so to a better understanding of their true difficulties. More…

Data Structures and Algorithms · Computer Science 2017-10-19 David Coudert , Guillaume Ducoffe , Alexandru Popa

In the field of parameterized complexity theory, the study of graph width measures has been intimately connected with the development of width-based model checking algorithms for combinatorial properties on graphs. In this work, we…

Data Structures and Algorithms · Computer Science 2026-05-21 Mateus de Oliveira Oliveira , Sam Urmian

A breakthrough result of Cygan et al. (FOCS 2011) showed that connectivity problems parameterized by treewidth can be solved much faster than the previously best known time $\mathcal{O}^*(2^{\mathcal{O}(tw \log(tw))})$. Using their inspired…

Data Structures and Algorithms · Computer Science 2021-06-28 Falko Hegerfeld , Stefan Kratsch

In this paper we compare and illustrate the algorithmic use of graphs of bounded tree-width and graphs of bounded clique-width. For this purpose we give polynomial time algorithms for computing the four basic graph parameters independence…

Data Structures and Algorithms · Computer Science 2008-12-18 Frank Gurski

The notion of $\mathcal{H}$-treewidth, where $\mathcal{H}$ is a hereditary graph class, was recently introduced as a generalization of the treewidth of an undirected graph. Roughly speaking, a graph of $\mathcal{H}$-treewidth at most $k$…

Data Structures and Algorithms · Computer Science 2023-06-30 Bart M. P. Jansen , Jari J. H. de Kroon , Michal Wlodarczyk

In this paper, we propose an algorithm that, given an undirected graph $G$ of $m$ edges and an integer $k$, computes a graph $G'$ and an integer $k'$ in $O(k^4 m)$ time such that (1) the size of the graph $G'$ is $O(k^2)$, (2) $k'\leq k$,…

Data Structures and Algorithms · Computer Science 2017-02-20 Yoichi Iwata

In the Feedback Vertex Set problem, one is given an undirected graph $G$ and an integer $k$, and one needs to determine whether there exists a set of $k$ vertices that intersects all cycles of $G$ (a so-called feedback vertex set). Feedback…

Data Structures and Algorithms · Computer Science 2019-11-04 Jason Li , Jesper Nederlof

We recently introduced the graph invariant twin-width, and showed that first-order model checking can be solved in time $f(d,k)n$ for $n$-vertex graphs given with a witness that the twin-width is at most $d$, called $d$-contraction sequence…

Data Structures and Algorithms · Computer Science 2021-02-15 Édouard Bonnet , Colin Geniet , Eun Jung Kim , Stéphan Thomassé , Rémi Watrigant

In the classic Maximum Weight Independent Set problem we are given a graph $G$ with a nonnegative weight function on vertices, and the goal is to find an independent set in $G$ of maximum possible weight. While the problem is NP-hard in…

Data Structures and Algorithms · Computer Science 2020-03-24 Andrzej Grzesik , Tereza Klimošová , Marcin Pilipczuk , Michał Pilipczuk

De Berg et al. in [SICOMP 2020] gave an algorithmic framework for subexponential algorithms on geometric graphs with tight (up to ETH) running times. This framework is based on dynamic programming on graphs of weighted treewidth resulting…

Data Structures and Algorithms · Computer Science 2021-07-15 Fedor V. Fomin , Petr A. Golovach , Tanmay Inamdar , Saket Saurabh

We continue the study of $(\mathrm{tw},\omega)$-bounded graph classes, that is, hereditary graph classes in which the treewidth can only be large due to the presence of a large clique, with the goal of understanding the extent to which this…

Combinatorics · Mathematics 2023-12-19 Clément Dallard , Martin Milanič , Kenny Štorgel

In the PATH COVER problem, one asks to cover the vertices of a graph using the smallest possible number of (not necessarily disjoint) paths. While the variant where the paths need to be pairwise vertex-disjoint, which we call PATH…

Data Structures and Algorithms · Computer Science 2025-11-11 Florent Foucaud , Atrayee Majumder , Tobias Mömke , Aida Roshany-Tabrizi

The paper deals with the Feedback Vertex Set problem parameterized by the solution size. Given a graph $G$ and a parameter $k$, one has to decide if there is a set $S$ of at most $k$ vertices such that $G-S$ is acyclic. Assuming the…

Data Structures and Algorithms · Computer Science 2026-01-16 Gaétan Berthe , Marin Bougeret , Daniel Gonçalves , Jean-Florent Raymond

Given a clique-width $k$-expression of a graph $G$, we provide $2^{O(k)}\cdot n$ time algorithms for connectivity constraints on locally checkable properties such as Node-Weighted Steiner Tree, Connected Dominating Set, or Connected Vertex…

Computational Complexity · Computer Science 2018-08-21 Benjamin Bergougnoux , Mamadou Moustapha Kanté

Dynamic programming on various graph decompositions is one of the most fundamental techniques used in parameterized complexity. Unfortunately, even if we consider concepts as simple as path or tree decompositions, such dynamic programming…

Many hard graph problems can be solved efficiently when restricted to graphs of bounded treewidth, and more generally to graphs of bounded clique-width. But there is a price to be paid for this generality, exemplified by the four problems…

Data Structures and Algorithms · Computer Science 2014-05-01 Sigve Hortemo Sæther , Jan Arne Telle

We study connectivity problems from a fine-grained parameterized perspective. Cygan et al. (TALG 2022) obtained algorithms with single-exponential running time $\alpha^{tw} n^{O(1)}$ for connectivity problems parameterized by treewidth…

Data Structures and Algorithms · Computer Science 2023-03-01 Falko Hegerfeld , Stefan Kratsch

Tree-width and path-width are widely successful concepts. Many NP-hard problems have efficient solutions when restricted to graphs of bounded tree-width. Many efficient algorithms are based on a tree decomposition. Sometimes the more…

Data Structures and Algorithms · Computer Science 2016-06-22 Martin Fürer

We prove the following result about approximating the maximum independent set in a graph. Informally, we show that any approximation algorithm with a ``non-trivial'' approximation ratio (as a function of the number of vertices of the input…

Data Structures and Algorithms · Computer Science 2023-07-06 Parinya Chalermsook , Fedor Fomin , Thekla Hamm , Tuukka Korhonen , Jesper Nederlof , Ly Orgo

The tree-cut width of a graph is a graph parameter defined by Wollan [J. Comb. Theory, Ser. B, 110:47-66, 2015] with the help of tree-cut decompositions. In certain cases, tree-cut width appears to be more adequate than treewidth as an…

Data Structures and Algorithms · Computer Science 2018-05-16 Eunjung Kim , Sang-il Oum , Christophe Paul , Ignasi Sau , Dimitrios M. Thilikos