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.

A general label setting algorithm and tractability analysis for the multiobjective temporal shortest path problem

Labeling Methods for Partially Ordered Paths

An Arc Labeling Algorithm for Shortest Path Problem Considering Turn Penalties and Prohibitions at Intersections

Optimal routing and scheduling in a time-dependent and directed multi-graph: a multi-agent temporal rural postman problem

Targeted multiobjective Dijkstra algorithm

OPMOS: Ordered Parallel Multi-Objective Shortest-Path

Matroid Secretary via Labeling Schemes

Models and algorithms for simple disjunctive temporal problems

A Multi-Constrained Temporal Path Query System

Solving Distance-constrained Labeling Problems for Small Diameter Graphs via TSP

Labeling-based centrality approaches for identifying critical edges on temporal graphs

A Novel Scheme of SONET/SDH Label Assignment in GMPLS-controlled MSTN Network

The temporal explorer who returns to the base

Enhanced Multi-Objective A* with Partial Expansion

A simple, efficient and versatile objective space algorithm for multiobjective integer programming

Fine-Grained Optimality of Partially Dynamic Shortest Paths and More

Enhanced Multi-Objective A* Using Balanced Binary Search Trees

Complexity of the multiobjective minimum weight minimum stretch spanner problem

Runtime Analysis for the NSGA-II: Proving, Quantifying, and Explaining the Inefficiency For Many Objectives

Exact Algorithms for the Minimum Load Spanning Tree Problem

Restless reachability problems in temporal graphs