English
Related papers

Related papers: The canonical directed tree decomposition and its …

200 papers

The notion of $\mathcal{H}$-treewidth, where $\mathcal{H}$ is a hereditary graph class, was recently introduced as a generalization of the treewidth of an undirected graph. Roughly speaking, a graph of $\mathcal{H}$-treewidth at most $k$…

Data Structures and Algorithms · Computer Science 2023-06-30 Bart M. P. Jansen , Jari J. H. de Kroon , Michal Wlodarczyk

We introduce a new Steiner-type problem for directed graphs named \textsc{$q$-Root Steiner Tree}. Here one is given a directed graph $G=(V,A)$ and two subsets of its vertices, $R$ of size $q$ and $T$, and the task is to find a minimum size…

Data Structures and Algorithms · Computer Science 2016-04-19 Ondřej Suchý

The independence number of a tree decomposition is the maximum of the independence numbers of the subgraphs induced by its bags. The tree-independence number of a graph is the minimum independence number of a tree decomposition of it.…

Data Structures and Algorithms · Computer Science 2025-09-11 Clément Dallard , Fedor V. Fomin , Petr A. Golovach , Tuukka Korhonen , Martin Milanič

This paper presents the novel `uniqueness tree' algorithm, as one possible method for determining whether two finite, undirected graphs are isomorphic. We prove that the algorithm has polynomial time complexity in the worst case, and that…

Discrete Mathematics · Computer Science 2016-06-22 Jonathan Gorard

In the PATH COVER problem, one asks to cover the vertices of a graph using the smallest possible number of (not necessarily disjoint) paths. While the variant where the paths need to be pairwise vertex-disjoint, which we call PATH…

Data Structures and Algorithms · Computer Science 2025-11-11 Florent Foucaud , Atrayee Majumder , Tobias Mömke , Aida Roshany-Tabrizi

We consider Directed Steiner Forest (DSF), a fundamental problem in network design. The input to DSF is a directed edge-weighted graph $G = (V, E)$ and a collection of vertex pairs $\{(s_i, t_i)\}_{i \in [k]}$. The goal is to find a minimum…

Data Structures and Algorithms · Computer Science 2024-10-24 Chandra Chekuri , Rhea Jain

(see paper for full abstract) We show that the Edge-Disjoint Paths problem is W[1]-hard parameterized by the number $k$ of terminal pairs, even when the input graph is a planar directed acyclic graph (DAG). This answers a question of…

Data Structures and Algorithms · Computer Science 2021-01-27 Rajesh Chitnis

We introduce and study a notion of decomposition of planar point sets (or rather of their chirotopes) as trees decorated by smaller chirotopes. This decomposition is based on the concept of mutually avoiding sets (which we rephrase as…

Computational Geometry · Computer Science 2024-06-12 Mathilde Bouvel , Valentin Féray , Xavier Goaoc , Florent Koechlin

The Barat-Thomassen conjecture, recently proved in [Bensmail et al.: A proof of the Barat-Thomassen conjecture. J. Combin. Theory Ser. B, 124:39-55, 2017.], asserts that for every tree T, there is a constant $c_T$ such that every $c_T$-edge…

Combinatorics · Mathematics 2018-03-13 Tereza Klimošová , Stéphan Thomassé

This paper is concerned with structures of general graphs with perfect matchings. We first reveal a partially ordered structure among factor-components of general graphs with perfect matchings. Our second result is a generalization of…

Discrete Mathematics · Computer Science 2013-03-26 Nanao Kita

Graph decompositions are the natural generalisation of tree decompositions where the decomposition tree is replaced by a genuine graph. Recently they found theoretical applications in the theory of sparsity, topological graph theory,…

Discrete Mathematics · Computer Science 2023-12-20 Johannes Carmesin , Sarah Frenkel

The well-known $k$-disjoint path problem ($k$-DPP) asks for pairwise vertex-disjoint paths between $k$ specified pairs of vertices $(s_i, t_i)$ in a given graph, if they exist. The decision version of the shortest $k$-DPP asks for the…

Data Structures and Algorithms · Computer Science 2018-02-06 Samir Datta , Siddharth Iyer , Raghav Kulkarni , Anish Mukherjee

Finding a simple path of even length between two designated vertices in a directed graph is a fundamental NP-complete problem known as the EvenPath problem. Nedev proved in 1999, that for directed planar graphs, the problem can be solved in…

Data Structures and Algorithms · Computer Science 2024-07-02 Archit Chauhan , Samir Datta , Chetan Gupta , Vimal Raj Sharma

We give a short proof that every finite graph (or matroid) has a tree-decomposition that displays all maximal tangles. This theorem for graphs is a central result of the graph minors project of Robertson and Seymour and the extension to…

Combinatorics · Mathematics 2016-06-01 Johannes Carmesin

We consider a bi-criteria generalization of the pathwidth problem, where, for given integers $k,l$ and a graph $G$, we ask whether there exists a path decomposition $\cP$ of $G$ such that the width of $\cP$ is at most $k$ and the number of…

Data Structures and Algorithms · Computer Science 2021-03-05 Dariusz Dereniowski , Wieslaw Kubiak , Yori Zwols

In the decremental single-source shortest paths (SSSP) problem, the input is an undirected graph $G=(V,E)$ with $n$ vertices and $m$ edges undergoing edge deletions, together with a fixed source vertex $s\in V$. The goal is to maintain a…

Data Structures and Algorithms · Computer Science 2020-09-21 Julia Chuzhoy , Thatchaphol Saranurak

We show that every connected graph $G$ has a tree decomposition indexed by a tree $T$ such that $T$ is a subgraph of $G$ and the width of the tree decomposition is bounded from above by a function of the pathwidth of $G$. This answers a…

Combinatorics · Mathematics 2026-03-02 Romain Bourneuf , Gwenaël Joret , Piotr Micek , Martin Milanič , Michał Pilipczuk

The $k$-Detour problem is a basic path-finding problem: given a graph $G$ on $n$ vertices, with specified nodes $s$ and $t$, and a positive integer $k$, the goal is to determine if $G$ has an $st$-path of length exactly $\text{dist}(s, t) +…

Data Structures and Algorithms · Computer Science 2023-07-06 Shyan Akmal , Virginia Vassilevska Williams , Ryan Williams , Zixuan Xu

For a digraph $D=(V(D), A(D))$, and a set $S\subseteq V(D)$ with $r\in S$ and $|S|\geq 2$, an $(S, r)$-tree is an out-tree $T$ rooted at $r$ with $S\subseteq V(T)$. Two $(S, r)$-trees $T_1$ and $T_2$ are said to be arc-disjoint if…

Combinatorics · Mathematics 2020-11-10 Yuefang Sun , Anders Yeo

The aim of this chapter is to provide an adequate graph theoretic framework for the description of periodic bifurcations which have recently been discovered in descendant trees of finite p-groups. The graph theoretic concepts of rooted…

Group Theory · Mathematics 2017-01-30 Daniel C. Mayer