The Dynamic Complexity of Transitive Closure Is in DynTC°

  • William Hesse
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1973)

Abstract

This paper presents a fully dynamic algorithm for maintaining the transitive closure of a directed graph. All updates and queries can be computed by constant depth threshold circuits of polynomial size (TC° circuits). This places transitive closure in the dynamic complexity class DynTC°, and implies that transitive closure can be maintained in databases using updates written in a first order query language plus counting operators, while keeping the size of the database polynomial in the size of the graph.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Barrington, Immerman, and Straubing. On uniformity within NC 1. In SCT: Annual Conference on Structure in Complexity Theory, 1988.Google Scholar
  2. 2.
    Paul W. Beame, Stephen A. Cook, and H. James Hoover. Log depth circuits for division and related problems. SIAM Journal on Computing, 15(4):994–1003, 1986.MATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    G. Dong, L. Libkin, and L. Wong. On impossibility of decremental recomputation of recursive queries in relational calculus and SQL. In International Workshop on Database Programming Languages, 1995.Google Scholar
  4. 4.
    Guozhu Dong and Jianwen Su. Incremental and decremental evaluation of transitive closure by first-order queries. Information and Computation, 120(1):101–106, July 1995.MATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    Jacob Holm, Kristian de Lichtenberg, and Mikkel Thorup. Poly-logarithmic deterministic fully-dynamic algorithms for connectivity, minimum spanning tree, 2-edge and biconnectivity. In Proceedings of the 30th Annual ACM Symposium on Theory of Computing (STOC-98), pages 79–89, New York, May 23-26 1998. ACM Press.Google Scholar
  6. 6.
    Neil Immerman. Descriptive Complexity. Springer-Verlag, New York, 1999.MATHGoogle Scholar
  7. 7.
    Neil Immerman and Susan Landau. The complexity of iterated multiplication. Information and Computation, 116(1):103–116, January 1995.MATHCrossRefMathSciNetGoogle Scholar
  8. 8.
    Leonid Libkin and Limsoon Wong. Incremental recomputation of recursive queries with nested sets and aggregate functions. In Proc. of Database Programming Languages (DBPL’97), pages 222–238, Estes Park, CO, 1998. Springer-Verlag, Lecture Notes in Computer Science 1369.Google Scholar
  9. 9.
    Sushant Patnaik and Neil Immerman. Dyn-FO: A parallel, dynamic complexity class. Journal of Computer and System Sciences, 55(2):199–209, October 1997.CrossRefMathSciNetGoogle Scholar
  10. 10.
    John H. Reif and Stephen R. Tate. On threshold circuits and polynomial computation. SIAM Journal on Computing, 21(5):896–908, October 1992.MATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • William Hesse
    • 1
  1. 1.Department of Computer ScienceUniversity of MassachusettsAmherst

Personalised recommendations