English
Related papers

Related papers: The Complexity of Pattern Counting in Directed Gra…

200 papers

We present fixed parameter tractable algorithms for the conflict-free coloring problem on graphs. Given a graph $G=(V,E)$, \emph{conflict-free coloring} of $G$ refers to coloring a subset of $V$ such that for every vertex $v$, there is a…

Data Structures and Algorithms · Computer Science 2019-05-07 Akanksha Agrawal , Pradeesha Ashok , Meghana M Reddy , Saket Saurabh , Dolly Yadav

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 Subgraph Isomorphism on graph classes defined by a fixed forbidden graph. Although there are several ways for forbidding a graph, we observe that it is reasonable to focus on the minor relation since other well-known relations lead…

Data Structures and Algorithms · Computer Science 2019-05-28 Hans L. Bodlaender , Tesshu Hanaka , Yasuaki Kobayashi , Yusuke Kobayashi , Yoshio Okamoto , Yota Otachi , Tom C. van der Zanden

We show that for every fixed undirected graph $H$, there is a $O(|V(G)|^3)$ time algorithm that tests, given a graph $G$, if $G$ contains $H$ as a topological subgraph (that is, a subdivision of $H$ is subgraph of $G$). This shows that…

Data Structures and Algorithms · Computer Science 2015-03-17 Martin Grohe , Ken-ichi Kawarabayashi , Dániel Marx , Paul Wollan

We study the complexity of the Hitting Set problem in set systems (hypergraphs) that avoid certain sub-structures. In particular, we characterize the classical and parameterized complexity of the problem when the Vapnik-Chervonenkis…

Data Structures and Algorithms · Computer Science 2016-06-22 Karl Bringmann , László Kozma , Shay Moran , N. S. Narayanaswamy

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

A graph $G$ is \emph{locally irregular} if no two of its adjacent vertices have the same degree. In [Fioravantes et al. Complexity of finding maximum locally irregular induced subgraph. {\it SWAT}, 2022], the authors introduced and studied…

Computational Complexity · Computer Science 2025-12-17 Foivos Fioravantes , Nikolaos Melissinos , Theofilos Triommatis

We prove that Multicut in directed graphs, parameterized by the size of the cutset, is W[1]-hard and hence unlikely to be fixed-parameter tractable even if restricted to instances with only four terminal pairs. This negative result almost…

Data Structures and Algorithms · Computer Science 2018-02-13 Marcin Pilipczuk , Magnus Wahlström

Given a graph $G=(V,E)$, and a function $f:V(G) \rightarrow \mathbb{N}$, an $f$-reversible process on $G$ is a dynamical system such that, given an initial vertex labeling $c_0 : V(G) \rightarrow \{0,1\}$, every vertex $v$ changes its label…

Computational Complexity · Computer Science 2026-04-08 Thiago Marcilon , Murillo Inácio da Costa Silva

Given a computable sequence of natural numbers, it is a natural task to find a G\"odel number of a program that generates this sequence. It is easy to see that this problem is neither continuous nor computable. In algorithmic learning…

Logic · Mathematics 2023-02-09 Vasco Brattka

A vertex-subset graph problem Q defines which subsets of the vertices of an input graph are feasible solutions. A reconfiguration variant of a vertex-subset problem asks, given two feasible solutions S and T of size k, whether it is…

Computational Complexity · Computer Science 2015-02-18 Daniel Lokshtanov , Amer E. Mouawad , Fahad Panolan , M. S. Ramanujan , Saket Saurabh

We examine the problem of maximizing the reachability of a given source in temporal graphs that are given as the union of k temporal paths, i.e., every given path is a sequence of edges with strictly increasing labels that denote…

Data Structures and Algorithms · Computer Science 2026-05-13 Argyrios Deligkas , Michelle Döring , Eduard Eiben , George Skretas , Georg Tennigkeit

A connectivity function on a finite set $V$ is a symmetric submodular function $f \colon 2^V \to \mathbb{Z}$ with $f(\emptyset)=0$. We prove that finding a branch-decomposition of width at most $k$ for a connectivity function given by an…

Data Structures and Algorithms · Computer Science 2026-02-10 Tuukka Korhonen , Sang-il Oum

The dichotomy conjecture for the parameterized embedding problem states that the problem of deciding whether a given graph $G$ from some class $K$ of "pattern graphs" can be embedded into a given graph $H$ (that is, is isomorphic to a…

Computational Complexity · Computer Science 2017-03-21 Yijia Chen , Martin Grohe , Bingkai Lin

A graph $G$ is contractible to a graph $H$ if there is a set $X \subseteq E(G)$, such that $G/X$ is isomorphic to $H$. Here, $G/X$ is the graph obtained from $G$ by contracting all the edges in $X$. For a family of graphs $\cal F$, the…

Data Structures and Algorithms · Computer Science 2025-05-21 Akanksha Agrawal , Fedor V. Fomin , Daniel Lokshtanov , Saket Saurabh , Prafullkumar Tale

For the well-known Survivable Network Design Problem (SNDP) we are given an undirected graph $G$ with edge costs, a set $R$ of terminal vertices, and an integer demand $d_{s,t}$ for every terminal pair $s,t\in R$. The task is to compute a…

Data Structures and Algorithms · Computer Science 2022-11-09 Andreas Emil Feldmann , Anish Mukherjee , Erik Jan van Leeuwen

We develop two different methods to achieve subexponential time parameterized algorithms for problems on sparse directed graphs. We exemplify our approaches with two well studied problems. For the first problem, {\sc $k$-Leaf…

Data Structures and Algorithms · Computer Science 2010-01-07 Frederic Dorn , Fedor V. Fomin , Daniel Lokshtanov , Venkatesh Raman , Saket Saurabh

We propose an improved algorithm for counting the number of Hamiltonian cycles in a directed graph. The basic idea of the method is sequential acceptance/rejection, which is successfully used in approximating the number of perfect matchings…

Data Structures and Algorithms · Computer Science 2009-11-23 Jinshan Zhang

An out-branching of a directed graph is a rooted spanning tree with all arcs directed outwards from the root. We consider the problem of deciding whether a given directed graph D has an out-branching with at least k leaves (Directed…

Data Structures and Algorithms · Computer Science 2007-11-27 Paul Bonsma , Frederic Dorn

Conjunctive queries are one of the most common class of queries used in database systems, and the best studied in the literature. A seminal result of Grohe, Schwentick, and Segoufin (STOC 2001) demonstrates that for every class $G$ of…

Data Structures and Algorithms · Computer Science 2020-11-23 Marcelo Arenas , Luis Alberto Croquevielle , Rajesh Jayaram , Cristian Riveros