3-connected Planar Graph Isomorphism is in Log-space

Abstract

We show that the isomorphism of 3-connected planar graphs can be decided in deterministic log-space. This improves the previously known bound UL$\cap$coUL of Thierauf and Wagner.