2015 | OriginalPaper | Buchkapitel
Zurück zum Anfang
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Wir greifen die Ideen von Kempe zur Lösung des 4-Farben Problems und vor allem ihre Präzisierung durch Birkhoff (Kapitel 3) wieder auf – und zwar in der dualen Form. Nach Heawoods 5-Farbensatz 2.1 wissen wir, dass jeder ebene Graph
G
chromatische Zahl
χ
(G) ≤ 5 hat. Ist die 4-Farben Vermutung falsch, so muss es also 5-chromatische ebene Graphen geben – und die Idee des Induktionsbeweises von Kempe war es gerade, die minimalen Graphen unter ihnen zu studieren, um schließlich aus einem Widerspruch heraus ihre Nichtexistenz und damit die 4-Farben Vermutung zu beweisen. Wir beginnen demnach mit der folgenden Definition, wobei klar ist, dass wir uns auf einfache Graphen beschränken können.