Graphen und NetzwerkeMaps

Der Vier-Farben-Satz ist der erste bekannte mathematische Satz, der mit Hilfe eines Computers bewiesen wurde, etwas, das inzwischen viel gebräuchlicher und weniger umstritten ist. Schnellere Computer und ein effizienterer Algorithmus tragen dazu bei, dass man heute den Vier-Farben-Satz auf einem Laptop in nur wenigen Stunden beweisen kann.