A Dynamic Data Structure for Maintaining Disjoint Paths Information in Digraphs
In this paper we present the first dynamic data structure for testing – in constant time – the existence of two edge- or quasi-internally vertex-disjoint paths p1 from s to t1 and p2 from s to t2 for any three given vertices s,t1, and t2 of a digraph. By quasi-internally vertex-disjoint we mean that no inner vertex of p1 appears on p2 and vice versa. Moreover, for two vertices s and t, the data structure supports the output of all vertices and all edges whose removal would disconnect s and t in a time linear in the size of the output. The update operations consist of edge insertions and edge deletions, where the implementation of edge deletions will be given only in the full version of this paper. The update time after an edge deletion is competitive with the reconstruction of a static data structure for testing the existence of disjoint paths in constant time, whereas our data structure performs much better in the case of edge insertions.
Unable to display preview. Download preview PDF.
- 3.Demetrescu, C., Italiano, G.F.: Fully dynamic transitive closure: Breaking through the O(n 2) barrier. In: Proc. 41st Annual IEEE Symposium on Foundations of Computer Science (FOCS 2000), pp. 381–389 (2000)Google Scholar
- 4.Demetrescu, C., Italiano, G.F.: Fully dynamic all pairs shortest paths with real edge weights. In: Proc. 42nd Annual IEEE Symposium on Foundations of Computer Science (FOCS 2001), pp. 260–267 (2001)Google Scholar
- 9.Lee, S.-W., Wu, C.-S.: A K-best paths algorithm for highly reliable communication networks. IEICE Trans. Commun. E82-B, 586–590 (1999)Google Scholar
- 10.King, V.: Fully dynamic algorithms for maintaining all-pairs shortest paths and transitive closure in digraphs. In: Proc. 40th Annual IEEE Symposium on Foundations of Computer Science (FOCS 1999), pp. 81–89 (1999)Google Scholar
- 13.Thorup, M.: Near-optimal fully-dynamic graph connectivity. In: Proc. 32nd Annual ACM Symposium on Theory of Computing (STOC 2000), pp. 343–350 (2000)Google Scholar
- 14.Thorup, M.: Fully-dynamic min-cut. In: Proc. 33rd Annual ACM Symposium on Theory of Computing (STOC 2001), pp. 224–230 (2001)Google Scholar