English
Related papers

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

200 papers

We study the minimum \emph{interval deletion} problem, which asks for the removal of a set of at most $k$ vertices to make a graph of $n$ vertices into an interval graph. We present a parameterized algorithm of runtime $10^k \cdot n^{O(1)}$…

Data Structures and Algorithms · Computer Science 2014-05-07 Yixin Cao , Dániel Marx

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

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

In this paper we present the first dynamic algorithms for the problem of Feedback Arc Set in Tournaments (FAST) and the problem of Feedback Vertex Set in Tournaments (FVST). Our algorithms maintain a dynamic tournament on n vertices altered…

Data Structures and Algorithms · Computer Science 2024-04-22 Anna Zych-Pawlewicz , Marek Żochowski

We introduce a general method for obtaining fixed-parameter algorithms for problems about finding paths in undirected graphs, where the length of the path could be unbounded in the parameter. The first application of our method is as…

Data Structures and Algorithms · Computer Science 2022-07-18 Fedor V. Fomin , Petr A. Golovach , Tuukka Korhonen , Kirill Simonov , Giannos Stamoulis

Fixed parameter tractable (FPT) algorithms run in time f(p(x)) poly(|x|), where f is an arbitrary function of some parameter p of the input x and poly is some polynomial function. Treewidth, branchwidth, cliquewidth, NLC-width, rankwidth,…

Combinatorics · Mathematics 2018-02-20 Jakub Marecek

{\sc Directed Feedback Vertex Set (DFVS)} is a fundamental computational problem that has received extensive attention in parameterized complexity. In this paper, we initiate the study of a wide generalization, the {\sc ${\cal H}$-free SCC…

Data Structures and Algorithms · Computer Science 2020-08-25 Rian Neogi , M. S. Ramanujan , Saket Saurabh , Roohani Sharma

The classical, linear-time solvable Feedback Edge Set problem is concerned with finding a minimum number of edges intersecting all cycles in a (static, unweighted) graph. We provide a first study of this problem in the setting of temporal…

Discrete Mathematics · Computer Science 2021-09-13 Roman Haag , Hendrik Molter , Rolf Niedermeier , Malte Renken

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

In the weighted partial vertex cover problem (WPVC), we are given a graph $G=(V,E)$, cost function $c:V\rightarrow N$, profit function $p:E\rightarrow N$, and positive integers $R$ and $L$. The goal is to check whether there is a subset…

Discrete Mathematics · Computer Science 2019-04-30 Vahan Mkrtchyan , Garik Petrosyan , K. Subramani

In this paper, we study fundamental parameterized problems such as $k$-Path/Cycle, Vertex Cover, Triangle Hitting Set, Feedback Vertex Set, and Cycle Packing for dynamic unit disk graphs. Given a vertex set $V$ changing dynamically under…

Data Structures and Algorithms · Computer Science 2024-09-23 Shinwoo An , Kyungjin Cho , Leo Jang , Byeonghyeon Jung , Yudam Lee , Eunjin Oh , Donghun Shin , Hyeonjun Shin , Chanho Song

The firefighter problem is defined as below. A fire initially breaks out at a vertex r on a graph G. In each step, a firefighter chooses to protect one vertex, which is not yet burnt. And the fire spreads out to its unprotected neighboring…

Data Structures and Algorithms · Computer Science 2015-03-19 Ming Lam Leung

Disjunctive Answer Set Programming (ASP) is a powerful declarative programming paradigm whose main decision problems are located on the second level of the polynomial hierarchy. Identifying tractable fragments and developing efficient…

Artificial Intelligence · Computer Science 2017-01-02 Bernhard Bliem , Sebastian Ordyniak , Stefan Woltran

Given a static vertex-selection problem (e.g. independent set, dominating set) on a graph, we can define a corresponding temporally satisfying reconfiguration problem on a temporal graph which asks for a sequence of solutions to the…

Data Structures and Algorithms · Computer Science 2025-09-22 Tom Davot , Jessica Enright , Laura Larios-Jones

We study the parameterized complexity of evaluating Ontology Mediated Queries (OMQs) based on Guarded TGDs (GTGDs) and Unions of Conjunctive Queries (UCQs), in the case where relational symbols have unrestricted arity and where the…

Logic in Computer Science · Computer Science 2021-06-24 Cristina Feier

In this paper we investigate the parameterized complexity of the Maximum-Duo Preservation String Mapping Problem, the complementary of the Minimum Common String Partition Problem. We show that this problem is fixed-parameter tractable when…

Data Structures and Algorithms · Computer Science 2015-12-11 Stefano Beretta , Mauro Castelli , Riccardo Dondi

We study the classical problem of computing geometric thickness, i.e., finding a straight-line drawing of an input graph and a partition of its edges into as few parts as possible so that each part is crossing-free. Since the problem is…

Computational Complexity · Computer Science 2024-11-26 Thomas Depian , Simon Dominik Fink , Alexander Firbas , Robert Ganian , Martin Nöllenburg

A {\em bipartite tournament} is a directed graph $T:=(A \cup B, E)$ such that every pair of vertices $(a,b), a\in A,b\in B$ are connected by an arc, and no arc connects two vertices of $A$ or two vertices of $B$. A {\em feedback vertex set}…

Data Structures and Algorithms · Computer Science 2024-11-06 Mithilesh Kumar , Daniel Lokshtanov

A directed odd cycle transversal of a directed graph (digraph) $D$ is a vertex set $S$ that intersects every odd directed cycle of $D$. In the Directed Odd Cycle Transversal (DOCT) problem, the input consists of a digraph $D$ and an integer…

Data Structures and Algorithms · Computer Science 2017-04-17 Daniel Lokshtanov , M. S. Ramanujan , Saket Saurabh , Meirav Zehavi

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