Offline Constrained Backward Time Travel Planning

Quentin Bramas (1) , Jean-Romain Luttringer (1) , Sébastien Tixeuil (2, 3, 4)

1 ICube - Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie
2 NPA - Networks and Performance Analysis
3 LINCS - Laboratory of Information, Network and Communication Sciences
4 IUF - Institut universitaire de France

We model transportation networks as dynamic graphs and introduce the ability for agents to use Backward Time-Travel (BTT) devices at any node to travel back in time, subject to certain constraints and fees, before resuming their journey. We propose exact algorithms to compute travel plans with constraints on BTT cost or the maximum time that can be traveled back while minimizing travel delay (the difference between arrival and starting times). These algorithms run in polynomial time. We also study the impact of BTT device pricing policies on the computation of travel plans with respect to delay and cost and identify necessary properties for pricing policies to enable such computation.

Domaines: Informatique [cs]; Complexité [cs.CC]; Algorithme et structure de données [cs.DS]; Système multi-agents [cs.MA]

Quentin Bramas, Jean-Romain Luttringer, Sébastien Tixeuil. Offline Constrained Backward Time Travel Planning. SSS 2023: Stabilization, Safety, and Security of Distributed Systems, Oct 2023, Jersey City, NJ, United States. pp.466-480, ⟨10.1007/978-3-031-44274-2_35⟩. ⟨hal-04232974⟩