Advertisement

A Logspace Algorithm for Partial 2-Tree Canonization

  • Vikraman Arvind
  • Bireswar Das
  • Johannes Köbler
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5010)

Abstract

We show that partial 2-tree canonization, and hence isomorphism testing for partial 2-trees, is in deterministic logspace. Our algorithm involves two steps: (a) We exploit the “tree of cycles” property of biconnected partial 2-trees to canonize them in logspace. (b) We analyze Lindell’s tree canonization algorithm and show that canonizing general partial 2-trees is also in logspace, using the algorithm to canonize biconnected partial 2-trees.

Keywords

Tree Representation Graph Isomorphism Oriented Edge Articulation Point Isomorphism Order 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Arvind, V., Das, B., Köbler, J.: The space complexity of k-tree isomorphism. In: Proc. 18th International Symposium on Algorithms and Computation. LNCS, pp. 822–833. Springer, Heidelberg (2007)Google Scholar
  2. 2.
    Allender, E.: Arithmetic circuits and counting complexity classes. In: Krajíček, J. (ed.) Complexity of Computations and Proofs. Seconda Universita di Napoli. Quaderni di Matematica, vol. 13, pp. 33–72 (2004)Google Scholar
  3. 3.
    Allender, E., Ogihara, M.: Relationships among PL, #L and the determinant. R.A.I.R.O. Informatique Théorique et Applications 30(1), 1–21 (1996)zbMATHMathSciNetGoogle Scholar
  4. 4.
    Arnborg, S., Proskurowski, A.: Linear time algorithms for NP-hard problems restricted to partial k-trees. Discrete Applied Mathematics 23(2), 11–24 (1989)zbMATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    Arnborg, S., Proskurowski, A.: Canonical representations of partial 2- and 3-trees. BIT 32(2), 197–214 (1992)zbMATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    Babai, L., Erdős, P., Selkow, S.M.: Random graph isomorphism. SIAM Journal on Computing 9(3), 628–635 (1980)zbMATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    Babai, L., Kučera, L.: Canonical labelling of graphs in linear average time. In: Proc. 20th IEEE Symposium on the Foundations of Computer Science, pp. 39–46 (1979)Google Scholar
  8. 8.
    Babai, L., Luks, E.: Canonical labeling of graphs. In: Proc. 15th ACM Symposium on Theory of Computing, pp. 171–183 (1983)Google Scholar
  9. 9.
    Gurevich, Y.: From invariants to canonization. Bulletin of the European Association of Theoretical Computer Science (BEATCS) 63, 115–119 (1997)zbMATHMathSciNetGoogle Scholar
  10. 10.
    Grohe, M., Verbitsky, O.: Testing graph isomorphism in parallel by playing a game. In: Bugliesi, M., Preneel, B., Sassone, V., Wegener, I. (eds.) ICALP 2006. LNCS, vol. 4051, pp. 3–14. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  11. 11.
    Hoffmann, C.M.: Group-Theoretic Algorithms and Graph Isomorphism. LNCS, vol. 136. Springer, Heidelberg (1982)zbMATHGoogle Scholar
  12. 12.
    Harary, F., Palmer, E.M.: On acyclic simplicial complexes. Mathematica 15, 115–122 (1968)MathSciNetGoogle Scholar
  13. 13.
    Jakoby, A., Liskiewicz, M.: Paths Problems in Symmetric Logarithmic Space. In: Widmayer, P., Triguero, F., Morales, R., Hennessy, M., Eidenbenz, S., Conejo, R. (eds.) ICALP 2002. LNCS, vol. 2380, pp. 269–280. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  14. 14.
    Jenner, B., Köbler, J., McKenzie, P., Torán, J.: Completeness results for graph isomorphism. Journal of Computer and System Sciences 66, 549–566 (2003)zbMATHCrossRefMathSciNetGoogle Scholar
  15. 15.
    Kloks, T.: Treewidth: Computation and Approximation. LNCS, vol. 842. Springer, Heidelberg (1994)Google Scholar
  16. 16.
    Köbler, J., Schöning, U., Torán, J.: The Graph Isomorphism Problem: Its Structural Complexity. In: Progress in Theoretical Computer Science. Birkhäuser, Boston (1993)Google Scholar
  17. 17.
    Lindell, S.: A logspace algorithm for tree canonization. In: Proc. 24th ACM Symposium on Theory of Computing, pp. 400–404. ACM Press, New York (1992)Google Scholar
  18. 18.
    Luks, E.M.: Permutation groups and polynomial time computations. In: Finkelstein, L., Kantor, W.M. (eds.) Groups and Computation. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 11, pp. 139–175. American Mathematical Society (1993)Google Scholar
  19. 19.
    Reingold, O.: Undirected ST-connectivity in log-space. In: Proceedings of the 37th Annual ACM Symposium on Theory of Computing, pp. 376–385 (2005)Google Scholar
  20. 20.
    Thierauf, T., Wagner, F.: The isomorphism problem for planar 3-connected graphs is in unambiguous logspace. Technical Report TR07-068, Electronic Colloquium on Computational Complexity (ECCC) (2007)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Vikraman Arvind
    • 1
  • Bireswar Das
    • 1
  • Johannes Köbler
    • 2
  1. 1.The Institute of Mathematical SciencesChennaiIndia
  2. 2.Institut für InformatikHumboldt Universität zu BerlinGermany

Personalised recommendations