Zerlegung der Knotenmengen von Graphen zum Nachweis der Isomorphie

Zusammenfassung

Bestehende Verfahren zum Nachweis der Isomorphie von zwei Graphen beginnen mit der Konstruktion von zwei Partitionen der gemeinsamen Knotenmenge, deren Mengen bei jedem Isomorphismus bijektiv aufeinander abgebildet werden. Die vorliegende Arbeit beschreibt eine Systematisierung dieser Vorgangsweise, als deren Folge sich eine direkte Methode zur simultanen Zerlegung der Knotenmenge ergibt.

Abstract

Known methods for checking graph isomorphism start with the construction of two partitions of the node sets. The partitioning is made in such a way that each set of the first partition corresponds uniquely to a set of the second partition under each possibly existing graph isomorphism. The paper deals with a generalization of this idea and describes a direct method for finding finest partitions.