Erweiterungen (Färbung, Gewichte)
Um einem Graphen zusätzliche Informationen hinzufügen zu können, erweitert man das Paar zu einem Tripel . Falls hierbei eine Abbildung von der Knotenmenge in die Menge der natürlichen Zahlen ist, spricht man von einer (Knoten-)Färbung von (man identifiziert sozusagen die diskreten Werte von mit verschiedenen Farben). Falls von in die Menge der reellen Zahlen abbildet so nennt man einen knotengewichteten Graph. Analog dazu gibt es kantengefärbte bzw. kantengewichtete Graphen.
Probleme & Applet
Ein klassisches Problem in der Graphentheorie ist die -Färbbarkeit eines Graphen , . Ein Graph heißt -färbbar (genauer -knotenfärbbar), wenn es eine Knotenfärbung von gibt, so dass für alle , wobei Nachbar von ist. Anschaulich gesprochen ist ein Graph -knotenfärbbar falls man die Knoten so mittels Farben färben kann, so dass kein Paar benachbarter Knoten die selbe Farbe hat. Identifiziert man zum Beispiel die Länder einer gegebenen Landkarte mit den Knoten und gemeinsame Landesgrenzen mit den Kanten eines ungerichteten Graphen , so steckt hinter der -Färbbarkeit von die Frage, ob man die Länder der Landkarte mit Farben so färben kann, dass kein Paar von Ländern mit gemeinsamer Landesgrenze die gleiche Farbe erhält.
Im nachfolgenden Applet kann man sich mit den Begriffen knotengefärbter bzw. kantengewichteter Graph vertraut machen. Dabei kann man am Beispiel des “Nachbarschaftsgraphen” von Deutschland sehen, dass man mindestens vier Farben benötigt um einen beliebigen Graphen korrekt knotenfärben zu können. Später werden wir noch konstruktiv sehen, dass fünf Farben bei planaren Graphen (grob gesprochen kein Überschneiden von Kanten) immer ausreichen (vgl. Fünffarbensatz. Mehr noch lässt sich zeigen, dass selbst vier Farben im Fall planarer Graphen ausreichen (vgl. Vierfarbensatz).
Zur Bedienung des Applets:
- Analog zum Applet auf Was ist ein Graph?.
- Im Modus Färbung kann man durch Anclicken eines Knoten dessen Farbe ändern. Die gewünschte Farbe kann durch vorheriges Drücken der Tasten “r”, “g”, “b”, “y”, “m” oder “w” ausgewählt werden. Knoten, welche bzgl. ihrer Färbung noch im Konflikt mit Ihren Nachbarn stehen werden mit einem grauen Kreis hinterlegt.
- Im Modus Gewichte kann man durch Anclicken von Kanten/Bögen deren Gewicht verändern. Für ein Erhöhen des jeweiligen Kantengewichts muss vorher die Taste “+” (Plus) zum Erniedrigen die Taste “-“ (Minus) gedrückt werden.
GraphExtensions.cdy (Dieses Applet kann in Cinderella ausgeführt werden.)