Faster Randomized Worst-Case Update Time for Dynamic Subgraph Connectivity

Real-world networks are prone to breakdowns. Typically in the underlying graph G, besides the insertion or deletion of edges, the set of active vertices changes overtime. A vertex might work actively, or it might fail, and gets isolated temporarily. The active vertices are grouped as a set S. The set S is subjected to updates, i.e., a failed vertex restarts, or an active vertex fails, and gets deleted from S. Dynamic subgraph connectivity answers the queries on connectivity between any two active vertices in the subgraph of G induced by S. The problem is solved by a dynamic data structure, which supports the updates and answers the connectivity queries. In the general undirected graph, we propose a randomized data structure, which has \(\widetilde{O}(m^{3/4})\) worst-case update time. The former best results for it include \(\widetilde{O}(m^{2/3})\) deterministic amortized update time by Chan, Pǎtrascu and Roditty [4], \(\widetilde{O}(m^{4/5})\) by Duan [8] and \(\widetilde{O}(\sqrt{mn})\) by Baswana, Chaudhury, Choudhary and Khan [2] deterministic worst-case update time.

[1]  Ran Duan,et al.  Connectivity oracles for failure prone graphs , 2010, STOC '10.

[2]  Mikkel Thorup,et al.  Poly-logarithmic deterministic fully-dynamic algorithms for connectivity, minimum spanning tree, 2-edge, and biconnectivity , 1998, STOC '98.

[3]  Greg N. Frederickson,et al.  Data Structures for On-Line Updating of Minimum Spanning Trees, with Applications , 1985, SIAM J. Comput..

[4]  Zhengyu Wang An Improved Randomized Data Structure for Dynamic Graph Connectivity , 2015, ArXiv.

[5]  Surender Baswana,et al.  Dynamic DFS in Undirected Graphs: breaking the O(m) barrier , 2015, SODA.

[6]  Timothy M. Chan,et al.  Dynamic Connectivity: Connecting to Networks and Geometry , 2008, 2008 49th Annual IEEE Symposium on Foundations of Computer Science.

[7]  Don Coppersmith,et al.  Matrix multiplication via arithmetic progressions , 1987, STOC.

[8]  David Eppstein,et al.  Sparsification-a technique for speeding up dynamic graph algorithms , 1992, Proceedings., 33rd Annual Symposium on Foundations of Computer Science.

[9]  Amir Abboud,et al.  Popular Conjectures Imply Strong Lower Bounds for Dynamic Problems , 2014, 2014 IEEE 55th Annual Symposium on Foundations of Computer Science.

[10]  R HenzingerMonika,et al.  Randomized fully dynamic graph algorithms with polylogarithmic time per operation , 1999 .

[11]  Ran Duan,et al.  Faster Worst-Case Update Time for Dynamic Subgraph Connectivity , 2016, ArXiv.

[12]  Erik D. Demaine,et al.  Logarithmic Lower Bounds in the Cell-Probe Model , 2005, SIAM J. Comput..

[13]  Alon Itai,et al.  Finding a Minimum Circuit in a Graph , 1978, SIAM J. Comput..

[14]  Daniele Frigioni,et al.  Dynamically Switching Vertices in Planar Graphs , 2000, Algorithmica.

[15]  Peter Bro Miltersen,et al.  Complexity Models for Incremental Computation , 1994, Theor. Comput. Sci..

[16]  Bruce M. Kapron,et al.  Dynamic graph connectivity with improved worst case update time and sublinear space , 2015, ArXiv.

[17]  Ran Duan,et al.  Dual-failure distance and connectivity oracles , 2009, SODA.

[18]  Mikkel Thorup,et al.  Near-optimal fully-dynamic graph connectivity , 2000, STOC '00.

[19]  David R. Karger,et al.  Improved distance sensitivity oracles via random sampling , 2008, SODA '08.

[20]  Monika Henzinger,et al.  Unifying and Strengthening Hardness for Dynamic Problems via the Online Matrix-Vector Multiplication Conjecture , 2015, STOC.

[21]  Tsvi Kopelowitz,et al.  Fully Dynamic Connectivity in O(log n(log log n)2) Amortized Expected Time , 2016, SODA.

[22]  Ronald L. Rivest,et al.  Introduction to Algorithms, third edition , 2009 .

[23]  Thatchaphol Saranurak,et al.  Dynamic spanning forest with worst-case update time: adaptive, Las Vegas, and O(n1/2 - ε)-time , 2017, STOC.

[24]  Christian Wulff-Nilsen Faster deterministic fully-dynamic graph connectivity , 2013, SODA 2013.

[25]  Timothy M. Chan Dynamic Subgraph Connectivity with Geometric Applications , 2006, SIAM J. Comput..

[26]  Ruosong Wang,et al.  Improved Algorithms for Maintaining DFS Tree in Undirected Graphs , 2016, ArXiv.

[27]  Thatchaphol Saranurak,et al.  Dynamic Spanning Forest with Worst-Case Update Time: Adaptive, Las Vegas, and $O(n^{1/2-\epsilon})$-Time , 2016 .

[28]  Bruce M. Kapron,et al.  Dynamic graph connectivity in polylogarithmic worst case time , 2013, SODA.

[29]  Mikkel Thorup,et al.  Planning for Fast Connectivity Updates , 2007, 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07).

[30]  Christian Wulff-Nilsen,et al.  Fully-dynamic minimum spanning forest with improved worst-case update time , 2016, STOC.

[31]  Ran Duan,et al.  New Data Structures for Subgraph Connectivity , 2010, ICALP.

[32]  Mikkel Thorup,et al.  Faster Worst Case Deterministic Dynamic Connectivity , 2016, ESA.

[33]  Robert E. Tarjan,et al.  Dynamic trees as search trees via euler tours, applied to the network simplex algorithm , 1997, Math. Program..

[34]  David R. Karger,et al.  A nearly optimal oracle for avoiding failed vertices and edges , 2009, STOC '09.