Canonical decompositions and algorithmic recognition of spatial graphs

Stefan Friedl,Lars Munser,José Pedro Quintanilha,Yuri Santos Rego
DOI: https://doi.org/10.1017/s0013091524000087
2024-03-15
Proceedings of the Edinburgh Mathematical Society
Abstract:We prove that there exists an algorithm for determining whether two piecewise-linear spatial graphs are isomorphic. In its most general form, our theorem applies to spatial graphs furnished with vertex colourings, edge colourings and/or edge orientations. We first show that spatial graphs admit canonical decompositions into blocks, that is, spatial graphs that are non-split and have no cut vertices, in a suitable topological sense. Then, we apply a result of Haken and Matveev in order to algorithmically distinguish these blocks.
mathematics
What problem does this paper attempt to address?