Graphenisomorphie

Bei der Untersuchung graphentheoretischer Probleme kommt es meist nur auf die Struktur der Graphen, nicht aber auf die Bezeichnung ihrer Knoten an. In den allermeisten Fällen sind die untersuchten Grapheneigenschaften dann invariant bzgl. Isomorphie, die im folgenden genauer definiert wird.

Definitionen

Seien G₁=(V₁,E₁) und G₂=(V₂,E₂) Graphen desselben Typs. Eine bijektive Abbildung p von V₁ nach V₂ heißt Isomorphismus zwischen G₁ und G₂, falls gilt:

• {v,w} ist Kante von G₁ genau dann, wenn {p(v),p(w)} Kante von G₂ ist in ungerichteten Graphen ohne Mehrfachkanten,
• (v,w) ist Kante von G₁ genau dann, wenn (p(v),p(w)) Kante von G₂ ist in gerichteten Graphen ohne Mehrfachkanten,
• E₁({v,w})=E₂({p(v),p(w)}) in ungerichteten Graphen mit Mehrfachkanten, d. h. je zwei Ecken sind mit ebensovielen Kanten verbunden wie ihre Bildecken.
• E₁((v,w))=E₂((p(v),p(w))) in gerichteten Graphen mit Mehrfachkanten,
• {v₁,...,v_k} ist Kante von G₁ genau dann, wenn {p(v₁),...,p(v_k)} Kante von G₂ ist in Hypergraphen.

Zwei Graphen heißen zueinander isomorph, falls es einen Isomorphismus zwischen ihnen gibt. Die Abbildung p heißt Automorphismus von G₁ bzw. G₂, falls zusätzlich G₁=G₂ gilt.

Prüfung auf Isomorphie

Zur Prüfung der Isomorphie zweier gegebener Graphen ist kein effizienter Algorithmus bekannt. Mehr noch, die Komplexität des bestmöglichen Algorithmus ist bis heute noch nicht bestimmt. Insbesondere ist die Isomorphie von Graphen eines der wenigen bekannten Probleme in NP, für die weder bekannt ist, ob sie in P enthalten, noch ob sie NP-vollständig sind.

Beispiel

G1 = (V1,E1)	G2 = (V2,E2)	$p:V_1 \rightarrow V_2$
		p(a) = 1 p(b) = 6 p(c) = 8 p(d) = 3 p(g) = 5 p(h) = 2 p(i) = 4 p(j) = 7

Software

• http://cs.anu.edu.au/people/bdm/nauty/ - nauty, ein Programm zur Berechnung der Automorphismengruppen und der kanonischen Labelings von Graphen. Zwei Graphen sind genau dann isomorph, wenn ihre kanonischen Labelings übereinstimmen.