Algorithmus zur Feststellung der Isomorphie von endlichen, zusammenhängenden Graphen.