中文
相关论文

相关论文: The canonical directed tree decomposition and its …

200 篇论文

We prove that finding a rooted subtree with at least $k$ leaves in a digraph is a fixed parameter tractable problem. A similar result holds for finding rooted spanning trees with many leaves in digraphs from a wide family $\cal L$ that…

数据结构与算法 · 计算机科学 2007-05-23 Noga Alon , Fedor Fomin , Gregory Gutin , Michael Krivelevich , Saket Saurabh

We show an algorithm that, given an $n$-vertex graph $G$ and a parameter $k$, in time $2^{O(k \log k)} n^{O(1)}$ finds a tree decomposition of $G$ with the following properties: * every adhesion of the tree decomposition is of size at most…

数据结构与算法 · 计算机科学 2020-09-29 Marek Cygan , Paweł Komosa , Daniel Lokshtanov , Michał Pilipczuk , Marcin Pilipczuk , Saket Saurabh , Magnus Wahlström

The notions of bounded expansion and nowhere denseness have been applied very successfully in algorithmic graph theory. We study the corresponding notions of directed bounded expansion and nowhere crownfulness on directed graphs. We show…

离散数学 · 计算机科学 2017-07-10 Stephan Kreutzer , Patrice Ossona de Mendez , Roman Rabinovich , Sebastian Siebertz

We study edge-decompositions of highly connected graphs into copies of a given tree. In particular we attack the following conjecture by Bar\'at and Thomassen: for each tree $T$, there exists a natural number $k_T$ such that if $G$ is a…

组合数学 · 数学 2012-03-09 János Barát , Dániel Gerbner

Given $k$ pairs of vertices $(s_i,t_i)$, $1\le i\le k$, of a digraph $G$, how can we test whether there exist $k$ vertex-disjoint directed paths from $s_i$ to $t_i$ for $1\le i\le k$? This is NP-complete in general digraphs, even for $k =…

组合数学 · 数学 2014-11-25 Maria Chudnovsky , Paul Seymour , Alex Scott

We prove that every graph which admits a tree-decomposition into finite parts has a rooted tree-decomposition into finite parts that is linked, tight and componental. As an application, we obtain that every graph without half-grid minor has…

组合数学 · 数学 2024-05-14 Sandra Albrechtsen , Raphael W. Jacobs , Paul Knappe , Max Pitz

The Induced Disjoint Paths problem is to test whether a graph G with k distinct pairs of vertices (s_i,t_i) contains paths P_1,...,P_k such that P_i connects s_i and t_i for i=1,...,k, and P_i and P_j have neither common vertices nor…

数据结构与算法 · 计算机科学 2014-03-05 Petr A. Golovach , Daniël Paulusma , Erik Jan van Leeuwen

Given $k$ pairs of terminals $\{(s_{1}, t_{1}), \ldots, (s_{k}, t_{k})\}$ in a graph $G$, the min-sum $k$ vertex-disjoint paths problem is to find a collection $\{Q_{1}, Q_{2}, \ldots, Q_{k}\}$ of vertex-disjoint paths with minimum total…

数据结构与算法 · 计算机科学 2015-07-23 Glencora Borradaile , Amir Nayyeri , Farzad Zafarani

In this work, we study methodical decomposition of an undirected, unweighted complete graph ($K_n$ of order $n$, size $m$) into minimum number of edge-disjoint trees. We find that $x$, a positive integer, is minimum and…

离散数学 · 计算机科学 2024-05-30 Antika Sinha , Sanjoy Kumar Saha , Partha Basuchowdhuri

We obtain structure theorems for graphs excluding a fan (a path with a universal vertex) or a dipole ($K_{2,k}$) as a topological minor. The corresponding decompositions can be computed in FPT linear time. This is motivated by the study of…

离散数学 · 计算机科学 2025-02-18 Hugo Jacob , William Lochet , Christophe Paul

Tree-width and path-width are widely successful concepts. Many NP-hard problems have efficient solutions when restricted to graphs of bounded tree-width. Many efficient algorithms are based on a tree decomposition. Sometimes the more…

数据结构与算法 · 计算机科学 2016-06-22 Martin Fürer

We present time-efficient distributed algorithms for decomposing graphs with large edge or vertex connectivity into multiple spanning or dominating trees, respectively. As their primary applications, these decompositions allow us to achieve…

数据结构与算法 · 计算机科学 2013-11-22 Keren Censor-Hillel , Mohsen Ghaffari , Fabian Kuhn

Given an edge-weighted undirected graph and a list of k source-sink pairs of vertices, the well-known minimum multicut problem consists in selecting a minimum-weight set of edges whose removal leaves no path between every source and its…

离散数学 · 计算机科学 2012-06-19 Cédric Bentz

In the GEODETIC SET problem, an input is a (di)graph $G$ and integer $k$, and the objective is to decide whether there exists a vertex subset $S$ of size $k$ such that any vertex in $V(G)\setminus S$ lies on a shortest (directed) path…

数据结构与算法 · 计算机科学 2026-05-14 Florent Foucaud , Narges Ghareghani , Lucas Lorieau , Morteza Mohammad-Noori , Rasa Parvini Oskuei , Prafullkumar Tale

We present a canonical way to decompose finite graphs into highly connected local parts. The decomposition depends only on an integer parameter whose choice sets the intended degree of locality. The global structure of the graph, as…

组合数学 · 数学 2025-07-01 Reinhard Diestel , Raphael W. Jacobs , Paul Knappe , Jan Kurkofka

The Grid Theorem of Robertson and Seymour [JCTB, 1986], is one of the most important tools in the field of structural graph theory, finding numerous applications in the design of algorithms for undirected graphs. An analogous version of the…

数据结构与算法 · 计算机科学 2022-05-13 Victor Campos , Raul Lopes , Ana Karolinna Maia , Ignasi Sau

Many algorithms have been developed for NP-hard problems on graphs with small treewidth $k$. For example, all problems that are expressable in linear extended monadic second order can be solved in linear time on graphs of bounded treewidth.…

数据结构与算法 · 计算机科学 2016-05-17 Frank Kammer , Torsten Tholey

The grid theorem, originally proved by Robertson and Seymour in Graph Minors V in 1986, is one of the most central results in the study of graph minors. It has found numerous applications in algorithmic graph structure theory, for instance…

离散数学 · 计算机科学 2022-05-09 Ken-ichi Kawarabayashi , Stephan Kreutzer

Every finite graph $G$ can be decomposed in a canonical way that displays its local connectivity-structure [DJKK26]. These decompositions are defined via a suitable more tree-like covering of $G$, whose tangle-tree structure is projected…

组合数学 · 数学 2026-03-20 Raphael W. Jacobs , Paul Knappe , Jan Kurkofka

Robertson and Seymour proved two fundamental theorems about tangles in graphs: the tree-of-tangles theorem, which says that every graph has a tree-decomposition such that distinguishable tangles live in different nodes of the tree, and the…

组合数学 · 数学 2025-01-08 Sandra Albrechtsen