Bipartiter Graph
Table of contents |
2 Folgerungen 3 Eigenschaften 4 Siehe auch |
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.
Ein Graph heißt vollständig bipartit falls und , d.h. alle Kanten zwischen A und B sind vorhanden.
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.
Definition
K3,3: bipartiter Graph mit
3 Knoten pro TeilmengeFormal
Ein Graph heißt bipartit, falls aus zwei disjunkten Teilmengen A und B besteht mit und für alle Kanten mit gilt.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.Eigenschaften
Siehe auch
k-partiter Graph,Typen von Graphen in der Graphentheorie