Kantenzusammenhang

Der Kantenzusammenhang e​ines Graphen i​st ein wichtiger Begriff i​n der Graphentheorie u​nd eine Verallgemeinerung d​es Zusammenhangs. Anschaulich i​st der Kantenzusammenhang e​in Maß dafür, w​ie schwer e​s ist, e​inen Graphen d​urch Löschen v​on Kanten i​n 2 Komponenten z​u zerlegen. Ist d​er Kantenzusammenhang groß, s​o müssen v​iele Kanten gelöscht werden.

Definition

Ein einfacher Graph heißt k-fach kantenzusammenhängend, wenn es keinen Trenner mit maximal -elementiger Kantenmenge und leerer Knotenmenge in gibt (in Multigraphen kann man Kanten entsprechend ihrer Vielfachheit mehrfach entfernen). Äquivalent dazu ist, dass für alle Kantenmengen der Mächtigkeit zusammenhängend ist. Als Kantenzusammenhangszahl eines Graphen bezeichnet man das größte , sodass -fach kantenzusammenhängend ist. Äquivalent dazu ist, dass die Kantenzusammenhangszahl die kleinste Mächtigkeit eines Trenners von mit leerer Knotenmenge ist.

Beispiel

Das ist das Haus vom Nikolaus

Betrachte als Beispiel das rechts dargestellte Haus vom Nikolaus. Es ist 2-kantenzusammenhängend, da keine Trenner existieren, die nur aus einer Kante bestehen. Äquivalent dazu ist, dass keine Brücke existiert. Betrachtet man aber nun z. B. den Knoten 5, so zerfällt der Graph beim Löschen der beiden zum Knoten 5 inzidenten Kanten in 2 Zusammenhangskomponenten: den Knoten 5 selbst und alle anderen Knoten. Das Haus ist also 1-fach und 2-fach kantenzusammenhängend und seine Kantenzusammenhangszahl ist . In diesem Fall stimmt die Kantenzusammenhangszahl also mit dem Minimalgrad des Graphen überein.

Eigenschaften

  • Ein 2-kantenzusammenhängender Graph
    Ist , so gilt , wobei die Knotenzusammenhangszahl und der Minimalgrad des Graphen ist.
  • ist genau dann 2-fach kantenzusammenhängend, wenn keine Brücke enthält.
  • ist genau dann -fach kantenzusammenhängend, wenn zwischen je zwei Ecken kantendisjunkte Wege enthält. Diese Aussage ist auch als die globale Version des Satzes von Menger bekannt.

Verwandte Begriffe

Der k-Zusammenhang i​st ein z​um Kantenzusammenhang ähnlicher Begriff, bloß d​ass nur Trenner m​it leerer Kantenmenge u​nd eine beliebige Knotenmenge betrachtet werden. Der k-Zusammenhang g​ibt also e​in Maß dafür an, w​ie viele Knoten a​us einem Graphen entfernt werden müssen, s​o dass dieser i​n verschiedene Komponenten zerfällt. Ein z​um Kantenzusammenhang ähnlicher Begriff für gerichtete Graphen i​st der Bogenzusammenhang.

Algorithmen

Es gibt einen Algorithmus, der in polynomieller Laufzeit das größte bestimmt, für das ein Graph -kantenzusammenhängend ist. Ein einfacher Algorithmus würde für jedes Paar von Knoten den maximalen Fluss von nach bestimmen, wobei die Kapazität aller Kanten des Graphen für beide Richtungen auf 1 gesetzt wird. Ein Graph ist genau dann -kantenzusammenhängend, wenn der maximale Fluss von nach für jedes Paar mindestens beträgt, also ist der minimale --Fluss unter allen Knotenpaaren .

Wenn die Anzahl der Knoten des Graphen ist, würde dieser einfache Algorithmus Iterationen des Problems des maximalen Flusses Maximum-Flow-Problems ausführen, das in der Laufzeit gelöst werden kann. Daher ist die Komplexität des oben beschriebenen einfachen Algorithmus insgesamt .

Ein verbesserter Algorithmus löst das Problem des maximalen Flusses für jedes Paar , wobei willkürlich festgelegt ist, während über alle Knoten variiert. Dies reduziert die Komplexität auf . Es kann durch einen Algorithmus von Gabow weiter verbessert werden, der im Worst Case die Laufzeit hat.[1]

Die Karger-Stein-Variante des Algorithmus von Karger bietet einen schnelleren randomisierten Algorithmus zur Bestimmung der Zusammenhangs des Graphen mit der erwarteten Laufzeit .[2]

Das verwandte Problem, einen minimalen -kantenzusammenhängenden spannenden Teilgraphen eines Graphen zu finden, ist NP-schwer für . Dabei muss der Teilgraph alle Knoten, aber möglichst wenige Kanten enthalten, sodass er nach dem entfernen von Kanten immer noch zusammenhängend ist.[3]

Literatur

  • Reinhard Diestel: Graphentheorie. Springer, Berlin 2010, ISBN 978-3-642-14911-5 (354 Seiten).

Einzelnachweise

  1. Harold N. Gabow. A matroid approach to finding edge connectivity and packing arborescences. J. Comput. Syst. Sci., 50(2):259–273, 1995.
  2. David R. Karger, Clifford Stein: A new approach to the minimum cut problem. In: Journal of the ACM. 43, Nr. 4, 1996, S. 601. doi:10.1145/234533.234534.
  3. M.R. Garey and D.S. Johnson. Computers and Intractability: a Guide to the Theory of NP-Completeness. Freeman, San Francisco, CA, 1979.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.