Operationen auf Graphen

Bei der Untersuchung von Grapheneigenschaften kommt es häufiger vor, dass man mit Graphen einfache "Rechnungen" ausführen, also Operationen auf und zwischen Graphen anwenden muss, um möglichst kompakt und damit leichter verständlich schreiben zu können. Zu diesem Zweck werden eine ganze Reihe von einfachen Operationen auf Graphen definiert, die häufig Anwendung finden. Dieser Artikel stellt die gängigsten Operationen vor.

Definitionen

Sei G1G_{1}=(V,E1)(V,E_{1}) ein ungerichter bzw. gerichteter Graph ohne Mehrfachkanten. Der ungerichtete bzw. gerichtete Graph ohne Mehrfachkanten G2G_{2}=(V,E2)(V,E_{2}) heißt komplementärer Graph, Komplementgraph oder einfach nur Komplement von G1G_{1}, falls die Schnittmenge von E1E_{1} und E2E_{2} leer ist und die Vereinigungsmenge von E1E_{1} und E2E_{2}
Eine Kante ist also genau dann im Komplement eines Graphen GG enthalten, wenn sie nicht in GG enthalten ist. Das Komplement des Komplementes von GG ist demnach GG selbst.
Sind G1G_{1}=(V1,E1)(V_{1},E_{1}) und G2G_{2}=(V2,E2)(V_{2},E_{2}) Graphen desselben Typs, so bezeichnet
  • G1G_{1}+G2G_{2} den Graphen, der entsteht, wenn man die Knoten- und Kantenmenge vereinigt,
  • G1G_{1}-E2E_{2} den Graphen, der entsteht, wenn man E2E_{2} von der Kantenmenge von G1G_{1} abzieht,
  • G1G_{1}-V2V_{2} den Graphen, der entsteht, wenn man V2V_{2} von der Knotenmenge von G1G_{1} abzieht und alle Kanten entfernt, die Knoten aus V2V_{2} enthalten.
Man beachte dabei die unterschiedliche Definition der Begriffe Vereinigungsmenge und Differenzmenge für Mengen und Multimengen. Man schreibt auch abkürzend
  • G1G_{1}+E2E_{2}, falls V2V_{2} Teilmenge von V1V_{1} ist,
  • G1G_{1}+V2V_{2}, falls E2E_{2} leer oder Teilmenge von E1E_{1} ist,
  • G1G_{1}+{v,wv,w}, falls G2G_{2}=({v,wv,w},Unknown meta: v,wv,w) ist,
  • G1G_{1}+vv, falls G2G_{2}=({vv},{}),
  • G1G_{1}-{v,wv,w}, falls E2E_{2}=Unknown meta: v,wv,w,
  • G1G_{1}-vv, falls V2V_{2}={vv}.
Sei G1G_{1}=(V1,E1)(V_{1},E_{1}) ein ungerichteter Graph, ee={v,wv,w} eine Kante von G1G_{1} und aa ein Knoten, der nicht zu V1V_{1} gehört. Sei ferner
  • EE=Unknown meta: a,xa,x}|für alle xx aus V1V_{1}\{v,wv,w}, für die {v,xv,x} oder {w,xw,x} Kante von GG ist}, falls G1G_{1} Graph ohne Mehrfachkanten ist, bzw.
  • EE({a,xa,x})=E1E_{1}({v,xv,x}+E1E_{1}({w,xw,x}) für alle xx aus V1V_{1}\{v,wv,w} und EE({x,yx,y=0 für alle xx und yy aus V1V_{1}\{v,wv,w}, falls G1G_{1} Graph mit Mehrfachkanten ist.
Man sagt, der Graph G2G_{2}=(V2,E2)(V_{2},E_{2}) entsteht aus G1G_{1} durch Kontraktion von ee zu aa, falls G2G_{2}=G1G_{1}-{v,wv,w}+aa+EE. Man nennt diese Operation Kantenkontraktion.
 
 

Manche Menschen haben einen Gesichtskreis vom Radius Null und nennen ihn ihren Standpunkt.

David Hilbert

Copyright- und Lizenzinformationen: Diese Seite basiert dem Artikel Operationen auf Graphen aus der frеiеn Enzyklοpädιe Wιkιpеdιa und stеht unter der Dοppellizеnz GNU-Lιzenz für freie Dokumentation und Crеative Commons CC-BY-SA 3.0 Unportеd (Kurzfassung). In der Wιkιpеdιa ist eine Listе dеr Autorеn des Originalartikels verfügbar. Da der Artikel geändert wurde, reicht die Angabe dieser Liste für eine lizenzkonforme Weiternutzung nicht aus!
Anbieterkеnnzeichnung: Mathеpеdιa von Тhοmas Stеιnfеld  • Dοrfplatz 25  •  17237 Blankеnsее  • Tel.: 01734332309 (Vodafone/D2)  •  Email: cο@maτhepedιa.dе