Reconfiguration of Temporal Networks under Reachability Constraints
TL;DR
This work formalizes the time label reconfiguration problem and provides a theoretical framework for reasoning about transformation processes in temporal networks and shows that if the static graph is acyclic or an almost-tournament graph, then all valid labelings can be reconfigured into each other.
Abstract
Temporal networks model dynamic systems in which edges represent interactions and labels specify when these interactions occur. Examples include transportation networks, time-sensitive communication networks, and industrial control systems. In many such applications, an existing temporal network must be transformed into a desired one through a sequence of atomic modifications while maintaining essential functionality throughout the transformation. We formalize the time label reconfiguration problem and provide a theoretical framework for reasoning about such transformation processes. As temporal reachability is a central functionality in many temporal networks, we study a reconfiguration problem on directed temporal graphs subject to temporal reachability constraints. We are given a static graph with a designated set of sources, along with two labeling functions indicating an availability time for every edge. The goal is to transform one labeling into the other by changing the label of a single edge at a time while maintaining temporal reachability of the sources throughout. Our results reveal a sharp complexity transition: the problem is polynomial-time solvable for a single source but becomes PSPACE-hard with two sources. We also show that if the static graph is acyclic or an almost-tournament graph, then all valid labelings can be reconfigured into each other. Our proofs are constructive and yield polynomial-time algorithms.