Text this: Graph isomorphism—Characterization and efficient algorithms