Moving in a network under random failures: A complexity analysis

https://doi.org/10.1016/j.scico.2010.05.009Get rights and content
Under an Elsevier user license
open archive

Abstract

We analyze a model of fault-tolerant systems in a probabilistic setting, exemplified by a simple routing problem in networks. We introduce a randomized variant of a model called the “sabotage game”, where an agent, called “Runner”, and a probabilistic adversary, “Nature”, act in alternation. Runner generates a path from a given start vertex of the network, traversing one edge in each move, while after each move of Runner, Nature deletes some edge of the current network (each edge with the same probability). Runner wins if the generated finite path satisfies a “winning condition”, namely that a vertex of some predefined target set is reached, or–more generally–that the generated path satisfies a given formula of the temporal logic LTL. We determine the complexity of these games by showing that for any probability p and ϵ>0, the following problem is PSpace-complete: Given a network, a start vertex u, and a set F of target vertices (resp. an LTL formula ϕ), and also a probability p[pϵ,p+ϵ], is there a strategy for Runner to reach F (resp. to satisfy ϕ) with a probability p? This PSpace-completeness establishes the same complexity as was known for the non-randomized sabotage games (by the work of Löding and Rohde), and it sharpens the PSpace-completeness of Papadimitriou’s “dynamic graph reliability” (where probabilities of edge failures may depend on both the edges and positions of Runner). Thus, the “coarse” randomized setting, even with uniform distributions, gives no advantage in terms of complexity over the non-randomized case.

Keywords

Game theory
Sabotage games
Probabilistic systems
Fault-tolerant systems

Cited by (0)

This research was supported by the RWTH Aachen Research Cluster UMIC (Ultra High-Speed Mobile Information and Communication) of the German Excellence Initiative, German Research Foundation grant DFG EXC 89.