Ein Verfahren zur Feststellung der Isomorphie von endlichen, zusammenhängenden Graphen

Zusammenfassung

Zwei GraphenG′ undG″ sollen durch eine Liste ihrer Knoten und Kanten gegeben sein. Falls eine ein-eindeutige Abbildung zwischenG′ undG″ existiert, die Knoten in Knoten und Kanten in Kanten überführt, dann konstruieren wir diese Abbildung mit wesentlich weniger Schritten als bei systematischem Probieren.

Summary

Two graphsG′ andG″ are defined by a list of nodes and arcs. If there exists a one-to-one mapping ofG′ ontoG″ which transforms nodes into nodes and arcs into arcs, then we may construct this mapping with considerably less steps than we would need using systematic trial and error.