Effective Edge-Fault-Tolerant Single-Source Spanners via Best (or Good) Swap Edges [chapter]

Davide Bilò, Feliciano Colella, Luciano Gualà, Stefano Leucci, Guido Proietti
2017 Lecture Notes in Computer Science  
Nowadays there is an increasing demand for an efficient and resilient information exchange in communication networks. This means to design on one hand a logical structure onto a given communication infrastructure, which optimizes some sought routing protocol in the absence of failures, and on the other hand, to make such a structure resistant against possible link/node malfunctioning, by suitably adding to it a set of redundant links, which will enter into operation as soon as a failure takes
more » ... ace. More formally, the depicted situation can be modeled as follows: the underlying communication network is an n-vertex and m-edge undirected input graph G = (V (G), E(G), w), with positive real edge weights defined by w, the logical (or primary) structure is a (spanning) subgraph H of G, and finally the additional links is a set of edges A in E(G) \ E(H). Under normal circumstances, communication takes place on H, by following a certain protocol, but as soon as an edge in H fails, then one or more edges in A come into play, and the communication protocol is suitably adjusted. In particular, if the primary structure is a (spanning) tree of G, then a very effective way of defining the set of additional edges is the following: with each tree edge, say e, we associate a so-called best swap edge, namely a non-tree edge that will replace e once it (transiently) fails, in such a way that the resulting swap tree enjoys some nice property in terms of the currently implemented communication protocol. By doing in this way, rerouting and set-up costs will be minimized, in general, and the quality of the post-failure service remains guaranteed. Then, an all best swap edges (ABSE) problem is that of finding efficiently (in term of time complexity) a best swap edge for each tree edge. Due to their fault-tolerance application counterpart, ABSE problems received a large attention by the algorithmic community. In such a framework, a key role has been played by the Shortest-Path Tree (SPT) structure, which is commonly used for implementing efficiently the broadcasting communication primitive. Indeed, it is was shown already in [15] that an effective post-swap broadcast protocol can be put in place just after the original SPT undergoes an edge failure. Not surprisingly then, several ABSE problems w.r.t. an SPT have been studied in the literature, for many different swap criteria.
doi:10.1007/978-3-319-72050-0_18 fatcat:s4twvvdwn5fszpwwlqwbo3sqxu