Abstract:Dynamic graph connectivity algorithms have been studied for many years, but typically in the most general possible setting, where the graph can evolve in completely arbitrary ways. In this paper we consider a dynamic subgraph model. We assume there is some fixed, underlying graph that can be preprocessed ahead of time. The graph is subject only to vertices and edges flipping "off" (failing) and "on" (recovering), where queries naturally apply to the subgraph on edges/vertices currently flipped on. This model fits most real world scenarios, where the topology of the graph in question (say a router network or road network) is constantly evolving due to temporary failures but never deviates too far from the ideal fa:hire-free state.We present the first efficient connectivity oracle for graphs susceptible to vertex failures. Given vertices u and v and a set D of d failed vertices, we can determine if there is a path from u to v avoiding D in time polynomial in d log n. There is a tradeoff in our oracle between the space, which is roughly mn(is an element of), for 0 < is an element of <= 1, and the polynomial query time, which depends on e. If one wanted to achieve the same functionality with existing data structures (based on edge failures or twin vertex failures) the resulting connectivity oracle would either need exorbitant space (Omega(n(d))) or update time Omega(dn), that is, linear in the number of vertices. Our connectivity oracle is therefore the first of its kind.As a byproduct of our oracle for vertex failures we reduce the problem of constructing an edge-failure oracle to 2D range searching over the integers. We show there is an <(O)over tilde>(m)-space oracle that processes any set of d failed edges in O(d(2) log log n) time and, thereafter, answers connectivity queries in O(log log n) time. Our update time is exponentially faster than a recent connectivity oracle of Patrascu and Thorup for bounded d, but slower as a function of d.

Constant-time connectivity tests

An Enumerative Perspective on Connectivity

Dynamic constant time parallel graph algorithms with sub-linear work

Engineering Nearly Linear-time Algorithms for Small Vertex Connectivity

Fast distributed algorithms for testing graph properties

Faster Algorithms for Rooted Connectivity in Directed Graphs

Lipschitz Continuous Algorithms for Graph Problems

Distributed Finite-Time Estimation of the Bounds on Algebraic Connectivity for Directed Graphs

Faster Randomized Worst-Case Update Time for Dynamic Subgraph Connectivity

Limited Query Graph Connectivity Test

A Planarity Test via Construction Sequences

Connectivity Oracles For Failure Prone Graphs

Effective Resistances in Non-Expander Graphs

Polynomial Time Symmetry and Isomorphism Testing for Connected Graphs

9/7-Approximation for Two-Edge-Connectivity and Two-Vertex-Connectivity

Stochastic Distance in Property Testing

Towards Scalable and Practical Batch-Dynamic Connectivity

Parallel Batch-Dynamic Graph Connectivity

Planar Graphs: Random Walks and Bipartiteness Testing

Connectivity Algorithm

Efficient computation of \lowercase{$f$}-centralities and nonbacktracking centrality for temporal networks