Advertisement

Quasi-fully dynamic algorithms for two-connectivity, cycle equivalence and related problems

  • Madhukar R. Korupolu
  • Vijaya Ramachandran
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1284)

Abstract

In this paper we introduce a new class of dynamic graph algorithms called quasi-fully dynamic algorithms, which are much more general than backtracking algorithms and are much simpler than fully dynamic algorithms. These algorithms are especially suitable for applications in which a certain core connected portion of the graph remains fixed, and fully dynamic updates occur on the remaining edges in the graph.

We present very simple quasi-fully dynamic algorithms with O(log n) worst case time per operation for 2-edge connectivity and cycle equivalence. The former is deterministic while the latter is Monte-Carlo type randomized. For 2-vertex connectivity, we give a randomized Las Vegas algorithm with O(log4n) expected amortized time per operation. We introduce the concept of quasi-k-edge-connectivity, which is a slightly relaxed version of k-edge connectivity, and show that it can be maintained in O(log n) worst case time per operation. We also analyze the performance of a natural extension of our quasi-fully dynamic algorithms to fully dynamic algorithms.

The quasi-fully dynamic algorithm we present for cycle equivalence (which has several applications in optimizing compilers) is of special interest since the algorithm is quite simple, and no special-purpose incremental or backtracking algorithm is known for this problem.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    David Alberts, Giuseppe Cattaneo, and Giuseppe F. Italiano. An empirical study of dynamic graph algorithms. In Proceedings of the Seventh Annual ACM SIAM Symp. on Discrete Algorithms, pages 192–201, 1996.Google Scholar
  2. 2.
    David A. Aldous. The random walk construction of uniform spanning trees and uniform labelled trees. Siam J. Disc. Math., 3(4):450–465, November 1990.Google Scholar
  3. 3.
    D. Eppstein, Z. Galil, and G. Italiano. Improved sparsification. Technical Report 93–20, University of California at Irvine, Dept of Information and Computer Science, 1993.Google Scholar
  4. 4.
    J. Feigenbaum and Sampath Kannan. Handbook of Discrete and Combinatorial Mathematics, chapter Dynamic Graph Algorithms, pages 583–591. 1995.Google Scholar
  5. 5.
    G.N. Frederickson. Ambivalent data structures for dynamic 2-edge connectivity and k smallest spanning trees. In Proceedings of 32nd Symp. on Foundations of Computer Science, pages 632–641, 1991.Google Scholar
  6. 6.
    R. Gupta and M.L. Soffa. Region scheduling. In Proc. 2nd International Conference on Supercomputing, pages 141–148, 1987.Google Scholar
  7. 7.
    M. Rauch Henzinger. Fully dynamic biconnectivity in graphs. In Proceedings of 33rd Symp. on Foundations of Computer Science, pages 50–59, 1992.Google Scholar
  8. 8.
    M. Rauch Henzinger. Fully dynamic cycle equivalence in graphs. In Proceedings of 35th Symposium on Foundations of Computer Science, pages 744–755, 1994.Google Scholar
  9. 9.
    M. Rauch Henzinger and V. King. Randomized dynamic algorithms with polylogarithmic time per operation. In Proceedings of 27th Annual Symp. on Theory of Computing, pages 519–527, 1995.Google Scholar
  10. 10.
    M. Rauch Henzinger and J. A. La Poutre. Certificates and fast algorithms for biconnectivity in fully-dynamic graphs. In Proceedings of Third Annual European Symposium on Algorithms (ESA), pages 171–184, 1995.Google Scholar
  11. 11.
    Monika Henzinger and Valerie King. Personal communication, July–August 1996.Google Scholar
  12. 12.
    M.R Henzinger and Valerie King. Fully dynamic biconnectivity and transitive closure. In Proceedings 36th Symp. on Foundations of Computer Science, pages 664–672, 1995.Google Scholar
  13. 13.
    Richard Johnson, David Pearson, and Keshav Pingali. Finding regions fast: Single entry single exit and control regions in linear time. In Proceedings of ACM SIGPLAN '94 Conference on Programming Language Design and Implementation, pages 171–185, 1994.Google Scholar
  14. 14.
    Valerie King. Personal communication, July 1996.Google Scholar
  15. 15.
    Madhukar R. Korupolu and Vijaya Ramachandran. Quasi-fully dynamic algorithms for two-connectivity, cycle equivalence and related problems. Technical report TR97-14, Univ. of Texas at Austin, Dept. of Computer Sciences, 1997.Google Scholar
  16. 16.
    Madhukar R. Korupolu. Randomized fully dynamic two edge connectivity: A variant of the Henzinger-King sketch. Manuscript, Univ of Texas at Austin, May 1997.Google Scholar
  17. 17.
    J.A. La Poutre. Maintenance of 2-and 3-connected components of graphs, part ii: 2-and 3-edge connected components and 2-vertex connected components. Technical Report RUU-CS-90-27, Utrecht University, 1990.Google Scholar
  18. 18.
    J.A. La Poutre and J. Westbrook. Dynamic two-connectivity with backtracking. In Proceedings of 4th Symp. on Discrete Algorithms, pages 204–212, 1994.Google Scholar
  19. 19.
    Ketan Mulmuley, U.V. Vazirani, and V.V. Vazirani. Matching is as easy as matrix inversion. Combinatorica, 7(1):105–113, 1987.Google Scholar
  20. 20.
    D.D. Sleator and R.E. Tarjan. A data structure for dynamic trees. J. Comput. System Sci., 26:362–391, 1983.Google Scholar
  21. 21.
    R.E Tarjan and Valdes Jacobo. Prime subprogram parsing of a program. In Conference record of the Seventh Annual ACM Symp. on Principles of Programming Languages, pages 28–30, 1980.Google Scholar
  22. 22.
    J. Westbrook. Algorithms and Data Structures for Dynamic Graph Problems. PhD thesis, Dept of Computer Science, Princeton University, Princeton, NJ, 1989.Google Scholar
  23. 23.
    J. Westbrook and R.E. Tarjan. Amortized analysis of algorithms for set union with backtracking. SIAM Jl. Computing, 18:1–11, 1989.Google Scholar
  24. 24.
    J. Westbrook and R.E. Tarjan. Maintaining bridge connected and biconnected components online. Algorithmica, pages 433–464, 1992.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Madhukar R. Korupolu
    • 1
  • Vijaya Ramachandran
    • 1
  1. 1.Department of Computer SciencesThe University of Texas at AustinAustin

Personalised recommendations