Ungerichteter Graph/Bipartit/Einführung/Textabschnitt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Ein Sterngraph ist ein vollständiger bipartiter Graph der Form .


Definition  

Ein Graph heißt bipartit, wenn es eine disjunkte Zerlegung

derart gibt, dass es nur Kanten zwischen und gibt.

Die Zerlegung

nennt man dann auch eine bipartite Unterteilung. Bei einem bipartiten Graphen gibt es im Allgemeinen mehrere Möglichkeiten für eine solche Zerlegung, man denke etwa an eine disjunkte Vereinigung von einzelnen Kanten. Wenn aber der Graph zusammenhängend ist, so ist die bipartite Unterteilung eindeutig bestimmt, siehe Aufgabe.


Beispiel  

Bei einem Fußballspiel möchte man wissen, wer gegen wen im Verlauf des Spieles einen Zweikampf geführt hat, und dies durch einen Graphen darstellen. Da man innerhalb seiner Mannschaft keinen Zweikampf führt, ergibt sich ein bipartiter Graph, es ergeben sich nur Kanten zwischen den Spielern der einen und der anderen Mannschaft.



Beispiel  

In einer heteronormativen Welt besteht die erwachsene Menschheit aus Männern und Frauen und nur diese haben miteinander Sex. Deshalb ergibt die Frage, wer mit wem schon einmal Sex hatte, einen bipartiten Graphen.



Beispiel  

In Vorbereitung auf einen Schulaustausch zwischen einer Klasse in Osnabrück und einer Klasse in Málaga werden Brieffreundschaften geschnürt, wobei man mehrere Brieffreunde haben kann, aber nur mit Leuten aus der anderen Stadt. Mit den beiden Klassen und ergibt sich ein bipartiter Graph auf , bei dem eine Person aus mit einer Person aus verbunden wird, wenn eine Brieffreundschaft zwischen ihnen besteht.



Beispiel  

Es seien und disjunkte Mengen und sei eine Relation zwischen und . Dann erhält man auf

einen bipartiten Graphen, indem man als Kante erklärt, falls gilt. Dadurch entsteht auf eine symmetrische Relation allein dadurch, dass und feste Rollen in der Relation haben. Dies muss man sich klar machen, um vor Missverständnissen geschützt zu sein. Wenn beispielsweise eine Menge von Männern und eine Menge von Frauen ist und bedeutet, dass Person nett findet, so bedeutet die Kante genau dies, dass die Person nett findet, nicht, dass sie sich gegenseitig nett finden. Dies gilt auch, wenn man die Kante als schreibt.



Beispiel  

Der Würfelgraph aus Beispiel ist bipartit, eine Einteilung erhält man, indem man als die Menge der -Tupel mit einer geraden Anzahl an und als die Menge der -Tupel mit einer ungeraden Anzahl an ansetzt.


Graph K3-3.svg


Definition  

Der vollständige bipartite Graph ist derjenige Graph, dessen Knotenmenge aus der disjunkten Vereinigung einer -elementigen Menge und einer -elementigen Menge besteht und dessen Kantenmenge durch

gegeben ist.



Satz  

Ein Graph

ist genau dann bipartit, wenn jeder Kreis in ihm geradzahlig ist.

Beweis  

Es sei eine bipartite Zerlegung eines bipartiten Graphen. In jedem Weg in einem bipartiten Graphen gehören die Knoten abwechselnd zu oder zu . Die Existenz eines Kreises mit ungerader Anzahl führt daher direkt zu einem Widerspruch.

Sei nun umgekehrt die Kreisbedingung erfüllt. Wir können annehmen, dass zusammenhängend ist. Es sei ein fixierter Punkt. Wir definieren

und

Wegen der Zusammenhangseigenschaft ist

Nehmen wir an, dass und nicht disjunkt sind, sagen wir . Es gibt dann Wege

und

mit gerade und ungerade. Indem man die beiden Wege zusammensetzt, erhält man einen Zyklus mit ungerade vielen Knoten. Wenn es in ihm Wiederholungen gibt, so kann man daraus zwei kleinere Zyklen herausarbeiten, von denen einer ebenfalls eine ungerade Anzahl besitzt. Somit erhält man auch einen ungeraden Kreis im Widerspruch zur Voraussetzung. Die beiden Mengen sind also disjunkt. Wenn es eine Kante innerhalb von geben würde, so würden die daran beteiligten Punkte sofort auch zu gehören im Widerspruch zur gezeigten Disjunktheit.


Insbesondere ist jeder Baum und jeder Wald bipartit.