Advertisement

The Hardness of Embedding Grids and Walls

  • Yijia Chen
  • Martin Grohe
  • Bingkai LinEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10520)

Abstract

The dichotomy conjecture for the parameterized embedding problem states that the problem of deciding whether a given graph G from some class \(\mathcal K\) of “pattern graphs” can be embedded into a given graph H (that is, is isomorphic to a subgraph of H) is fixed-parameter tractable if \(\mathcal K\) is a class of graphs of bounded tree width and \(W [1]\)-complete otherwise.

Towards this conjecture, we prove that the embedding problem is \(W [1]\)-complete if \(\mathcal K\) is the class of all grids or the class of all walls.

Notes

Acknowledgement

Yijia Chen is partially supported by the Sino-German Center for Research Promotion (CDZ 996) and National Nature Science Foundation of China (Project 61373029). Bingkai Lin is partially supported by the JSPS KAKENHI Grant (JP16H07409) and JST ERATO Grant (JPMJER1201) of Japan.

References

  1. 1.
    Alon, N., Yuster, R., Zwick, U.: Color-coding. J. ACM 42(4), 844–856 (1995)CrossRefMathSciNetzbMATHGoogle Scholar
  2. 2.
    Bodirsky, M., Grohe, M.: Non-dichotomies in constraint satisfaction complexity. In: Aceto, L., Damgård, I., Goldberg, L.A., Halldórsson, M.M., Ingólfsdóttir, A., Walukiewicz, I. (eds.) ICALP 2008. LNCS, vol. 5126, pp. 184–196. Springer, Heidelberg (2008).  https://doi.org/10.1007/978-3-540-70583-3_16 CrossRefGoogle Scholar
  3. 3.
    Chen, H., Müller, M.: One hierarchy spawns another: graph deconstructions and the complexity classification of conjunctive queries. In: Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, pp. 32:1–32:10 (2014)Google Scholar
  4. 4.
    Chen, Y., Thurley, M., Weyer, M.: Understanding the complexity of induced subgraph isomorphisms. In: Aceto, L., Damgård, I., Goldberg, L.A., Halldórsson, M.M., Ingólfsdóttir, A., Walukiewicz, I. (eds.) ICALP 2008. LNCS, vol. 5125, pp. 587–596. Springer, Heidelberg (2008).  https://doi.org/10.1007/978-3-540-70575-8_48 CrossRefGoogle Scholar
  5. 5.
    Cygan, M., Fomin, F.V., Kowalik, L., Lokshtanov, D., Marx, D., Pilipczuk, M., Pilipczuk, M., Saurabh, S.: Parameterized Algorithms. Springer, Cham (2015).  https://doi.org/10.1007/978-3-319-21275-3 CrossRefzbMATHGoogle Scholar
  6. 6.
    Dalmau, V., Kolaitis, P.G., Vardi, M.Y.: Constraint satisfaction, bounded treewidth, and finite-variable logics. In: Van Hentenryck, P. (ed.) CP 2002. LNCS, vol. 2470, pp. 310–326. Springer, Heidelberg (2002).  https://doi.org/10.1007/3-540-46135-3_21 CrossRefGoogle Scholar
  7. 7.
    Diestel, R.: Graph Theory. Graduate Texts in Mathematics, vol. 173, 4th edn. Springer, Heidelberg (2012).  https://doi.org/10.1007/978-3-662-53622-3 zbMATHGoogle Scholar
  8. 8.
    Downey, R.G., Fellows, M.R.: Parameterized Complexity. Springer, New York (1999).  https://doi.org/10.1007/978-1-4612-0515-9 CrossRefzbMATHGoogle Scholar
  9. 9.
    Downey, R.G., Fellows, M.R.: Fixed-parameter tractability and completeness II: on completeness for W[1]. Theoret. Comput. Sci. 141, 109–131 (1995)CrossRefMathSciNetzbMATHGoogle Scholar
  10. 10.
    Eppstein, D.: Subgraph isomorphism in planar graphs and related problems. J. Graph Algorithms Appl. 3, 1–27 (1999)CrossRefMathSciNetzbMATHGoogle Scholar
  11. 11.
    Flum, J., Grohe, M.: Parameterized Complexity Theory. Springer, Heidelberg (2006).  https://doi.org/10.1007/3-540-29953-X zbMATHGoogle Scholar
  12. 12.
    Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. Freeman, New York (1979)zbMATHGoogle Scholar
  13. 13.
    Grohe, M.: The complexity of homomorphism, constraint satisfaction problems seen from the other side. J. ACM 54(1), 1:1–1:24 (2007)CrossRefMathSciNetzbMATHGoogle Scholar
  14. 14.
    Grohe, M., Schwentick, T., Segoufin, L.: When is the evaluation of conjunctive queries tractable. In: Proceedings on the 33rd Annual ACM Symposium on Theory of Computing, Heraklion, Crete, Greece, 6–8 July 2001, pp. 657–666 (2001)Google Scholar
  15. 15.
    Jansen, B.M.P., Marx, D.: Characterizing the easy-to-find subgraphs from the viewpoint of polynomial-time algorithms, kernels, and Turing kernels. In: Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2015, San Diego, CA, USA, 4–6 January 2015, pp. 616–629 (2015)Google Scholar
  16. 16.
    Lin, B.: The parameterized complexity of k-biclique. In: Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2015, San Diego, CA, USA, 4–6 January 2015, pp. 605–615 (2015)Google Scholar
  17. 17.
    Marx, D., Pilipczuk, M.: Everything you always wanted to know about the parameterized complexity of subgraph isomorphism (but were afraid to ask). ArXiv (CoRR), abs/1307.2187 (2013)Google Scholar
  18. 18.
    Matula, D.W.: Subtree isomorphism in \(o(n^{5/2})\). In: Alspach, P.H.B., Miller, D. (eds.) Algorithmic Aspects of Combinatorics. Annals of Discrete Mathematics, vol. 2, pp. 91–106. Elsevier (1978)Google Scholar
  19. 19.
    Monien, B.: How to find longest paths efficiently. In: Analysis and Design of Algorithms for Combinatorial Problems. North Holland Mathematics Studies, vol. 109, pp. 239–254. North Holland (1985)Google Scholar
  20. 20.
    Plehn, J., Voigt, B.: Finding minimally weighted subgraphs. In: Möhring, R.H. (ed.) WG 1990. LNCS, vol. 484, pp. 18–29. Springer, Heidelberg (1991).  https://doi.org/10.1007/3-540-53832-1_28 CrossRefGoogle Scholar
  21. 21.
    Robertson, N., Seymour, P.D.: Graph minors V. Excluding a planar graph. J. Comb. Theory Ser. B 41, 92–114 (1986)CrossRefMathSciNetzbMATHGoogle Scholar
  22. 22.
    Ullman, J.R.: An algorithm for subgraph isomorphism. J. ACM 23(1), 31–42 (1976)CrossRefMathSciNetzbMATHGoogle Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.School of Computer ScienceFudan UniversityShanghaiChina
  2. 2.Department of Computer ScienceRWTH Aachen UniversityAachenGermany
  3. 3.JST, ERATO, Kawarabayashi Large Graph ProjectNational Institute of InformaticsTokyoJapan

Personalised recommendations