English
Related papers

Related papers: On Directed Feedback Vertex Set parameterized by t…

200 papers

We study the influence of a graph parameter called modular-width on the time complexity for optimally solving well-known polynomial problems such as Maximum Matching, Triangle Counting, and Maximum $s$-$t$ Vertex-Capacitated Flow. The…

Data Structures and Algorithms · Computer Science 2018-04-27 Stefan Kratsch , Florian Nelles

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

In this paper, we investigate the existence of parameterized algorithms running in subexponential time for two fundamental cycle-hitting problems: Feedback Vertex Set (FVS) and Triangle Hitting (TH). We focus on the class of pseudo-disk…

Data Structures and Algorithms · Computer Science 2024-11-01 Gaétan Berthe , Marin Bougeret , Daniel Gonçalves , Jean-Florent Raymond

Consider the Telephone Broadcast problem in which an input is a connected graph $G$ on $n$ vertices, a source vertex $s \in V(G)$, and a positive integer $t$. The objective is to decide whether there is a broadcast protocol from $s$ that…

Data Structures and Algorithms · Computer Science 2024-03-07 Prafullkumar Tale

The width measure \emph{treedepth}, also known as vertex ranking, centered coloring and elimination tree height, is a well-established notion which has recently seen a resurgence of interest. We present an algorithm which---given as input…

Data Structures and Algorithms · Computer Science 2014-08-21 Felix Reidl , Peter Rossmanith , Fernando Sanchez Villaamil , Somnath Sikdar

After the number of vertices, Vertex Cover is the largest of the classical graph parameters and has more and more frequently been used as a separate parameter in parameterized problems, including problems that are not directly related to…

Data Structures and Algorithms · Computer Science 2013-05-03 Mathieu Chapelle , Mathieu Liedloff , Ioan Todinca , Yngve Villanger

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 paper, we study the \textsf{Planar Disjoint Paths} problem: Given an undirected planar graph $G$ with $n$ vertices and a set $T$ of $k$ pairs $(s_i,t_i)_{i=1}^k$ of vertices, the goal is to find a set $\mathcal P$ of $k$ pairwise…

Data Structures and Algorithms · Computer Science 2022-11-09 Kyungjin Cho , Eunjin Oh , Seunghyeok Oh

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

In this paper, we give new, tight subexponential lower bounds for a number of graph embedding problems. We introduce two related combinatorial problems, which we call String Crafting and Orthogonal Vector crafting, and show that these…

Computational Complexity · Computer Science 2016-10-31 Hans L. Bodlaender , Tom C. van der Zanden

In this paper, we develop a new parameterized algorithm for the {\sc Independent Feedback Vertex Set} (IFVS) problem. Given a graph $G=(V,E)$, the goal of the problem is to determine whether there exists a vertex subset $F\subseteq V$ such…

Data Structures and Algorithms · Computer Science 2013-08-02 Yinglei Song

In this paper we present an efficient reachability oracle under single-edge or single-vertex failures for planar directed graphs. Specifically, we show that a planar digraph $G$ can be preprocessed in $O(n\log^2{n}/\log\log{n})$ time,…

Data Structures and Algorithms · Computer Science 2021-01-08 Giuseppe F. Italiano , Adam Karczmarz , Nikos Parotsidis

Possibly the most famous algorithmic meta-theorem is Courcelle's theorem, which states that all MSO-expressible graph properties are decidable in linear time for graphs of bounded treewidth. Unfortunately, the running time's dependence on…

Data Structures and Algorithms · Computer Science 2009-11-05 Michael Lampis

In this paper, we propose an algorithm that, given an undirected graph $G$ of $m$ edges and an integer $k$, computes a graph $G'$ and an integer $k'$ in $O(k^4 m)$ time such that (1) the size of the graph $G'$ is $O(k^2)$, (2) $k'\leq k$,…

Data Structures and Algorithms · Computer Science 2017-02-20 Yoichi Iwata

For a tree decomposition $\mathcal{T}$ of a graph $G$, by $\mu(\mathcal{T})$ we denote the size of a largest induced matching in $G$ all of whose edges intersect one bag of $\mathcal{T}$. Induced matching treewidth of a graph $G$ is the…

Data Structures and Algorithms · Computer Science 2024-02-27 Paloma T. Lima , Martin Milanič , Peter Muršič , Karolina Okrasa , Paweł Rzążewski , Kenny Štorgel

We consider the NP-hard problem of finding a spanning tree with a maximum number of internal vertices. This problem is a generalization of the famous Hamiltonian Path problem. Our dynamic-programming algorithms for general and…

Data Structures and Algorithms · Computer Science 2009-06-12 Henning Fernau , Serge Gaspers , Daniel Raible

We consider global problems, i.e. problems that take at least diameter time, even when the bandwidth is not restricted. We show that all problems considered admit efficient solutions in low-treewidth graphs. By ``efficient'' we mean that…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-05-31 Taisuke Izumi , Naoki Kitamura , Takamasa Naruse , Gregory Schwartzman

Connectivity of temporal graphs has been widely studied both as graph theory and as gossip theory. In particular, it is well known that in order to connect every vertex to every other, a temporal graph needs to have at least $2n-4$ edges…

Data Structures and Algorithms · Computer Science 2026-05-01 Thomas Bellitto , Jules Bouton Popper , Justine Cauvi , Bruno Escoffier , Raphaëlle Maistre-Matus

The notion of directed treewidth was introduced by Johnson, Robertson, Seymour and Thomas [Journal of Combinatorial Theory, Series B, Vol 82, 2001] as a first step towards an algorithmic metatheory for digraphs. They showed that some…

Data Structures and Algorithms · Computer Science 2015-10-09 Mateus de Oliveira Oliveira

Many well-known NP-hard algorithmic problems on directed graphs resist efficient parametrisations with most known width measures for directed graphs, such as directed treewidth, DAG-width, Kelly-width and many others. While these focus on…

Discrete Mathematics · Computer Science 2019-05-31 Raphael Steiner , Sebastian Wiederrecht