Abstract
We prove that for every graph H, there exists a polynomial-time algorithm deciding if a planar graph can be contracted to H. We introduce contractions and topological minors of embedded (plane) graphs and show that a plane graph H is an embedded contraction of a plane graph G, if and only if, the dual of H is an embedded topological minor of the dual of G. We show how to reduce finding embedded topological minors in plane graphs to solving an instance of the disjoint paths problem. Finally, we extend the result to graphs embeddable in an arbitrary surface.
This research was done while the two last authors were visiting the Département d’Informatique Université Libre de Bruxelles in January 2010.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alber, J., Fellows, M.R., Niedermeier, R.: Polynomial-time data reduction for dominating set. J. ACM 51(3), 363–384 (2004)
Brouwer, A.E., Veldman, H.J.: Contractibility and NP-completeness. Journal of Graph Theory 11(1), 71–79 (1987)
Demaine, E.D., Hajiaghayi, M., Kawarabayashi, K.-i.: Algorithmic graph minor theory: Improved grid minor bounds and Wagner’s contraction. Algorithmica 54(2), 142–180 (2009)
Diestel, R.: Graph Theory, Electronic edn. Springer, Heidelberg (2005)
Downey, R.G., Fellows, M.R.: Parameterized Complexity. Springer, Heidelberg (1999)
Flum, J., Grohe, M.: Parameterized complexity theory. In: Texts in Theoretical Computer Science. An EATCS Series. Springer, Berlin (2006)
Hadlock, F.: Finding a maximum cut of a planar graph in polynomial time. SIAM J. Comput. 4(3), 221–225 (1975)
Hammack, R.: Cyclicity of graphs. J. Graph Theory 32(2), 160–170 (1999)
van ’t Hof, P., Kamiński, M., Paulusma, D., Szeider, S., Thilikos, D.M.: On contracting graphs to fixed pattern graphs. In: van Leeuwen, J., Muscholl, A., Peleg, D., Pokorný, J., Rumpe, B. (eds.) SOFSEM 2010. LNCS, vol. 5901, pp. 503–514. Springer, Heidelberg (2010)
Levin, A., Paulusma, D., Woeginger, G.J.: The computational complexity of graph contractions I: Polynomially solvable and NP-complete cases. Networks 51(3), 178–189 (2008)
Levin, A., Paulusma, D., Woeginger, G.J.: The computational complexity of graph contractions II: Two tough polynomially solvable cases. Networks 52(1), 32–56 (2008)
Matoušek, J., Nešetřil, J., Thomas, R.: On polynomial-time decidability of induced-minor-closed classes. Comment. Math. Univ. Carolin. 29(4), 703–710 (1988)
Mohar, B., Thomassen, C.: Graphs on Surfaces. The Johns Hopkins University Press, Baltimore (2001)
Matousek, J., Thomas, R.: On the complexity of finding iso- and other morphisms for partial k-trees. Discrete Mathematics 108(1-3), 343–364 (1992)
Mohar, B.: A linear time algorithm for embedding graphs in an arbitrary surface. SIAM J. Discrete Math. 12(1), 6–26 (1999)
Niedermeier, R.: Invitation to fixed-parameter algorithms. Oxford Lecture Series in Mathematics and its Applications, vol. 31. Oxford University Press, Oxford (2006)
Orlova, G., Dorfman, Y.: Finding the maximum cut in a graph. Tekhnicheskaya Kibernetika (Engineering Cybernetics) 10, 502–506 (1972)
Robertson, N., Seymour, P.D.: Graph minors XII. Distance on a surface. J. Comb. Theory, Ser. B 64(2), 240–272 (1995)
Robertson, N., Seymour, P.D.: Graph minors XIII. The disjoint paths problem. J. Comb. Theory, Ser. B 63(1), 65–110 (1995)
Robertson, N., Seymour, P.D.: Graph minors XX. Wagner’s conjecture. J. Comb. Theory, Ser. B 92(2), 325–357 (2004)
Wolle, T., Bodlaender, H.L.: A note on edge contraction. Technical Report UU-CS-2004-028, Department of Information and Computing Sciences, Utrecht University (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kamiński, M., Paulusma, D., Thilikos, D.M. (2010). Contractions of Planar Graphs in Polynomial Time. In: de Berg, M., Meyer, U. (eds) Algorithms – ESA 2010. ESA 2010. Lecture Notes in Computer Science, vol 6346. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15775-2_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-15775-2_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15774-5
Online ISBN: 978-3-642-15775-2
eBook Packages: Computer ScienceComputer Science (R0)