Skip to main content
SpringerLink
Log in

Graph Isomorphism Parameterized by Elimination Distance to Bounded Degree

  • Conference paper
  • First Online:
Parameterized and Exact Computation (IPEC 2014)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 8894))

Included in the following conference series:

Abstract

A commonly studied means of parameterizing graph problems is the deletion distance from triviality [10], which counts vertices that need to be deleted from a graph to place it in some class for which efficient algorithms are known. In the context of graph isomorphism, we define triviality to mean a graph with maximum degree bounded by a constant, as such graph classes admit polynomial-time isomorphism tests. We generalise deletion distance to a measure we call elimination distance to triviality, based on elimination trees or tree-depth decompositions. We establish that graph canonisation, and thus graph isomorphism, is \(\mathsf {FPT}\) when parameterized by elimination distance to bounded degree, generalising results of Bouland et al. [2] on isomorphism parameterized by tree-depth.

Research supported in part by EPSRC grant EP/H026835, DAAD grant A/13/05456, and DFG project Logik, Struktur und das Graphenisomorphieproblem.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Babai, L., Luks, E.M.: Canonical labeling of graphs. In: Proceedings of 15th ACM Symposium. Theory of Computing, pp. 171–183. ACM, New York (1983)

    Google Scholar 

  2. Bouland, A., Dawar, A., Kopczyński, E.: On tractable parameterizations of graph isomorphism. In: Thilikos, D.M., Woeginger, G.J. (eds.) IPEC 2012. LNCS, vol. 7535, pp. 218–230. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  3. Diestel, R.: Graph Theory. Springer, New York (2000)

    Google Scholar 

  4. Downey, R.G., Fellows, M.R.: Parameterized Complexity. Springer, Heidelberg (2012)

    Google Scholar 

  5. Evdokimov, S., Ponomarenko, I.: Isomorphism of coloured graphs with slowly increasing multiplicity of Jordan blocks. Combinatorica 19(3), 321–333 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  6. Fellows, M.R., Lokshtanov, D., Misra, N., Rosamond, F.A., Saurabh, S.: Graph layout problems parameterized by vertex cover. In: Proceedings 19th International Symposium Algorithms and Computation, pp. 294–305 (2008)

    Google Scholar 

  7. Filotti, I.S., Mayer, J.N.: A polynomial-time algorithm for determining the isomorphism of graphs of fixed genus. In: STOC ’80: Proceedings of the Twelfth Annual ACM Symposium on Theory of Computing, ACM Request Permissions, April 1980

    Google Scholar 

  8. Flum, J., Grohe, M.: Parameterized Complexity Theory. Springer, Berlin (2006)

    Google Scholar 

  9. Grohe, M., Marx, D.: Structure theorem and isomorphism test for graphs with excluded topological subgraphs. In: Proceedings 44th Symposium on Theory of Computing, pp. 173–192 (2012)

    Google Scholar 

  10. Guo, J., Hüffner, F., Niedermeier, R.: A structural view on parameterizing problems: distance from triviality. In: Downey, R.G., Fellows, M.R., Dehne, F. (eds.) IWPEC 2004. LNCS, vol. 3162, pp. 162–173. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  11. Kratsch, S., Schweitzer, P.: Isomorphism for graphs of bounded feedback vertex set number. In: Kaplan, H. (ed.) SWAT 2010. LNCS, vol. 6139, pp. 81–92. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  12. Lindell, S.: A logspace algorithm for tree canonization (extended abstract). In: STOC ’92: Proceedings of the Twenty-fourth Annual ACM Symposium on Theory of Computing, ACM Request Permissions, July 1992

    Google Scholar 

  13. Lokshtanov, D., Pilipczuk, M., Pilipczuk, M., Saurabh, S.: Fixed-parameter tractable canonization and isomorphism test for graphs of bounded treewidth. arxiv:1404.0818 [cs.DS] (2014)

  14. Luks, E.M.: Isomorphism of graphs of bounded valence can be tested in polynomial time. J. Comput. Syst. Sci. 25(1), 42–65 (1982)

    Article  MATH  MathSciNet  Google Scholar 

  15. McKay, B.D.: Practical graph isomorphism. Congressus Numerantium 30, 45–87 (1981)

    MathSciNet  Google Scholar 

  16. McKay, B.D., Piperno, A.: Practical graph isomorphism. II. J. Symb. Comput. 60, 94–112 (2014)

    Article  MATH  MathSciNet  Google Scholar 

  17. Miller, G.: Isomorphism testing for graphs of bounded genus. In: STOC ’80: Proceedings 12th ACM Symposium Theory of Computing. ACM (1980)

    Google Scholar 

  18. Niedermeier, R.: Invitation to Fixed-Parameter Algorithms. Oxford University Press, Oxford (2006)

    Book  MATH  Google Scholar 

  19. Ponomarenko, I.N.: The isomorphism problem for classes of graphs closed under contraction. J. Sov. Math. 55(2), 1621–1643 (1991)

    Article  MathSciNet  Google Scholar 

  20. Toda, S.: Computing automorphism groups of chordal graphs whose simplicial components are of small size. IEICE Trans. Inf. Syst. E89–D(8), 2388–2401 (2006)

    Article  Google Scholar 

  21. Uehara, R., Toda, S., Nagoya, T.: Graph isomorphism completeness for chordal bipartite graphs and strongly chordal graphs. Discrete Appl. Math. 145(3), 479–482 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  22. Yamazaki, K., Bodlaender, H.L., De Fluiter, B., Thilikos, D.M.: Isomorphism for. In: Bongiovanni, G., Bovet, D.P., Di Battista, G. (eds.) CIAC 1997. LNCS, vol. 1203, pp. 276–287. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Cambridge Computer Laboratory, Cambridge, UK

    Jannis Bulian & Anuj Dawar

Authors
  1. Jannis Bulian
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Anuj Dawar
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to Jannis Bulian or Anuj Dawar .

Editor information

Editors and Affiliations

  1. Faculty of Mathematics, Informatics and Mechanics, University of Warsaw, Warsaw, Poland

    Marek Cygan

  2. University of Bergen, Bergen, Norway

    Pinar Heggernes

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Bulian, J., Dawar, A. (2014). Graph Isomorphism Parameterized by Elimination Distance to Bounded Degree. In: Cygan, M., Heggernes, P. (eds) Parameterized and Exact Computation. IPEC 2014. Lecture Notes in Computer Science(), vol 8894. Springer, Cham. https://doi.org/10.1007/978-3-319-13524-3_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-13524-3_12

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-13523-6

  • Online ISBN: 978-3-319-13524-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation