Moving in a network under random failures: A complexity analysis

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 and , the following problem is PSpace-complete: Given a network, a start vertex , and a set of target vertices (resp. an LTL formula ), and also a probability , is there a strategy for Runner to reach (resp. to satisfy ) with a probability ? 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.