Abstract: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 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, among other. We present an algebraic algorithmic framework based on constrained multi\-linear sieving for solving the restless reachability problems we propose. In particular, parameterized by the length $k$ of a path sought, we show that the proposed problems can be solved in $O(2^k k m \Delta)$ time and $O(n \Delta)$ space, where $n$ is the number of vertices, $m$ the number of edges, and $\Delta$ the maximum resting time of an input temporal graph. In addition, we prove that our algorithms 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. Our implementation is efficiently engineered and highly optimized.

Efficient limited-time reachability estimation in temporal networks

Directed Percolation in Temporal Networks

Reachability in temporal graphs under perturbation

Community Detection in Temporal Networks Via a Spreading Process

Estimating the Origin of Diffusion in Complex Networks with Limited Observations

Reachability Queries on Dynamic Temporal Bipartite Graphs

Restless reachability problems in temporal graphs

Efficiently Answering Span-Reachability Queries in Large Temporal Graphs

Efficient algorithms for reachability and path queries on temporal bipartite graphs

Efficiently Answering Reachability and Path Queries on Temporal Bipartite Graphs.

Efficient Distributed Reachability Querying of Massive Temporal Graphs

Temporal Cascade Model for Analyzing Spread in Evolving Networks with Disease Monitoring Applications

Network Reconstruction from Binary-State Time Series in Presence of Time Delay and Hidden Nodes

Modelling temporal networks of human face-to-face contacts with public activity and individual reachability

Reconstruction of Stochastic Temporal Networks Through Diffusive Arrival Times

Catch Me If You Can: Finding the Source of Infections in Temporal Networks

Applications of Temporal Graph Metrics to Real-World Networks

Network Reachability Analysis on Temporally Varying Interaction Networks

An Efficient Approach to Finding Dense Temporal Subgraphs

Temporal Reachability Dominating Sets: contagion in temporal graphs

Dynamic Network Discovery via Infection Tracing