Das Vierfarbenproblem

Gliederung
Worum geht es ?

Hintergrund/Geschichte

Die Lösungswege
◦ Erschöpfendes Durchsuchen
◦ Backtracking
 Der Algorithmus
Worum geht es?
Es soll eine Landkarte mit Farben ausgefüllt
werden. Zu beachten ist dabei das kein
angrenzendes Land die gleiche Farbe hat und es
so wenig Farben wie möglich gebraucht werden
Hintergrund/Geschichte
1852 aufgestellte Vermutung durch Francis
Guthrie beim Färben der Karte der Ländereien
von England:

◦  4 Farben genügen um die Länder einer

Karte so zu färben, dass alle benachbarten
Länder unterschiedliche Farben tragen

Beweise durch Kempe (1878) und Tait (1880)

wurden 1890 bzw. 1891 widerlegt
60-er und 70-er Jahren Verfahren von Heesch
zum Suchen eines Beweises per Computer -
führte 1977 zum Beweis durch Ken Appel und
Wolfgang Haken

2004 - Entwicklung eines formalen Beweises

mittels Beweis-Assistenten durch Werner und
Gonthier
Lösungswege
Erschöpfendes Durchsuchen

1 2 3 4 5 6 7 8
1 2 3 4 5 6 7 8
Nachteile

◦ sehr hoher Zeitaufwand

◦ im ungünstigsten Fall müssen fast alle

Kombinationen durchprobiert werden
2. Backtracking

ein Land färben und dann versuchen das nächste zu

färben, so dass folgende Bedingungen erfüllt sind:
◦ die benachbarten bereits gefärbten Länder haben
unterschiedliche Farben
◦ keines der benachbarten noch ungefärbten
Länder wird unfärbbar
Bedingungen können erfüllt sein, aber dennoch zu
keiner Lösung führen (Sackgasse)
Rückverfolgung des Pfades und setzen der nächst-
möglichen Farbe
Vorteile

◦ wesentlich effizienter als erschöpfende Suche

Nachteile

◦ abhängig von der Nummerierung, d.h. bei

ungünstiger Nummerierung ist der Aufwand
ebenfalls
enorm hoch
Algorithmus
 i=1
1. Solange i<=n
        2. betrachte Land
        3. Wenn noch nicht alle Farben durchprobiert
            dann
                    färbe das Land mit der nächsten Farbe.
                    Wenn Bedingungen 1 und 2 erfüllt sind
                    dann
                                 i=i+1
                                 gehe zu 1.
                    sonst
                                 gehe zu 3.
            sonst
                    entfärbe Land
                    i=i-1
                    gehe zu 2.
Die Quellen / Bildnachweis
http://matheprisma.de/Module/4FP/index.htm
http://de.wikipedia.org/wiki/Vier-Farben-Satz
http://de.wikipedia.org/w/index.php?title=Datei:
Four_Colour_Map_Example.svg&filetimestamp
=20080902142733
http://www.mathe.tu-freiberg.de/~hebisch/cafe/b
rdkarte.jpg