Restless reachability problems in temporal graphs

by   Suhas Thejaswi, et al.

We study a family of reachability problems under waiting-time restrictions in temporal and vertex-colored temporal graphs. Given a temporal graph and a set of source vertices, we find the set of vertices that are reachable from a source via a time-respecting path, where the difference in timestamps between consecutive edges is at most a resting time. Given a vertex-colored temporal graph and a multiset query of colors, we find the set of vertices reachable from a source via a time-respecting path such that the vertex colors of the path agree with the multiset query and the difference in timestamps between consecutive edges is at most a resting time. These kind of problems have several applications in understanding the spread of a disease in a network, tracing contacts in epidemic outbreaks, finding signaling pathways in the brain network, and recommending tours for tourists. We present an algebraic algorithmic framework based on constrained multilinear sieving for solving the restless reachability problems we propose. In particular, parameterized by the length of a path k sought, we show the problems can be solved in O(2^k k m Δ) time and O(n τ) space, where n is the number of vertices, m the number of edges, Δ the maximum resting time and τ the maximum timestamp of an input temporal graph. In addition, we prove that the algorithms presented for the restless reachability problems in vertex-colored temporal graphs are optimal under plausible complexity-theoretic assumptions. Finally, with an open-source implementation, we demonstrate that our algorithm scales to large graphs with up to one billion temporal edges, despite the problems being NP-hard. Specifically, we present extensive experiments to evaluate our scalability claims both on synthetic and real-world graphs.


page 1

page 2

page 3

page 4


Restless Temporal Path Parameterized Above Lower Bounds

Reachability questions are one of the most fundamental algorithmic primi...

Finding temporal patterns using algebraic fingerprints

In this paper we study a family of pattern-detection problems in vertex-...

Finding Colorful Paths in Temporal Graphs

The problem of finding paths in temporal graphs has been recently consid...

Simple, strict, proper, happy: A study of reachability in temporal graphs

Dynamic networks are a complex topic. Not only do they inherit the compl...

Minimizing Reachability Times on Temporal Graphs via Shifting Labels

We study how we can accelerate the spreading of information in temporal ...

Adventures in Abstraction: Reachability in Hierarchical Drawings

We present algorithms and experiments for the visualization of directed ...

Temporal Reachability Minimization: Delaying vs. Deleting

We study spreading processes in temporal graphs, i. e., graphs whose con...

Please sign up or login with your details

Forgot password? Click here to reset