Canonical decompositions and algorithmic recognition of spatial graphs

Stefan Friedl, Lars Munser, José Pedro Quintanilha +1

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…