TY - GEN

T1 - Fault tolerant reachability for directed graphs

AU - Baswana, Surender

AU - Choudhary, Keerti

AU - Roditty, Liam

N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2015.

PY - 2015

Y1 - 2015

N2 - Let G = (V,E) be an n-vertices m-edges directed graph. Let s ∈ V be any designated source vertex, and let T be an arbitrary reachability tree rooted at s. We address the problem of finding a set of edges ε ⊆ E\T of minimum size such that on a failure of any vertex w ∈ V, the set of vertices reachable from s in T ∪ ε\{w} is the same as the set of vertices reachable from s in G\{w}. We obtain the following results: • The optimal set ε for any arbitrary reachability tree T has at most n − 1 edges. • There exists an O(mlog n)-time algorithm that computes the optimal set ε for any given reachability tree T. For the restricted case when the reachability tree T is a Depth-First- Search (DFS) tree it is straightforward to bound the size of the optimal set ε by n − 1 using semidominators with respect to DFS trees from the celebrated work of Lengauer and Tarjan [13]. Such a set ε can be computed in O(m) time using the algorithm of Buchsbaum et. al [4]. To bound the size of the optimal set in the general case we define semidominators with respect to arbitrary trees. We also present a simple O(mlog n) time algorithm for computing such semidominators. As a byproduct, we get an alternative algorithm for computing dominators in O(mlog n) time.

AB - Let G = (V,E) be an n-vertices m-edges directed graph. Let s ∈ V be any designated source vertex, and let T be an arbitrary reachability tree rooted at s. We address the problem of finding a set of edges ε ⊆ E\T of minimum size such that on a failure of any vertex w ∈ V, the set of vertices reachable from s in T ∪ ε\{w} is the same as the set of vertices reachable from s in G\{w}. We obtain the following results: • The optimal set ε for any arbitrary reachability tree T has at most n − 1 edges. • There exists an O(mlog n)-time algorithm that computes the optimal set ε for any given reachability tree T. For the restricted case when the reachability tree T is a Depth-First- Search (DFS) tree it is straightforward to bound the size of the optimal set ε by n − 1 using semidominators with respect to DFS trees from the celebrated work of Lengauer and Tarjan [13]. Such a set ε can be computed in O(m) time using the algorithm of Buchsbaum et. al [4]. To bound the size of the optimal set in the general case we define semidominators with respect to arbitrary trees. We also present a simple O(mlog n) time algorithm for computing such semidominators. As a byproduct, we get an alternative algorithm for computing dominators in O(mlog n) time.

UR - http://www.scopus.com/inward/record.url?scp=84946018412&partnerID=8YFLogxK

U2 - 10.1007/978-3-662-48653-5_35

DO - 10.1007/978-3-662-48653-5_35

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:84946018412

SN - 9783662486528

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 528

EP - 543

BT - Distributed Computing - 29th International Symposium, DISC 2015, Proceedings

A2 - Moses, Yoram

PB - Springer Verlag

T2 - 29th International Symposium on Distributed Computing, DISC 2015

Y2 - 7 October 2015 through 9 October 2015

ER -