English
Related papers

Related papers: Directed Feedback Vertex Set is Fixed-Parameter Tr…

200 papers

Given a graph $G$ and an integer $k$, the Feedback Vertex Set (FVS) problem asks if there is a vertex set $T$ of size at most $k$ that hits all cycles in the graph. The fixed-parameter tractability status of FVS in directed graphs was a…

Data Structures and Algorithms · Computer Science 2014-12-03 Rajesh Chitnis , Marek Cygan , MohammadTaghi Hajiaghayi , Dániel Marx

The Directed Feedback Vertex Set problem (DFVS) asks whether it is possible to remove at most $k$ vertices from a directed graph to make it acyclic. Whether DFVS is fixed-parameter tractable was a long-standing open problem in parameterized…

Data Structures and Algorithms · Computer Science 2024-10-22 Ziliang Xiong , Mingyu Xiao

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

The classical Feedback Vertex Set problem asks, for a given undirected graph G and an integer k, to find a set of at most k vertices that hits all the cycles in the graph G. Feedback Vertex Set has attracted a large amount of research in…

Data Structures and Algorithms · Computer Science 2011-08-02 Marek Cygan , Marcin Pilipczuk , Michal Pilipczuk , Jakub Onufry Wojtaszczyk

In the Directed Feedback Vertex Set (DFVS) problem, the input is a directed graph $D$ on $n$ vertices and $m$ edges, and an integer $k$. The objective is to determine whether there exists a set of at most $k$ vertices intersecting every…

Data Structures and Algorithms · Computer Science 2016-09-15 Daniel Lokshtanov , M. S. Ramanujan , Saket Saurabh

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

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

In the vertex connectivity augmentation problem, we are given an undirected $n$-vertex graph $G$, a set of links $L \subseteq \binom{V(G)}{2} \setminus E(G)$, and integers $\lambda$ and $k$. The task is to insert at most $k$ links from $L$…

Data Structures and Algorithms · Computer Science 2026-05-13 Tuukka Korhonen , Mikkel Thorup

We investigate the following above-guarantee parameterization of the classical Vertex Cover problem: Given a graph $G$ and $k\in\mathbb{N}$ as input, does $G$ have a vertex cover of size at most $(2LP-MM)+k$? Here $MM$ is the size of a…

Data Structures and Algorithms · Computer Science 2015-09-15 Shivam Garg , Geevarghese Philip

Given a graph G and k pairs of vertices (s_1,t_1), ..., (s_k,t_k), the k-Vertex-Disjoint Paths problem asks for pairwise vertex-disjoint paths P_1, ..., P_k such that P_i goes from s_i to t_i. Schrijver [SICOMP'94] proved that the…

Discrete Mathematics · Computer Science 2013-04-16 Marek Cygan , Dániel Marx , Marcin Pilipczuk , Michał Pilipczuk

A mixed graph is a graph with both directed and undirected edges. We present an algorithm for deciding whether a given mixed graph on $n$ vertices contains a feedback vertex set (FVS) of size at most $k$, in time $2^{O(k)}k! O(n^4)$. This…

Data Structures and Algorithms · Computer Science 2015-03-17 Paul Bonsma , Daniel Lokshtanov

We consider the parameterized complexity of the problem of tracking shortest s-t paths in graphs, motivated by applications in security and wireless networks. Given an undirected and unweighted graph with a source s and a destination t,…

Data Structures and Algorithms · Computer Science 2020-08-19 Aritra Banik , Pratibha Choudhary , Venkatesh Raman , Saket Saurabh

Feedback Vertex Set is a classic combinatorial optimization problem that asks for a minimum set of vertices in a given graph whose deletion makes the graph acyclic. From the point of view of parameterized algorithms and fixed-parameter…

Data Structures and Algorithms · Computer Science 2018-11-14 Krzysztof Kiljan , Marcin Pilipczuk

Given an undirected graph $G$, a collection $\{(s_1,t_1),..., (s_k,t_k)\}$ of pairs of vertices, and an integer $p$, the Edge Multicut problem ask if there is a set $S$ of at most $p$ edges such that the removal of $S$ disconnects every…

Data Structures and Algorithms · Computer Science 2015-03-17 Dániel Marx , Igor Razgon

We show fixed-parameter tractability of the Directed Multicut problem with three terminal pairs (with a randomized algorithm). This problem, given a directed graph $G$, pairs of vertices (called terminals) $(s_1,t_1)$, $(s_2,t_2)$, and…

Data Structures and Algorithms · Computer Science 2024-01-11 Meike Hatzel , Lars Jaffke , Paloma T. Lima , Tomáš Masařík , Marcin Pilipczuk , Roohani Sharma , Manuel Sorge

The Subset Feedback Vertex Set problem generalizes the classical Feedback Vertex Set problem and asks, for a given undirected graph $G=(V,E)$, a set $S \subseteq V$, and an integer $k$, whether there exists a set $X$ of at most $k$ vertices…

Data Structures and Algorithms · Computer Science 2015-12-09 Eva-Maria C. Hols , Stefan Kratsch

The Directed Rural Postman Problem (DRPP) can be formulated as follows: given a strongly connected directed multigraph $D=(V,A)$ with nonnegative integral weights on the arcs, a subset $R$ of $A$ and a nonnegative integer $\ell$, decide…

Data Structures and Algorithms · Computer Science 2014-04-01 Gregory Gutin , Magnus Wahlstrom , Anders Yeo

We study the Directed Feedback Vertex Set problem parameterized by the treewidth of the input graph. We prove that unless the Exponential Time Hypothesis fails, the problem cannot be solved in time $2^{o(t\log t)}\cdot n^{\mathcal{O}(1)}$…

Data Structures and Algorithms · Computer Science 2017-09-15 Marthe Bonamy , Łukasz Kowalik , Jesper Nederlof , Michał Pilipczuk , Arkadiusz Socała , Marcin Wrochna

In graph realization problems one is given a degree sequence and the task is to decide whether there is a graph whose vertex degrees match to the given sequence. This realization problem is known to be polynomial-time solvable when the…

Computational Complexity · Computer Science 2012-01-18 Sepp Hartung , André Nichterlein

Fixed-parameter algorithms and kernelization are two powerful methods to solve $\mathsf{NP}$-hard problems. Yet, so far those algorithms have been largely restricted to static inputs. In this paper we provide fixed-parameter algorithms and…

Data Structures and Algorithms · Computer Science 2017-07-04 Josh Alman , Matthias Mnich , Virginia Vassilevska Williams
‹ Prev 1 2 3 10 Next ›