Infos Home | Impressum | Original Artikel & Autoren Liste

Bipartiter Graph

Inhalt

2 Folgerungen
3 Eigenschaften
4 Siehe auch

Definition

K_3,3: bipartiter Graph mit 3 Knoten pro Teilmenge

Ein Graph heißt in der Graphentheorie bipartit (auch paar), falls sich seine Knoten in zwei disjunkte Teilmengen aufteilen lassen (Bipartition), so dass es zwischen den Knoten innerhalb einer Teilmenge keine Kantenn gibt.

Formal

Ein Graph heißt bipartit, falls aus zwei disjunkten Teilmengen A und B besteht mit und für alle Kanten mit gilt.

Ein Graph heißt vollständig bipartit falls und , d.h. alle Kanten zwischen A und B sind vorhanden.

Folgerungen

Die Teilmengen A und B sind stabile Mengen und die Bipartition impliziert eine mögliche 2-Färbung des Graphen. Umgekehrt sind alle 2-färbbaren Graphen bipartit.

Für bipartite Graphen lassen sich viele Grapheigenschaftenen effektiv berechnen, die für allgemeine Graphen nicht effizient bzw. nicht in polynomieller Zeit bestimmt werden können.

Mit einem einfachen Algorithmus, der auf Tiefensuche basiert, lässt sich in Linerarer Zeit bestimmen, ob ein Graph bipartit ist, und eine gültige Partition bzw. 2-Färbung ermitteln.

Eigenschaften

Die Paarungszahl entspricht der Knotenüberdeckungszahl.
Mit dem Algorithmus von Hopcroft und Karp lässt sich in O(√nm) eine größte Paarung finden und darüber auch die Stabilitätszahl bestimmen.
Der chromatische Index entspricht seinem Maximalgrad. Eine gültige Kantenfärbung lässt sich in O(nm) bestimmen.
Ein regulärer bipartiter Graph besitzt ein perfektes Matching.

Siehe auch

k-partiter Graph,Typen von Graphen in der Graphentheorie

Der Ursprungsartikel stammt von der deutschsprachigen Wiki pedia (siehe oben: "Original Artikel & Autoren Liste").
Der Text steht unter der GNU Freie Dokumentation Lizenz.