Unser Färbungsproblem lautete:
Merke
"Färbe eine Karte mit n Ländern mit nur vier Farben. Und zwar so, dass je zwei aneinander grenzende Länder verschieden koloriert sind."
Für unsere eigenen Färbungsversuche und die Algorithmen "erschöpfendes Durchsuchen" und "Backtracking" war bisher immer die Karte die Grundlage für unsere Überlegungen. Begriffe wie "Land", "grenzen an" oder "korrekt koloriert" waren intuitiv klar.
Computerprogramme besitzen keine Intuition. Und auch für uns wird es schwer, bei komplizierten Karten mit mehreren tausend Ländern die Übersicht zu behalten. Außerdem haben Länder nicht immer eine so praktische quadratische Form.
Was wir also brauchen, ist ein Modell, das