English
Related papers

Related papers: Directed Subset Feedback Vertex Set is Fixed-Param…

200 papers

In the DELETION TO INDUCED MATCHING problem, we are given a graph $G$ on $n$ vertices, $m$ edges and a non-negative integer $k$ and asks whether there exists a set of vertices $S \subseteq V(G) $ such that $|S|\le k$ and the size of any…

Data Structures and Algorithms · Computer Science 2020-11-30 Akash Kumar , Mithilesh Kumar

The Minimum Vertex Cover problem, a classical NP-complete problem, presents significant challenges for exact solution on large graphs. Fixed-Parameter Tractability (FPT) offers a powerful paradigm to address such problems by exploiting a…

Data Structures and Algorithms · Computer Science 2025-07-15 Mumuksh Tayal

In this short note, we show that cutting cycles of rods is fixed-parameter tractable by reducing the problem to computing a feedback vertex set in a mixed graph.

Computational Geometry · Computer Science 2020-04-13 Mitchell Jones

We combine ideas from distance sensitivity oracles (DSOs) and fixed-parameter tractability (FPT) to design sensitivity oracles for FPT graph problems. An oracle with sensitivity $f$ for an FPT problem $\Pi$ on a graph $G$ with parameter $k$…

Data Structures and Algorithms · Computer Science 2021-12-07 Davide Bilò , Katrin Casel , Keerti Choudhary , Sarel Cohen , Tobias Friedrich , J. A. Gregor Lagodzinski , Martin Schirneck , Simon Wietheger

A tournament is a directed graph T such that every pair of vertices are connected by an arc. A feedback vertex set is a set S of vertices in T such that T - S is acyclic. In this article we consider the Feedback Vertex Set problem in…

Data Structures and Algorithms · Computer Science 2015-10-28 Mithilesh Kumar , Daniel Lokshtanov

We study reduction rules for Directed Feedback Vertex Set (DFVS) on directed graphs without long cycles. A DFVS instance without cycles longer than $d$ naturally corresponds to an instance of $d$-Hitting Set, however, enumerating all cycles…

Data Structures and Algorithms · Computer Science 2025-01-23 Jona Dirks , Enna Gerhard , Mario Grobler , Amer E. Mouawad , Sebastian Siebertz

In this paper we study the fixed-parameter tractability of the problem of deciding whether a given temporal graph admits a temporal walk that visits all vertices (temporal exploration) or, in some problem variants, a certain subset of the…

Data Structures and Algorithms · Computer Science 2022-12-06 Thomas Erlebach , Jakob T. Spooner

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

We discuss approximability and inapproximability in FPT-time for a large class of subset problems where a feasible solution $S$ is a subset of the input data and the value of $S$ is $|S|$. The class handled encompasses many well-known…

Computational Complexity · Computer Science 2013-10-22 Edouard Bonnet , Vangelis Th. Paschos

Let $G=(V,E)$ be a graph on $n$ vertices and $R$ be a set of pairs of vertices in $V$ called \emph{requests}. A \emph{multicut} is a subset $F$ of $E$ such that every request $xy$ of $R$ is cut by $F$, \i.e. every $xy$-path of $G$…

Data Structures and Algorithms · Computer Science 2010-11-24 Nicolas Bousquet , Jean Daligault , Stéphan Thomassé

In a large-scale network, we want to choose some influential nodes to make a profit by paying some cost within a limited budget so that we do not have to spend more budget on some nodes adjacent to the chosen nodes; our problem is the…

Data Structures and Algorithms · Computer Science 2026-01-30 Sipra Singh

We study two "above guarantee" versions of the classical Longest Path problem on undirected and directed graphs and obtain the following results. In the first variant of Longest Path that we study, called Longest Detour, the task is to…

Data Structures and Algorithms · Computer Science 2022-01-11 Fedor V. Fomin , Petr A. Golovach , William Lochet , Danil Sagunov , Kirill Simonov , Saket Saurabh

The $k$-Even Set problem is a parameterized variant of the Minimum Distance Problem of linear codes over $\mathbb F_2$, which can be stated as follows: given a generator matrix $\mathbf A$ and an integer $k$, determine whether the code…

Computational Complexity · Computer Science 2018-03-28 Arnab Bhattacharyya , Suprovat Ghoshal , Karthik C. S. , Pasin Manurangsi

The Feedback Vertex Set problem is undoubtedly one of the most well-studied problems in Parameterized Complexity. In this problem, given an undirected graph $G$ and a non-negative integer $k$, the objective is to test whether there exists a…

Data Structures and Algorithms · Computer Science 2020-09-30 Kishen N. Gowda , Aditya Lonkar , Fahad Panolan , Vraj Patel , Saket Saurabh

A prototypical graph problem is centered around a graph-theoretic property for a set of vertices and a solution to it is a set of vertices for which the desired property holds. The task is to decide whether, in the given graph, there exists…

Computational Complexity · Computer Science 2020-06-11 Dušan Knop , Tomáš Masařík , Tomáš Toufar

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

We study an "above guarantee" version of the {\sc Longest Path} problem in directed graphs: We are given a graph $G$, two vertices $s$ and $t$ of $G$, and a non-negative integer $k$, and the objective is to determine whether $G$ contains a…

Data Structures and Algorithms · Computer Science 2023-01-25 Ashwin Jacob , Michał Włodarczyk , Meirav Zehavi

We study a generalization of the classic Spanning Tree problem that allows for a non-uniform failure model. More precisely, edges are either \emph{safe} or \emph{unsafe} and we assume that failures only affect unsafe edges. In Unweighted…

Discrete Mathematics · Computer Science 2024-02-29 Matthias Bentert , Jannik Schestag , Frank Sommer

We show a flow-augmentation algorithm in directed graphs: There exists a randomized polynomial-time algorithm that, given a directed graph $G$, two vertices $s,t \in V(G)$, and an integer $k$, adds (randomly) to $G$ a number of arcs such…

Data Structures and Algorithms · Computer Science 2023-02-16 Eun Jung Kim , Stefan Kratsch , Marcin Pilipczuk , Magnus Wahlström

A typical example that behaves computationally different in subclasses of chordal graphs is the \textsc{Subset Feedback Vertex Set} (SFVS) problem: given a vertex-weighted graph $G=(V,E)$ and a set $S\subseteq V$, the \textsc{Subset…

Data Structures and Algorithms · Computer Science 2021-08-05 Charis Papadopoulos , Spyridon Tzimas