Reachability in temporal graphs under perturbation

Jessica Enright,Laura Larios-Jones,Kitty Meeks,William Pettersson

2024-04-30

Abstract:Reachability and other path-based measures on temporal graphs can be used to understand spread of infection, information, and people in modelled systems. Due to delays and errors in reporting, temporal graphs derived from data are unlikely to perfectly reflect reality, especially with respect to the precise times at which edges appear. To reflect this uncertainty, we consider a model in which some number $\zeta$ of edge appearances may have their timestamps perturbed by $\pm\delta$ for some $\delta$. Within this model, we investigate temporal reachability and consider the problem of determining the maximum number of vertices any vertex can reach under these perturbations. We show that this problem is intractable in general but is efficiently solvable when $\zeta$ is sufficiently large. We also give algorithms which solve this problem in several restricted settings. We complement this with some contrasting results concerning the complexity of related temporal eccentricity problems under perturbation.

Discrete Mathematics,Combinatorics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is: **In a given temporal graph, determine whether there exists an edge - timestamp perturbation of a specific quantity and magnitude such that the reachability from a certain source node exceeds a given threshold**. Specifically, the paper explores how to evaluate the impact of such perturbations on the reachability of nodes in the graph when allowing limited perturbations to the timestamps of certain edges in the temporal graph.

### Specific description of the problem

1. **Define temporal graph and perturbation**:
- A temporal graph \((G, \lambda)\) consists of an underlying graph \(G=(V, E)\) and a time - assignment function \(\lambda: E(G)\to 2^{\mathbb{N}}\), where each edge is assigned a set of discrete time labels.
- Define a \((\delta,\zeta)\)-perturbation, that is, the timestamps of at most \(\zeta\) edges can be adjusted by at most \(\pm\delta\).

2. **Main problems studied**:
- **Temporal Reachability with Limited Perturbation (TRLP)**:
- Input: A temporal graph \((G, \lambda)\), positive integers \(\zeta, h\leq |V(G)|\), and \(\delta\).
- Problem: Does there exist a \((\delta,\zeta)\)-perturbation \(\lambda'\) such that the maximum reachability \(R_{\text{max}}(G,\lambda')\geq h\)?

3. **Simplified version of the problem**:
- **Temporal Reachability with Perturbation (TRP)**:
- Input: A temporal graph \((G, \lambda)\), positive integer \(h\leq |V(G)|\), and \(\delta\).
- Problem: Does there exist a \(\delta\)-perturbation \(\lambda'\) such that the maximum reachability \(R_{\text{max}}(G,\lambda')\geq h\)?

### Research motivation and background

The paper points out that in the real world, the data of temporal graphs often has uncertainties, especially regarding the exact time when edges appear. Therefore, understanding the impact of these uncertainties on reachability is crucial for many applications (such as epidemic spread, information dissemination, etc.). By introducing a perturbation model, researchers can more accurately evaluate the impact of these uncertainties on system behavior.

### Main contributions

1. **Complexity analysis**:
- Prove that the TRLP problem is NP - hard and is W[2]-hard under the parameter \(\zeta\).
- Show that when a large number of perturbations are allowed, the problem becomes solvable.
- Provide a dynamic programming algorithm based on the knapsack problem. When the underlying graph is a tree, this algorithm can effectively solve the problem; for graphs with bounded tree - width, use a more complex tree - decomposition algorithm.

2. **Research on related problems**:
- Explore the shortest and fastest eccentricity problems under perturbation and find that these problems remain difficult even when all edges are allowed to be perturbed.

### Conclusion

By introducing a perturbation model, this paper deeply studies the complexity and robustness of reachability in temporal graphs, providing new tools and methods for understanding and dealing with uncertain temporal networks in the real world.