English
Related papers

Related papers: Hitting Long Directed Cycles is Fixed-Parameter Tr…

200 papers

In the Hedge Cut problem, the edges of a graph are partitioned into groups called hedges, and the question is what is the minimum number of hedges to delete to disconnect the graph. Ghaffari, Karger, and Panigrahi [SODA 2017] showed that…

Data Structures and Algorithms · Computer Science 2024-10-24 Fedor V. Fomin , Petr A. Golovach , Tuukka Korhonen , Daniel Lokshtanov , Saket Saurabh

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

Research of cycles through specific vertices is a central topic in graph theory. In this context, we focus on a well-studied computational problem, \textsc{$T$-Cycle}: given an undirected $n$-vertex graph $G$ and a set of $k$ vertices…

Data Structures and Algorithms · Computer Science 2025-04-29 Harmender Gahlawat , Abhishek Rathod , Meirav Zehavi

The Max-Cut problem is known to be NP-hard on general graphs, while it can be solved in polynomial time on planar graphs. In this paper, we present a fixed-parameter tractable algorithm for the problem on `almost' planar graphs: Given an…

Data Structures and Algorithms · Computer Science 2019-05-27 Yasuaki Kobayashi , Yusuke Kobayashi , Shuichi Miyazaki , Suguru Tamaki

The MULTICUT problem, given a graph G, a set of terminal pairs T={(s_i,t_i) | 1 <= i <= r} and an integer p, asks whether one can find a cutset consisting of at most p non-terminal vertices that separates all the terminal pairs, i.e., after…

Data Structures and Algorithms · Computer Science 2012-02-28 Stefan Kratsch , Marcin Pilipczuk , Michał Pilipczuk , Magnus Wahlström

We show that for various classes C of sparse graphs, and several measures of distance to such classes (such as edit distance and elimination distance), the problem of determining the distance of a given graph G to C is fixed-parameter…

Data Structures and Algorithms · Computer Science 2015-02-23 Jannis Bulian , Anuj Dawar

Fixed-parameter tractability analysis and scheduling are two core domains of combinatorial optimization which led to deep understanding of many important algorithmic questions. However, even though fixed-parameter algorithms are appealing…

Data Structures and Algorithms · Computer Science 2013-11-19 Matthias Mnich , Andreas Wiese

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

Hitting Set is a classic problem in combinatorial optimization. Its input consists of a set system F over a finite universe U and an integer t; the question is whether there is a set of t elements that intersects every set in F. The Hitting…

Data Structures and Algorithms · Computer Science 2015-07-27 Bart M. P. Jansen

Temporal graphs are introduced to model systems where the relationships among the entities of the system evolve over time. In this paper, we consider the temporal graphs where the edge set changes with time and all the changes are known a…

Data Structures and Algorithms · Computer Science 2025-08-15 Rinku Kumar , Bodhisatwa Mazumdar , Subhrangsu Mandal

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

We study the parameterized complexity of the directed variant of the classical {\sc Steiner Tree} problem on various classes of directed sparse graphs. While the parameterized complexity of {\sc Steiner Tree} parameterized by the number of…

Data Structures and Algorithms · Computer Science 2012-10-02 Mark Jones , Daniel Lokshtanov , M. S. Ramanujan , Saket Saurabh , Ondřej Suchý

Given a graph $G$ with source and destination vertices $s,t\in V(G)$ respectively, \textsc{Tracking Paths} asks for a minimum set of vertices $T\subseteq V(G)$, such that the sequence of vertices encountered in each simple path from $s$ to…

Data Structures and Algorithms · Computer Science 2020-08-25 Pratibha Choudhary , Venkatesh Raman

Inversion of a directed graph $D$ with respect to a vertex subset $Y$ is the directed graph obtained from $D$ by reversing the direction of every arc whose endpoints both lie in $Y$. More generally, the inversion of $D$ with respect to a…

Data Structures and Algorithms · Computer Science 2026-04-08 Dhanyamol Antony , L. Sunil Chandran , Dalu Jacob , R. B. Sandeep

We study the parameterized complexity of two classic problems on directed graphs: Hamiltonian Cycle and its generalization {\sc Longest Cycle}. Since 2008, it is known that Hamiltonian Cycle is W[1]-hard when parameterized by directed…

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

We present an algorithm for the extensively studied Long Path and Long Cycle problems on unit disk graphs that runs in time $2^{O(\sqrt{k})}(n+m)$. Under the Exponential Time Hypothesis, Long Path and Long Cycle on unit disk graphs cannot…

Data Structures and Algorithms · Computer Science 2020-03-03 Fedor V. Fomin , Daniel Lokshtanov , Fahad Panolan , Saket Saurabh , Meirav Zehavi

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

We consider a the minimum k-way cut problem for unweighted graphs with a size bound s on the number of cut edges allowed. Thus we seek to remove as few edges as possible so as to split a graph into k components, or report that this requires…

Discrete Mathematics · Computer Science 2011-01-27 Ken-ichi Kawarabayashi , Mikkel Thorup

We study the fixed-parameter tractability of the following fundamental problem: given two directed graphs $\vec H$ and $\vec G$, count the number of copies of $\vec H$ in $\vec G$. The standard setting, where the tractability is well…

Computational Complexity · Computer Science 2022-11-04 Marco Bressan , Matthias Lanzinger , Marc Roth

An undirected graph is Eulerian if it is connected and all its vertices are of even degree. Similarly, a directed graph is Eulerian, if for each vertex its in-degree is equal to its out-degree. It is well known that Eulerian graphs can be…

Data Structures and Algorithms · Computer Science 2013-04-23 Fedor V. Fomin , Petr A. Golovach