Ein Polynomialer Alogrithmus Zur Erkennung Der Isomorphie Von Graphen

Doktorarbeit / Dissertation aus dem Jahr 2002 im Fachbereich Informatik - Theoretische Informatik, Note: 1,7, Universitt Potsdam, 19 Quellen im Literaturverzeichnis, Sprache: Deutsch, Abstract: Zusammenfassung: Die vorliegende Arbeit zeigt eine Mglichkeit, die lsomorphie zweier Graphen in polynomialer Zeit nachzuweisen. Die Korrektheit des vorgestellten Algorithmus wird nicht bewiesen, aber es wird eine Reihe von Plausibilitten aufgelistet, die eine Korrektheit sehr wahrscheinlich erscheinen lsst.
Kern des Algorithmus ist die Venrvendung der neu eingefhrten 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 lsst.
lm Anhang werden Hinweise fr die lmplementierung eines solchen Algorithmus und fr mgliche 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 "Reiniguf,g", 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. The
central conjecture in this,paper 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 implement
a computer program as well as how to find subgraphs.