isomorphism works. TODO: define vertex_equivalent and edge_equivalent. TODO: topology should be directed or undirected