English
Related papers

Related papers: A note on the complexity of Feedback Vertex Set pa…

200 papers

Treewidth is a useful tool in designing graph algorithms. Although many NP-hard graph problems can be solved in linear time when the input graphs have small treewidth, there are problems which remain hard on graphs of bounded treewidth. In…

Data Structures and Algorithms · Computer Science 2024-01-22 Huairui Chu , Bingkai Lin

Vertex Cover parameterized by the solution size k is the quintessential fixed-parameter tractable problem. FPT algorithms are most interesting when the parameter is small. Several lower bounds on k are well-known, such as the maximum size…

Data Structures and Algorithms · Computer Science 2022-08-22 Leon Kellerhals , Tomohiro Koana , Pascal Kunz

The Directed Feedback Vertex Set (DFVS) problem takes as input a directed graph~$G$ and seeks a smallest vertex set~$S$ that hits all cycles in $G$. This is one of Karp's 21 $\mathsf{NP}$-complete problems. Resolving the parameterized…

Data Structures and Algorithms · Computer Science 2020-03-06 Alexander Göke , Dániel Marx , Matthias Mnich

In this work, we study the Biclique-Free Vertex Deletion problem: Given a graph $G$ and integers $k$ and $i \le j$, find a set of at most $k$ vertices that intersects every (not necessarily induced) biclique $K_{i, j}$ in $G$. This is a…

Data Structures and Algorithms · Computer Science 2024-11-20 Lito Goldmann , Leon Kellerhals , Tomohiro Koana

We give alternative definitions for maximum matching width, e.g. a graph $G$ has $\operatorname{mmw}(G) \leq k$ if and only if it is a subgraph of a chordal graph $H$ and for every maximal clique $X$ of $H$ there exists $A,B,C \subseteq X$…

Data Structures and Algorithms · Computer Science 2015-07-10 Jisu Jeong , Sigve Hortemo Sæther , Jan Arne Telle

In this paper, we investigate the complexity of Maximum Independent Set (MIS) in the class of $H$-free graphs, that is, graphs excluding a fixed graph as an induced subgraph. Given that the problem remains $NP$-hard for most graphs $H$, we…

Data Structures and Algorithms · Computer Science 2019-02-21 Édouard Bonnet , Nicolas Bousquet , Pierre Charbit , Stéphan Thomassé , Rémi Watrigant

Many combinatorial problems can be solved in time $O^*(c^{tw})$ on graphs of treewidth $tw$, for a problem-specific constant $c$. In several cases, matching upper and lower bounds on $c$ are known based on the Strong Exponential Time…

Computational Complexity · Computer Science 2018-06-28 Bas A. M. van Geffen , Bart M. P. Jansen , Arnoud A. W. M. de Kroon , Rolf Morel

A \emph{$t$-treewidth-modulator} of a graph $G$ is a set $X \subseteq V(G)$ such that the treewidth of $G-X$ is at most some constant $t-1$. In this paper, we present a novel algorithm to compute a decomposition scheme for graphs $G$ that…

Data Structures and Algorithms · Computer Science 2012-08-02 Eun Jung Kim , Alexander Langer , Christophe Paul , Felix Reidl , Peter Rossmanith , Ignasi Sau , Somnath Sikdar

Many problems are known to be solvable in subexponential parameterized time when the input graph is planar. The bidimensionality framework of Demaine, Fomin, Hajiaghay, and Thilikos [JACM'05] and the treewidth-pattern-covering approach by…

Data Structures and Algorithms · Computer Science 2026-04-02 Matthias Bentert , Fedor V. Fomin , Petr A. Golovach

The NP-complete problem Feedback Vertex Set is that of deciding whether or not it is possible, for a given integer $k\geq 0$, to delete at most $k$ vertices from a given graph so that what remains is a forest. The variant in which the…

Data Structures and Algorithms · Computer Science 2017-08-01 Marthe Bonamy , Konrad K. Dabrowski , Carl Feghali , Matthew Johnson , Daniel Paulusma

Boolean-width is a recently introduced graph parameter. Many problems are fixed parameter tractable when parametrized by boolean-width, for instance "Minimum Weighted Dominating Set" (MWDS) problem can be solved in $O^*(2^{3k})$ time given…

Discrete Mathematics · Computer Science 2011-07-11 Rémy Belmonte , Martin Vatshelle

We initiate the study of a new parameterization of graph problems. In a multiple interval representation of a graph, each vertex is associated to at least one interval of the real line, with an edge between two vertices if and only if an…

Data Structures and Algorithms · Computer Science 2011-12-19 Fedor V. Fomin , Serge Gaspers , Petr Golovach , Karol Suchan , Stefan Szeider , Erik Jan van Leeuwen , Martin Vatshelle , Yngve Villanger

The $d$-bounded-degree vertex deletion problem, to delete at most $k$ vertices in a given graph to make the maximum degree of the remaining graph at most $d$, finds applications in computational biology, social network analysis and some…

Data Structures and Algorithms · Computer Science 2016-08-23 Mingyu Xiao

We present a parameterized dichotomy for the \textsc{$k$-Sparsest Cut} problem in weighted and unweighted versions. In particular, we show that the weighted \textsc{$k$-Sparsest Cut} problem is NP-hard for every $k\geq 3$ even on graphs…

Computational Complexity · Computer Science 2023-04-04 Ramin Javadi , Amir Nikabadi

In this paper, we present an algorithm for computing a feedback vertex set of a unit disk graph of size $k$, if it exists, which runs in time $2^{O(\sqrt{k})}(n+m)$, where $n$ and $m$ denote the numbers of vertices and edges, respectively.…

Computational Geometry · Computer Science 2021-07-09 Shinwoo An , Eunjin Oh

In the Directed Long Cycle Hitting Set} problem we are given a directed graph $G$, and the task is to find a set $S$ of at most $k$ vertices/arcs such that $G-S$ has no cycle of length longer than $\ell$. We show that the problem can be…

Data Structures and Algorithms · Computer Science 2020-03-12 Alexander Göke , Dániel Marx , Matthias Mnich

In the problem (Unweighted) Max-Cut we are given a graph $G = (V,E)$ and asked for a set $S \subseteq V$ such that the number of edges from $S$ to $V \setminus S$ is maximal. In this paper we consider an even harder problem: (Weighted)…

Data Structures and Algorithms · Computer Science 2022-10-14 Hauke Brinkop , Klaus Jansen

A matching is a set of edges in a graph with no common endpoint. A matching M is called acyclic if the induced subgraph on the endpoints of the edges in M is acyclic. Given a graph G and an integer k, Acyclic Matching Problem seeks for an…

Computational Complexity · Computer Science 2022-10-05 Sahab Hajebi , Ramin Javadi

A tournament T=(V,A) is a directed graph in which there is exactly one arc between every pair of distinct vertices. Given a digraph on n vertices and an integer parameter k, the Feedback Arc Set problem asks whether the given digraph has a…

Data Structures and Algorithms · Computer Science 2009-10-29 Stéphane Bessy , Fedor V. Fomin , Serge Gaspers , Christophe Paul , Anthony Perez , Saket Saurabh , Stéphan Thomassé

In this paper we give upper bounds on the number of minimal separators and potential maximal cliques of graphs w.r.t. two graph parameters, namely vertex cover ($\operatorname{vc}$) and modular width ($\operatorname{mw}$). We prove that for…

Data Structures and Algorithms · Computer Science 2014-04-16 Fedor V. Fomin , Mathieu Liedloff , Pedro Montealegre , Ioan Todinca