English

Finding topological subgraphs is fixed-parameter tractable

Data Structures and Algorithms 2015-03-17 v1

Abstract

We show that for every fixed undirected graph HH, there is a O(V(G)3)O(|V(G)|^3) time algorithm that tests, given a graph GG, if GG contains HH as a topological subgraph (that is, a subdivision of HH is subgraph of GG). This shows that topological subgraph testing is fixed-parameter tractable, resolving a longstanding open question of Downey and Fellows from 1992. As a corollary, for every HH we obtain an O(V(G)3)O(|V(G)|^3) time algorithm that tests if there is an immersion of HH into a given graph GG. This answers another open question raised by Downey and Fellows in 1992.

Keywords

Cite

@article{arxiv.1011.1827,
  title  = {Finding topological subgraphs is fixed-parameter tractable},
  author = {Martin Grohe and Ken-ichi Kawarabayashi and Dániel Marx and Paul Wollan},
  journal= {arXiv preprint arXiv:1011.1827},
  year   = {2015}
}
R2 v1 2026-06-21T16:40:35.512Z