Advertisement

Algorithmica

, Volume 72, Issue 1, pp 99–125 | Cite as

Modifying a Graph Using Vertex Elimination

  • Petr A. Golovach
  • Pinar Heggernes
  • Pim van ’t HofEmail author
  • Fredrik Manne
  • Daniël Paulusma
  • Michał Pilipczuk
Article
  • 220 Downloads

Abstract

Vertex elimination is a graph operation that turns the neighborhood of a vertex into a clique and removes the vertex itself. It has widely known applications within sparse matrix computations. We define the Elimination problem as follows: given two graphs G and H, decide whether H can be obtained from G by |V(G)|−|V(H)| vertex eliminations. We show that Elimination is \(\mathsf {W[1]} \)-hard when parameterized by |V(H)|, even if both input graphs are split graphs, and \(\mathsf {W[2]} \)-hard when parameterized by |V(G)|−|V(H)|, even if H is a complete graph. On the positive side, we show that Elimination admits a kernel with at most 5|V(H)| vertices in the case when G is connected and H is a complete graph, which is in sharp contrast to the \(\mathsf {W[1]} \)-hardness of the related Clique problem. We also study the case when either G or H is tree. The computational complexity of the problem depends on which graph is assumed to be a tree: we show that Elimination can be solved in polynomial time when H is a tree, whereas it remains NP-complete when G is a tree.

Keywords

Graph modification problems Vertex elimination Parameterized complexity Linear kernel 

Notes

Acknowledgements

We would like to thank Łukasz Kowalik for an inspiring discussion on the theorem of Kleitman and West. We also thank the two anonymous referees for their useful comments and suggestions that helped us to improve the presentation of our paper.

References

  1. 1.
    Bodlaender, H.L., Downey, R.G., Fellows, M.R., Hermelin, D.: On problems without polynomial kernels. J. Comput. Syst. Sci. 75(8), 423–434 (2009) CrossRefzbMATHMathSciNetGoogle Scholar
  2. 2.
    Cai, L.: Fixed-parameter tractability of graph modification problems for hereditary properties. Inf. Process. Lett. 58(4), 171–176 (1996) CrossRefzbMATHGoogle Scholar
  3. 3.
    Courcelle, B.: The monadic second-order logic of graphs III: tree-decompositions, minor and complexity issues. Inform. Théor. Appl. 26, 257–286 (1992) zbMATHMathSciNetGoogle Scholar
  4. 4.
    Cygan, M., Philip, G., Pilipczuk, M., Pilipczuk, M., Wojtaszczyk, J.O.: Dominating set is fixed parameter tractable in claw-free graphs. Theor. Comput. Sci. 412, 6982–7000 (2011) CrossRefzbMATHMathSciNetGoogle Scholar
  5. 5.
    Downey, R.G., Fellows, M.R.: Parameterized Complexity. Springer, Berlin (1999) CrossRefGoogle Scholar
  6. 6.
    Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. Freeman, New York (1990) Google Scholar
  7. 7.
    George, J.A., Liu, J.W.H.: Computer Solution of Large Sparse Positive Definite Systems. Prentice-Hall, New York (1981) zbMATHGoogle Scholar
  8. 8.
    Golovach, P.A., Heggernes, P., van ’t Hof, P., Manne, F., Paulusma, D., Pilipczuk, M.: How to eliminate a graph. In: Golumbic, M.C., Stern, M. (eds.) WG 2012. LNCS, vol. 7551, pp. 320–331. Springer, Berlin (2012) Google Scholar
  9. 9.
    Heggernes, P.: Minimal triangulations of graphs: a survey. Discrete Math. 306, 297–317 (2006) CrossRefzbMATHMathSciNetGoogle Scholar
  10. 10.
    Heggernes, P., van ’t Hof, P., Jansen, B.M.P., Kratsch, S., Villanger, Y.: Parameterized complexity of vertex deletion into perfect graph classes. In: Owe, O., Steffen, M., Telle, J.A. (eds.) FCT 2011. LNCS, vol. 6914, pp. 240–251. Springer, Berlin (2011) Google Scholar
  11. 11.
    Hopcroft, J.E., Karp, R.M.: An n 5/2 algorithm for maximum matchings in bipartite graphs. SIAM J. Comput. 2, 225–231 (1973) CrossRefzbMATHMathSciNetGoogle Scholar
  12. 12.
    Kawarabayashi, K., Reed, B.A.: An (almost) linear time algorithm for odd cycles transversal. In: Charikar, M. (ed.) SODA 2010, pp. 365–378. SIAM, Philadelphia (2010) Google Scholar
  13. 13.
    Kleitman, D.J., West, D.B.: Spanning trees with many leaves. SIAM J. Discrete Math. 4, 99–106 (1991) CrossRefzbMATHMathSciNetGoogle Scholar
  14. 14.
    Marx, D.: Chordal deletion is fixed-parameter tractable. Algorithmica 57(4), 747–768 (2010) CrossRefzbMATHMathSciNetGoogle Scholar
  15. 15.
    Marx, D., Schlotter, I.: Obtaining a planar graph by vertex deletion. Algorithmica 62(3–4), 807–822 (2012) CrossRefzbMATHMathSciNetGoogle Scholar
  16. 16.
    Natanzon, A., Shamir, R., Sharan, R.: Complexity classification of some edge modification problems. Discrete Appl. Math. 113, 109–128 (2001) CrossRefzbMATHMathSciNetGoogle Scholar
  17. 17.
    Parter, S.: The use of linear graphs in Gauss elimination. SIAM Rev. 3, 119–130 (1961) CrossRefzbMATHMathSciNetGoogle Scholar
  18. 18.
    Philip, G., Raman, V., Villanger, Y.: A quartic kernel for pathwidth-one vertex deletion. In: Thilikos, D.M. (ed.) WG 2010. Lecture Notes in Computer Science, vol. 6410, pp. 196–207 (2010) Google Scholar
  19. 19.
    Robertson, N., Seymour, P.D., Thomas, R.: Quickly excluding a planar graph. J. Comb. Theory, Ser. B 62, 323–348 (1994) CrossRefzbMATHMathSciNetGoogle Scholar
  20. 20.
    Rose, D.J., Tarjan, R.E., Lueker, G.S.: Algorithmic aspects of vertex elimination on graphs. SIAM J. Comput. 5, 266–283 (1976) CrossRefzbMATHMathSciNetGoogle Scholar
  21. 21.
    Samdal, E.: Minimum fill-in five point finite element graphs. Master’s thesis, Department of Informatics, University of Bergen, Norway (2003) Google Scholar
  22. 22.
    Tarjan, R.E., Yannakakis, M.: Simple linear-time algorithms to test chordality of graphs, test acyclicity of hypergraphs, and selectively reduce acyclic hypergraphs. SIAM J. Comput. 13(3), 566–579 (1984) CrossRefzbMATHMathSciNetGoogle Scholar
  23. 23.
    van Bevern, R., Komusiewicz, C., Moser, H., Niedermeier, R.: Measuring indifference: unit interval vertex deletion. In: Thilikos, D.M. (ed.) WG 2010. LNCS, vol. 6410, pp. 232–243 (2010) Google Scholar
  24. 24.
    Yannakakis, M.: Edge-deletion problems. SIAM J. Comput. 10, 297–309 (1981) CrossRefzbMATHMathSciNetGoogle Scholar

Copyright information

© Springer Science+Business Media New York 2013

Authors and Affiliations

  • Petr A. Golovach
    • 1
  • Pinar Heggernes
    • 1
  • Pim van ’t Hof
    • 1
    Email author
  • Fredrik Manne
    • 1
  • Daniël Paulusma
    • 2
  • Michał Pilipczuk
    • 1
  1. 1.Department of InformaticsUniversity of BergenBergenNorway
  2. 2.School of Engineering and Computing SciencesDurham UniversityDurhamUK

Personalised recommendations