Abstract. p]First we review amortized fully-dynamic polylogarithmic algorithms for connectivity, minimum spanning trees (MST), 2-edge- and biconnectivity. Second we discuss how they yield improved static algorithms: connectivity for constructing a tree from homeomorphic subtrees, 2-edge connectivity for finding unique matchings in graphs, and MST for packing spanning trees in graphs.
The application of MST for spanning tree packing is new and when boot-strapped, it yields a fully-dynamic polylogarithmic algorithm for approximating general edge connectivity within a factor \( \sqrt {2 + o\left( 1 \right)} \) . Finally, on the more practical side, we will discuss how output sensitive algorithms for dynamic shortest paths have been applied successfully to speed up local search algorithms for improving routing on the internet, roughly doubling the capacity.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
E. H. L. Aarts and J. K. Lenstra, editors. Local Search in Combinatorial Optimization. Discrete Mathematics and Optimization. Wiley-Interscience, Chichester, England, June 1997.
A.V. Aho, Y. Sagiv, T.G. Szymanski, and J.D. Ullman. Inferring a tree from lowest common ancestors with an application to the optimization of relational expressions. SIAM J. Computing, 10(3):405–421, 1981.
T.C. Biedl, P. Bose, E.D. Demaine, and A. Lubiw. Efficient algorithms for Petersen’s matching theorem. In Proc. 10th ACM-SIAM Symp. on Discrete Algorithms,pages 130–139, 1999.
E. W. Dijkstra. A note on two problems in connection with graphs. Numer. Math., 1:269–271, 1959.
D. Eppstein, Z. Galil, G. F. Italiano, and A. Nissenzweig. Sparsification — a technique for speeding up dynamic graph algorithms. J. ACM, 44(5):669–696, 1997. See also FOCS’92.
B. Fortz and M. Thorup. Internet traffic engineering by optimizing OSPF weights. In Proc. 19th IEEE INFOCOM-Conf. Computer Communications, pages 519–528, 2000.
D. Frigioni, M. Ioffreda, U. Nanni, and G. Pasqualone. Experimental analysis of dynamic algorithms for the single-source shortest path problem. ACM J. Experimental Algorithmics, 3, article 5, 1998.
H. N. Gabow. A matroid approach to finding edge connectivity and packing arborescences. J. Comp. Syst. Sc., 50:259–273, 1995.
H.N. Gabow, H. Kaplan, and R.E. Tarjan. Unique maximum matching algorithms. In Proc. 31st ACM Symp. on Theory of Computing, pages 70–78, 1999.
M.R. Henzinger, V. King, and T. Warnow. Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology. Algorithmica, 24(1):1–13, 1999.
J. Holm, K. de Lichtenberg, and M. Thorup. Poly-logarithmic deterministic fully-dynamic algorithms for connectivity, minimum spanning tree, 2-edge, and biconnectivity. In Proc. 30th ACM Symp. on Theory of Computing, pages 79–89, 1998.
S. Kannan, T. Warnow, and S. Yooseph. Computing the local consensus of trees. SIAM J. Computing, 27(6):1695–1724, 1998.
D. R. Karger. Using randomized sparsification to approximate minimum cuts. In Proc. 5th ACM-SIAM Symp. on Discrete Algorithms, pages 424–432, 1994.
D. R. Karger. Better random sampling algorithms for flows in undirected graphs. In Proc. 9th ACM-SIAM Symp. on Discrete Algorithms, pages 490–499, 1998.
D. R. Karger. Minimum cuts in near-linear time. J. ACM, 47(1), 2000.
V. King. Fully dynamic algorithms for maintaining all-pairs shortest paths and transitive closure in digraphs. In Proc. 40th IEEE Symp. on Foundations of Computer Science, pages 81–89, 1999.
A. Kotzig. On the theory of finite graphs with a linear factor I. Mat.-Fyz. Casopis Slovensk. Akad. Vied, 9:73–91, 1959.
D. W. Matula. A linear time 2 + ∈ approximation algorithm for edge connectivity. In Proc. 4th ACM-SIAM Symp. on Discrete Algorithms, pages 500–504, 1993.
J. T. Moy. OSPF: Anatomy of an Internet Routing Protocol. Addison-Wesley, 1999.
H. Nagamochi and T. Ibaraki. Linear time algorithms for finding a sparse k-connected spanning subgraph of a k-connected graph. Algorithmica, 7:583–596, 1992.
C. St. J. A. Nash-Williams. Edge disjoint spanning trees of finite graphs. J. London Math. Soc., 36:445–450, 1991.
J. Petersen. Die theorie der regulären graphs. Acta Mathematica, 15:193–220, 1891.
S. A. Plotkin, D. B. Shmoys, and E. Tardos. Fast approximation algorithms for fractional packing and covering problems. Mathematics of Operations Research, 20:257–301, 1995.
G. Ramalingam and T. Reps. An incremental algorithm for a generalization of the shortest-path problem. J. Algorithms, 21(2):267–305, 1996.
N. Young. Randomized rounding without solving the linear program. In Proc. 6th ACM-SIAM Symp. on Discrete Algorithms (SODA), pages 170–178, 1995.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Thorup, M., Karger, D.R. (2000). Dynamic Graph Algorithms with Applications. In: Algorithm Theory - SWAT 2000. SWAT 2000. Lecture Notes in Computer Science, vol 1851. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44985-X_1
Download citation
DOI: https://doi.org/10.1007/3-540-44985-X_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67690-4
Online ISBN: 978-3-540-44985-0
eBook Packages: Springer Book Archive