# Fault Tolerant Reachability for Directed Graphs

@inproceedings{Baswana2015FaultTR,
title={Fault Tolerant Reachability for Directed Graphs},
author={Surender Baswana and Keerti Choudhary and Liam Roditty},
booktitle={DISC},
year={2015}
}
• Published in DISC 7 October 2015
• Mathematics, Computer Science
Let $$G=V,E$$ be an n-vertices m-edges directed graph. Let $$s\in 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 $$\mathcal{E}\subseteq E\backslash T$$ of minimum size such that on a failure of any vertex $$w\in V$$, the set of vertices reachable from s in $$T\cup \mathcal{E} \backslash \{w\}$$ is the same as the set of vertices reachable from s in $$G\backslash \{w\}$$. We obtain the following…
21 Citations
Fault-Tolerant Subgraph for Single-Source Reachability: General and Optimal
• Mathematics
SIAM J. Comput.
• 2018
This work addresses the problem of single-source reachability (SSR) from s in the presence of failures of vertices/edges and proves a matching lower bound of $\Omega(2^kn)$ edges for such subgraphs that holds for all $n,k$ with $2^k\leq n$.
Multiple Source Dual Fault Tolerant BFS Trees
• Computer Science, Mathematics
ICALP
• 2017
The key difference in the approach is a much simpler classification of path interactions which formed the basis of the analysis by Parter [PODC15] and can be easily extended to handle dual FT-MBFS problem.
A Note on Fault Tolerant Reachability for Directed Graphs
• Mathematics, Computer Science
ArXiv
• 2015
An application of low-high orders in fault-tolerant network design and an algorithm to compute a minimum-size valid set in O(m) time, where n = |V| and m = |A| is described.
On Low-High Orders of Directed Graphs: Incremental Algorithms and Applications
• Computer Science
ArXiv
• 2016
These immediately provide the first incremental certifying algorithms for maintaining the dominator tree in $O(mn)$ total time, and also imply incremental algorithms for other problems.
Decremental Data Structures for Connectivity and Dominators in Directed Graphs
• Computer Science, Mathematics
ICALP
• 2017
A decremental data structure is introduced that supports sensitivity queries of the form "are u and v strongly connected in the graph G \setminus w $?", for any triple of vertices of a directed graph (digraph) under edge deletions, and answers the above queries in constant time. Fault tolerant subgraph for single source reachability: generic and optimal • Mathematics STOC • 2016 The problem of single source reachability from s in presence of failures of vertices/edges is addressed and it is shown that for every k≥ 1, there is a subgraph H of G with at most 2k n edges that preserves the reachable from s even after the failure of any k edges. Incremental Low-High Orders of Directed Graphs and Applications • Computer Science SEA • 2017 Algorithms that run in O(mn) total time for a sequence of edge insertions in a flow graph with n vertices, where m is the total number of edges after all insertions are presented. Addendum to “Dominator Tree Certification and Divergent Spanning Trees” • Mathematics ACM Trans. Algorithms • 2016 An application of low-high orders in faulttolerant network design that is presented recently and shows that there is a valid set containing at most n − 1 arcs, and an algorithm to compute a minimum-size valid set in O(mlog n) time is given. Near Optimal Sized Weight Tolerant Subgraph for Single Source Shortest Path • Computer Science, Mathematics ArXiv • 2017 This paper shows that given any weighted directed graph with$n$vertices and a source vertex, one can construct a subgraph that contains at most$e \cdot (k-1)!2^kn$many edges such that it preserves distances between the source and all other vertices as long as the total weight increment is bounded by$k.
Fault Tolerant Subgraphs with Applications in Kernelization
• Mathematics
ITCS
• 2020
It is proved that “almost acyclicity” suffices to eliminate the dependency on n entirely for a broad class of dense digraphs called bounded independence dig graphs, and DEOCT is proved to be NP-hard on tournaments by establishing a combinatorial identity between the minimum size of a feedback arc set and theminimum size of an edge odd cycle transversal.

## References

SHOWING 1-10 OF 17 REFERENCES
Oracles for Distances Avoiding a Failed Node or Link
• Computer Science
SIAM J. Comput.
• 2008
A deterministic oracle with constant query time for this problem that uses $O (n^2\log n)$ space, where $n$ is the number of vertices in $G$ and the construction time for the oracle is $O(mn^{2} + n^{3}\ log n)$.
Sparse Fault-Tolerant BFS Trees
• Computer Science
ESA
• 2013
The problem of designing a sparse fault-tolerant BFS tree, or FT-BFS tree for short, namely, a sparse subgraph T of the given network G such that subsequent to the failure of a single edge or vertex, the surviving part T′ of T still contains a BFS spanning tree for (the surviving part of) G.
Fault Tolerant Approximate BFS Structures
• Mathematics, Computer Science
SODA
• 2014
This paper addresses the problem of designing a fault-tolerant (α, β) approximate BFS structure (or FT-ABFSstructure for short), namely, a subgraph H of the network G such that subsequent to the failure of some subset F of edges or vertices, the surviving part of H still contains an approximate B FS spanning tree for (the surviving parts of) G.
Approximate Shortest Paths Avoiding a Failed Vertex: Near Optimal Data Structures for Undirected Unweighted Graphs
• Computer Science, Mathematics
Algorithmica
• 2012
This work addresses the problem of building a compact data structure which can efficiently answer the following query for any u,v,x∈V and t>1: Reportt-approximate shortest path betweenu andv when vertexxfails.
A nearly optimal oracle for avoiding failed vertices and edges
• Computer Science, Mathematics
STOC '09
• 2009
An improved oracle for the distance sensitivity problem that has an improved construction time of ~O(mn), and it is deterministic, barring improved solutions to the all pairs shortest path problem, is optimal up to logarithmic factors.
f-Sensitivity Distance Oracles and Routing Schemes
• Computer Science, Mathematics
Algorithmica
• 2011
This paper presents an efficiently constructible f-sensitivity distance oracle that given a triplet (s,t,F), where s and t are vertices and F is a set of forbidden edges such that |F|≤f, returns an estimate of the distance between s andT in G(V,E∖F), and is the first to consider approximate oracles for general graphs.
Dual Failure Resilient BFS Structure
The structural analysis provided in this paper may decrease the barrier for understanding the general case of f ≥ 2 faults and pave the way to the future design of f-fault resilient structures for f ≥ 1 and multiple sources S ⊆ V.
Finding dominators via disjoint set union
• Computer Science
J. Discrete Algorithms
• 2013
Linear-Time Algorithms for Dominators and Other Path-Evaluation Problems
• Computer Science
SIAM J. Comput.
• 2008
This work provides a systematic study of the subtleties in the dominators problem, the techniques needed to solve it in linear time, and the range of application of the resulting methods.
Faster replacement paths
The result shows that, at least for small integer weights, the replacement paths problem in directed graphs may be easier than the related all pairs shortest paths problemIn directed graphs, as the current best runtime for the latter is Ω(<i>n</i><sup>2.5</sup>) time even if ω = 2.33.