English
Related papers

Related papers: Snapshot disjointness in temporal graphs

200 papers

Menger's theorem - the maximum number of vertex-disjoint $X$-$Y$ paths is equal to the minimum size of an $X$-$Y$ separator - is generally not true in bidirected graphs. We prove that Menger's theorem holds true if we take the nontrivial…

Combinatorics · Mathematics 2025-11-18 Ebrahim Ghorbani , Jana Katharina Nickel , Florian Reich

We study a family of pattern-detection problems in vertex-colored temporal graphs. In particular, given a vertex-colored temporal graph and a multiset of colors as a query, we search for temporal paths in the graph that contain the colors…

Data Structures and Algorithms · Computer Science 2020-07-28 Suhas Thejaswi , Aristides Gionis , Juho Lauri

We consider the problem of assigning appearing times to the edges of a digraph in order to maximize the (average) temporal reachability between pairs of nodes. Motivated by the application to public transit networks, where edges cannot be…

Discrete Mathematics · Computer Science 2025-01-22 Filippo Brunelli , Pierluigi Crescenzi , Laurent Viennot

Computing a (short) path between two vertices is one of the most fundamental primitives in graph algorithmics. In recent years, the study of paths in temporal graphs, that is, graphs where the vertex set is fixed but the edge set changes…

Discrete Mathematics · Computer Science 2021-05-27 Arnaud Casteigts , Anne-Sophie Himmel , Hendrik Molter , Philipp Zschoche

An independent set A is maximal if it is not a proper subset of an independent set, while A is maximum if it has a maximum size. The problem of whether a graph has a pair of disjoint maximal independent sets was introduced by C. Berge in…

Combinatorics · Mathematics 2019-02-01 Zakir Deniz , Vadim E. Levit , Eugen Mandrescu

Path graphs are intersection graphs of paths in a tree.~In this paper we give a "6\ good characterization" of path graphs, namely, we prove that path graph membership is in $NP\cap CoNP$ without resorting to existing polynomial time…

Discrete Mathematics · Computer Science 2021-09-20 Nicola Apollonio , Lorenzo Balzotti

A graph whose edges only appear at certain points in time is called a temporal graph (among other names). Such a graph is temporally connected if each ordered pair of vertices is connected by a path which traverses edges in chronological…

Discrete Mathematics · Computer Science 2023-12-19 Arnaud Casteigts , Michael Raskin , Malte Renken , Viktor Zamaraev

A tuple (s1,t1,s2,t2) of vertices in a simple undirected graph is 2-linked when there are two vertex-disjoint paths respectively from s1 to t1 and s2 to t2. A graph is 2-linked when all such tuples are 2-linked. We give a new and simple…

Data Structures and Algorithms · Computer Science 2025-08-15 Samuel Humeau , Damien Pous

In this paper, we study a dynamic analogue of the Path Cover problem, which can be solved in polynomial-time in directed acyclic graphs. A temporal digraph has an arc set that changes over discrete time-steps, if the underlying digraph (the…

Data Structures and Algorithms · Computer Science 2024-03-08 Dibyayan Chakraborty , Antoine Dailly , Florent Foucaud , Ralf Klasing

The MEG (minimum equivalent graph) problem is, given a directed graph, to find a small subset of the edges that maintains all reachability relations between nodes. The problem is NP-hard. This paper gives a proof that, for graphs where each…

Data Structures and Algorithms · Computer Science 2015-06-02 Samir Khuller , Balaji Raghavachari , Neal Young

Let $G = (V,E)$ be a graph on $n$ vertices and let $m^*(G)$ denote the size of a maximum matching in $G$. We show that for any $\delta > 0$ and for any $1 \leq k \leq (1-\delta)m^*(G)$, the down-up walk on matchings of size $k$ in $G$ mixes…

Data Structures and Algorithms · Computer Science 2024-08-08 Vishesh Jain , Clayton Mizgerd

The correspondence between weighted undirected graphs and reversible Markov chains via vertex random walks is simple and well known. Leveraging this correspondence and ideas from the theory of dynamical systems, we study the structural…

Statistics Theory · Mathematics 2026-05-12 Yang Xiang , Kevin McGoff , Andrew B. Nobel

We initiate the study of a fundamental combinatorial problem: Given a capacitated graph $G=(V,E)$, find a shortest walk ("route") from a source $s\in V$ to a destination $t\in V$ that includes all vertices specified by a set…

Data Structures and Algorithms · Computer Science 2018-05-01 Saeed Akhoondian Amiri , Klaus-Tycho Foerster , Stefan Schmid

In static graphs, the betweenness centrality of a graph vertex measures how many times this vertex is part of a shortest path between any two graph vertices. Betweenness centrality is efficiently computable and it is a fundamental tool in…

Data Structures and Algorithms · Computer Science 2021-05-28 Maciej Rymar , Hendrik Molter , André Nichterlein , Rolf Niedermeier

Bidirected graphs are a generalisation of directed graphs that arises in the study of undirected graphs with perfect matchings. Menger's famous theorem - the minimum size of a set separating two vertex sets $X$ and $Y$ is the same as the…

Combinatorics · Mathematics 2023-06-29 Nathan Bowler , Ebrahim Ghorbani , Florian Gut , Raphael W. Jacobs , Florian Reich

We prove that Menger's theorem is valid for infinite graphs, in the following strong form: let $A$ and $B$ be two sets of vertices in a possibly infinite digraph. Then there exist a set $\cp$ of disjoint $A$-$B$ paths, and a set $S$ of…

Combinatorics · Mathematics 2007-12-03 Ron Aharoni , Eli Berger

In this paper we revisit the classical Edge Disjoint Paths (EDP) problem, where one is given an undirected graph G and a set of terminal pairs P and asks whether G contains a set of pairwise edge-disjoint paths connecting every terminal…

Data Structures and Algorithms · Computer Science 2017-11-07 Robert Ganian , Sebastian Ordyniak , M. S. Ramanujan

We propose a consistent polynomial-time method for the unseeded node matching problem for networks with smooth underlying structures. Despite widely conjectured by the research community that the structured graph matching problem to be…

Machine Learning · Statistics 2018-08-24 Yuan Zhang

We exhibit a new obstacle to the nascent algorithmic theory for classes excluding an induced minor. We indeed show that on the class of string graphs -- which avoids the 1-subdivision of, say, $K_5$ as an induced minor -- Induced 2-Disjoint…

Computational Complexity · Computer Science 2025-02-11 Pierre Aboulker , Édouard Bonnet , Timothé Picavet , Nicolas Trotignon

We give an algorithm that, given graphs $G$ and $H$, tests whether $H$ is a minor of $G$ in time ${\cal O}_H(n^{1+o(1)})$; here, $n$ is the number of vertices of $G$ and the ${\cal O}_H(\cdot)$-notation hides factors that depend on $H$ and…

Data Structures and Algorithms · Computer Science 2024-04-08 Tuukka Korhonen , Michał Pilipczuk , Giannos Stamoulis