Isomorphism testing for graphs of bounded genus

  • Authors:
  • Gary Miller

  • Affiliations:
  • -

  • Venue:
  • STOC '80 Proceedings of the twelfth annual ACM symposium on Theory of computing
  • Year:
  • 1980

Quantified Score

Hi-index 0.02

Visualization

Abstract

We present an algorithm which determines isomorphism of graphs in vO(g)steps where v is the number of vertices and g is the genus of the graphs. In [FMR 79] an algorithm was presented for embedding graph on surfaces of genus g in vO(g) steps. Here we show how to extend this algorithm to isomorphism testing for graphs of small genus. This result is noteworthy for at least two reasons. First, this extends the polynomial time isomorphism results for the plane [HT 72] and also the projective plane [L 80] to arbitrary surfaces. Second, this gives one of the few known natural decompositions of the isomorphism problem into an infinite hierarchy of problems Po,P1,... such that isomorphism testing of problems in P1 is decidable in time vO(i).