Properties of a generalized source-to-all-terminal network reliability model with diameter constraints

Given the pervasive nature of computer and communication networks, many paradigms have been used to study their properties and performances. In particular, reliability models based on topological properties can adequately represent the network capacity to survive failures of its components. Classical reliability models are based on the existence of end-to-end paths between network nodes, not taking into account the length of these paths; for many applications, this is inadequate, because the connection will only be established or attain the required quality if the distance between the connecting nodes does not exceed a given value.An alternative topological reliability model is the diameter-constrained reliability of a network; this measure considers not only the underlying topology, but also imposes a bound on the diameter, which is the maximum distance between the nodes of the network. In this work, we study in particular the case where we want to model the connection between a source-vertex s and a set of terminal vertices K (for example, a video multicast application), using a directed graph (digraph) for representing the topology of the network with node set V  . If the s,Ks,K-diameter is the maximum distance between s and any of vertices of K, the diameter-constrained  s,Ks,K-terminal reliability of a network G  , Rs,K(G,D)Rs,K(G,D), is defined as the probability that surviving arcs span a subgraph whose s,Ks,K-diameter does not exceed D.One of the tools successfully employed in the study of classical reliability models is the domination of a graph, which was introduced by Satyanarayana and Prabhakar. In this paper we introduce a definition and a full characterization of the domination in the case of the diameter-constrained  s,Ks,K-terminal reliability   when K=VK=V, including the classical source-to-all-terminal reliability domination result as a specific case. Moreover we use these results to present an algorithm for the evaluation of the diameter-constrained  s,Vs,V-terminal reliability  Rs,V(G,D)Rs,V(G,D).