English
Related papers

Related papers: The Directed Disjoint Paths Problem with Congestio…

200 papers

We introduce and study the complexity of Path Packing. Given a graph $G$ and a list of paths, the task is to embed the paths edge-disjoint in $G$. This generalizes the well known Hamiltonian-Path problem. Since Hamiltonian Path is…

Computational Complexity · Computer Science 2019-10-02 Jan Dreier , Janosch Fuchs , Tim A. Hartmann , Philipp Kuinke , Peter Rossmanith , Bjoern Tauer , Hung-Lung Wang

Given a graph and a pair of terminals $s$, $t$, the next-to-shortest path problem asks for an $s\!\to \!t$ (simple) path that is shortest among all not shortest $s\!\to \!t$ paths (if one exists). This problem was introduced in 1996, and…

Data Structures and Algorithms · Computer Science 2025-11-07 Kuowen Chen , Nicole Wein , Yiran Zhang

We show fixed-parameter tractability of the Directed Multicut problem with three terminal pairs (with a randomized algorithm). This problem, given a directed graph $G$, pairs of vertices (called terminals) $(s_1,t_1)$, $(s_2,t_2)$, and…

Data Structures and Algorithms · Computer Science 2024-01-11 Meike Hatzel , Lars Jaffke , Paloma T. Lima , Tomáš Masařík , Marcin Pilipczuk , Roohani Sharma , Manuel Sorge

We consider the problem of decomposing a given (di)graph into paths of length 2 with the additional restriction that no two such paths may have more than one vertex in common. We establish its NP-hardness by a reduction from 3-SAT,…

Discrete Mathematics · Computer Science 2019-07-12 Annika Thome , Matthias Walter

We study a generalization of the well-known disjoint paths problem which we call the metric Menger problem, denoted MM(r,k), where one is given two subsets of a graph and must decide whether they can be connected by $k$ paths of pairwise…

Combinatorics · Mathematics 2024-03-12 Júlia Baligács , Joseph MacManus

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

We consider the approximability of the maximum edge-disjoint paths problem (MEDP) in undirected graphs, and in particular, the integrality gap of the natural multicommodity flow based relaxation for it. The integrality gap is known to be…

Discrete Mathematics · Computer Science 2013-03-21 Chandra Chekuri , Guyslain Naves , F. Bruce Shepherd

We consider the ideal orientation problem in planar graphs. In this problem, we are given an undirected graph $G$ with positive edge lengths and $k$ pairs of distinct vertices $(s_1, t_1), \dots, (s_k, t_k)$ called terminals, and we want to…

Data Structures and Algorithms · Computer Science 2019-12-04 Yipu Wang

We consider the problem of decomposing the edges of a directed graph into as few paths as possible. There is a natural lower bound for the number of paths needed in an edge decomposition of a directed graph $D$ in terms of its degree…

Combinatorics · Mathematics 2021-09-29 Alberto Espuny Díaz , Viresh Patel , Fabian Stroh

For a digraph $D=(V(D), A(D))$, and a set $S\subseteq V(D)$ with $r\in S$ and $|S|\geq 2$, a directed $(S, r)$-Steiner path or, simply, an $(S, r)$-path is a directed path $P$ started at $r$ with $S\subseteq V(P)$. Two $(S, r)$-paths are…

Combinatorics · Mathematics 2022-12-15 Yuefang Sun

We examine the possibility of approximating Maximum Vertex-Disjoint Shortest Paths. In this problem, the input is an edge-weighted (directed or undirected) $n$-vertex graph $G$ along with $k$ terminal pairs…

Data Structures and Algorithms · Computer Science 2025-04-23 Matthias Bentert , Fedor V. Fomin , Petr A. Golovach

It is well-known that the intersection of the matching polytope with a cardinality constraint is integral [8]. We prove a similar result for the polytope corresponding to the transportation problem with market choice (TPMC) (introduced in…

Optimization and Control · Mathematics 2014-12-31 Pelin Damci-Kurt , Santanu S. Dey , Simge Kucukyavuz

The dicycle transversal number t(D) of a digraph D is the minimum size of a dicycle transversal of D, i. e. a set T of vertices of D such that D-T is acyclic. We study the following problem: Given a digraph D, decide if there is a dicycle B…

Combinatorics · Mathematics 2011-06-30 Jørgen Bang-Jensen , Matthias Kriesell , Alessandro Maddaloni , Sven Simonsen

In the spanning tree congestion problem, given a connected graph $G$, the objective is to compute a spanning tree $T$ in $G$ that minimizes its maximum edge congestion, where the congestion of an edge $e$ of $T$ is the number of edges in…

Computational Complexity · Computer Science 2023-07-12 Huong Luu , Marek Chrobak

Let $P_n$ denote the undirected path of length $n-1$. The cardinality of the set of congruence classes induced by the graph homomorphisms from $P_n$ onto $P_k$ is determined. This settles an open problem of Michels and Knauer (Disc. Math.,…

Combinatorics · Mathematics 2011-12-20 Zhicong Lin , Jiang Zeng

Let $A$ and $B$ be disjoint sets, of size $2^k$, of vertices of $Q_n$, the $n$-dimensional hypercube. In 1997, Bollob\'as and Leader proved that there must be $(n-k)2^k$ edge-disjoint paths between such $A$ and $B$. They conjectured that…

Combinatorics · Mathematics 2015-04-28 Trevor Pinto

Given a graph, does there exist an orientation of the edges such that the resulting directed graph is strongly connected? Robbins' theorem [Robbins, Am. Math. Monthly, 1939] states that such an orientation exists if and only if the graph is…

Data Structures and Algorithms · Computer Science 2017-08-25 Anders Aamand , Niklas Hjuler , Jacob Holm , Eva Rotenberg

A dominating set of a graph is a set of vertices such that every vertex not in the set has at least one neighbor in the set. The problem of counting dominating sets is #P-complete for chordal graphs but solvable in polynomial time for its…

Discrete Mathematics · Computer Science 2022-07-04 Min-Sheng Lin

Let $P$ and $Q$ be finite point sets of the same cardinality in $\mathbb{R}^2$, each labelled from $1$ to $n$. Two noncrossing geometric graphs $G_P$ and $G_Q$ spanning $P$ and $Q$, respectively, are called compatible if for every face $f$…

Interpreting three-leaf binary trees or {\em rooted triples} as constraints yields an entailment relation, whereby binary trees satisfying some rooted triples must also thus satisfy others, and thence a closure operator, which is known to…

Data Structures and Algorithms · Computer Science 2018-07-03 Matthew P. Johnson