# Hadwiger-Nelson-Problem

Das Hadwiger-Nelson-Problem ist ein nach Hugo Hadwiger und Edward Nelson benanntes Problem der geometrischen Graphentheorie. Gesucht wird die minimal benötigte Anzahl an Farben, um eine Ebene derart einzufärben, dass jeweils zwei Punkte mit Abstand 1 unterschiedliche Farben besitzen. Das Problem konnte bisher nicht gelöst werden, gehört also zu den offenen Problemen der Mathematik, jedoch lässt sich die Lösung auf die Werte 5, 6 oder 7 einschränken. Die richtige Lösung hängt vermutlich davon ab, welche Axiome aus der Mengenlehre vorausgesetzt werden.
Das Problem lässt sich graphentheoretisch wie folgt formulieren: Sei G ein Einheitsdistanz-Graph in der Ebene, also ein unendlicher Graph, bei dem die Knoten mit den Punkten in der Ebene identisch sind. Außerdem sollen die Punkte genau dann durch eine Kante verbunden werden, wenn sie einen euklidischen Abstand von 1 besitzen. Dann besteht das Hadwiger-Nelson-Problem in der Bestimmung der chromatischen Zahl von G. Folglich wird das Problem auch häufig „Bestimmung der chromatischen Zahl in der Ebene“ genannt. Nach dem Satz von Erdős und de Bruijn ist das Problem (unter Annahme des Auswahlaxioms) äquivalent zur Bestimmung der größten chromatischen Zahl in einem endlichen Einheitsdistanz-Graphen.
Nach Jensen und Toft (1995) wurde das Problem bereits 1950 von Edward Nelson formuliert und von Martin Gardner 1960 zum ersten Mal veröffentlicht. Hadwiger hat 1945 gezeigt, dass jede Überdeckung der Ebene aus fünf kongruenten abgeschlossenen Mengen eine Kante mit Abstand 1 in einer ihrer Mengen enthält. Hadwiger erwähnte das Problem auch in einer späteren Veröffentlichung (1961). Das Problem und seine Geschichte wurden 2008 ausführlich von Soifer abgehandelt.

## Obere und untere Schranken

Dass die chromatische Zahl der Ebene mindestens vier sein muss, folgt aus der Existenz eines vierfärbbaren, aber nicht dreifärbbaren Einheitsdistanz-Graphen mit sieben Knoten, der sogenannten Moser-Spindel, benannt nach den beiden Brüdern William Oscar Jules Moser und Leo Moser. Dieser Graph besteht aus zwei gleichseitigen Dreiecken, die an einem gemeinsamen Knoten x verbunden sind. An der gegenüberliegenden Seite von x befindet sich jeweils ein weiteres gleichseitiges Dreieck mit den Knotenpunkten y und z, zwischen denen ebenfalls eine Kante verläuft. Die Moser-Spindel kann auch graphentheoretisch mit Hilfe der Hajós-Konstruktion erzeugt werden, bei der man mit zwei vollständigen Graphen mit jeweils vier Knoten ($K_{4}$) startet. Falls die Ebene dreifärbbar wäre, würde die Färbung die Dreiecke veranlassen, dass y und z die gleiche Farbe wie x bekommen. Da y und z jedoch durch eine Kante verbunden sind, ist keine gültige Färbung möglich. Somit sind also mindestens vier Farben nötig, um den Graph und die zugehörige Ebene einzufärben.
Eine Verbesserung dieser unteren Schranke auf 5 wurde erst im Jahr 2018, nach über 60 Jahren, durch den Biologen Aubrey de Grey erreicht. In seinem Paper beschreibt er explizit die Konstruktion eines Einheitsdistanz-Graphen, der nicht mit vier Farben gefärbt werden kann. Dazu verwendete er eine Vielzahl miteinander verknüpfter Moser-Spindeln. Die Größe des von de Grey angegebenen Graphen beträgt 1581 Knoten. Im Polymath16-Projekt wird von verschiedenen Wissenschaftlern gemeinsam der Versuch unternommen, einen kleineren Einheitsdistanz-Graphen, der 5 Farben benötigt, zu finden. Der derzeit kleinste solche Graph besitzt 510 Knoten und wurde im August 2019 von Jaan Parts konstruiert.
Die Oberschranke von sieben für die chromatische Zahl folgt aus der Existenz einer Unterteilung der Ebene in regelmäßige Sechsecke, deren Durchmesser etwas weniger als 1 betragen muss. Dann lassen sich sieben Farben in wiederholendem Muster anordnen und man erhält eine Sieben-Färbung der Ebene. Nach Soifer (2008) wurde diese Methode erstmals von John R. Isbell entdeckt.

## Problemvariationen

Das Problem kann leicht auf höhere Dimensionen ausgeweitet werden. In der dritten Dimension gibt es wie in der Ebene keine eindeutige Lösung. Es wurde jedoch gezeigt, dass die chromatische Zahl in diesem Fall zwischen 6 und 15 liegen muss.
Vorstellbar sind auch Färbungen, bei denen man weitere Bedingungen an die Punktmengen jeder Farbklasse knüpft. Solche Einschränkungen könnten zu einer Erhöhung der benötigten Farben führen, da bestimmte Färbungen ihre Gültigkeit verlieren würden. Sollen zum Beispiel zusätzlich alle Zusammenhangskomponenten pro Farbklasse konvexe Polygone sein, sind mindestens sechs Farben notwendig.