Isomorphism of planar graphs
Is there a way to check if two planar graphs (so plane graphs embedded in the 2-sphere) are isomorphic as planar graphs? The standard is_isomorphic() function does not care about planarity. Since one of the two graphs is obtained by another planar graph after some edge deletions, the get_embedding() does not appear to work! Thanks!
What is the definition of isomorphism for planar graphs here? Isomorphisms of Planar Embeddings?
Yes, two planar graphs are isomorphic if there exists a graph isomorphism between them that commutes with their planar embeddings. In other words, if they look the same on the 2-sphere