Ich habe heute mit einem Freund Factorio gespielt, und dabei kamen wir auf den Vier-Farben-Satz zu sprechen. Dieser besagt, dass man jeden planaren Graph (wie z.B. eine Landkarte) mit maximal vier Farben so einfärben kann, das zwei benachbarte Knoten niemals die gleiche Farbe haben. Einen solchen planaren Graph stellen auch die Gleisabschnitte aus Factorio dar, die auch in verschiedenen Farben angezeigt werden. Aus Spaß habe ich dann dann mal das Minimalbeispiel für das man vier Farben benötig nachgebaut: