Ein polynomialer Alogrithmus zur Erkennung der Isomorphie von Graphen

Doktorarbeit / Dissertation aus dem Jahr 2002 im Fachbereich Informatik - Theoretische Informatik Note: 17 Universität Potsdam Sprache: Deutsch Abstract: Zusammenfassung: Die vorliegende Arbeit zeigt eine Möglichkeit die lsomorphie zweier Graphen in polynomialer Zeit nachzuweisen. Die Korrektheit des vorgestellten Algorithmus wird nicht bewiesen aber es wird eine Reihe von Plausibilitäten aufgelistet die eine Korrektheit sehr wahrscheinlich erscheinen lässt.Kern des Algorithmus ist die Venrvendung der neu eingeführten Graphkantenprodukte und Hankematrizen. Ein Vorgang der Reinigung genannt wird visualisiert eine Hankematrix in einem Graphkantenprodukt. Die Zahl der Schritte bei der Reinigung erfolgt in polynomial vielen Schritten und es wird vermutet dass allein die Existenz einer Hankematrix in einem Graphkantenprodukt auf die lsomorphie der Graphen schliessen lässt.lm Anhang werden Hinweise für die lmplementierung eines solchen Algorithmus und für mögliche verwandte Anwendungen wie Teilgraphensuche gegeben.Summary: We can see here how the isomorphy of two graphs may be shown by an algorithm which works in polynomial time. lt is not proved that this algorithm works correctly. However there are shown some ideas which let us assume that the algorithm is correct.In the kernel of the algorithm we use a tool named Graphkantenprodukt i.e. product of edges and Hankematrix which is a new construction (specially for the present paper). An algorithm named Reinigufg i.e. cleaning Shows a Hankematrix within a Graphkantenprodukt. The number of steps for Reinigung is equal to a polynome above o the number of nodes of one of the graphs. Thecentral conjecture in thispaper is: A Hankematrix in a Graphkantenprodukt means that the graphs are isomorphic.In the attachments of this paper clues are given on to how to implementa computer program as well as how to find subgraphs.