viernes, 19 de octubre de 2018

Ficha del recurso:


Vínculo original en SCIENCE OF COMPUTER PROGRAMMING, 77 (7-8):940-954; SI 10.1016/j.scico.2010.05.009 JUL 1 2012
Klein, D; Radmacher, FG; Thomas, W

Última actualización:

jueves, 28 de junio de 2012

Entrada en el observatorio:

jueves, 28 de junio de 2012



Archivado en:

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 p and epsilon > 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 ph! i), and also a probability p' is an element of vertical bar p - epsilon, p + epsilon vertical bar, is there a strategy for Runner to reach F (resp. to satisfy phi) with a probability >= p'? This PSPACE-completeness establishes the same complexity as was known for the non-randomized sabotage games (by the work of Wing 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. (c) 2010 Elsevier B.V. All rights reserved.