Eine naheliegende systematische Methode ist, nacheinander einfach alle Färbungszustände durchzuprobieren und für jeden einzelnen zu überprüfen, ob die Karte korrekt koloriert ist. Man nennt diese Strategie auch erschöpfendes Durchsuchen.
Für diese Strategie brauchen wir eine Methode, die uns nacheinander alle möglichen Färbungszustände liefert. Dazu benutzen wir einen Zähler wie den Tachometer im Auto:
Jedem Tachostand entspricht ein Färbungszustand. Durch Weiterzählen im Tachometer erzeugt man also alle möglichen Färbungszustände. Bei einem Tachometer mit fünf Stellen starten wir mit 00000.
Beachte
| 0 | = | grün |
| 1 | = | blau |
| 2 | = | rot |
| 3 | = | gelb |
Welcher Tachostand gibt demnach folgende Färbung wieder?
 |
Mit den Funktiontasten "Reset", "weiter" und "nächste Lösung" können wir das erschöpfende Durchsuchen für ein kleines Beispiel anwenden.
Der Tachometer ist ein geeignetes Instrument, um nacheinander alle Färbungszustände der Karte durchzuzählen. Für jeden Tachostand wird geprüft, ob die Karte korrekt eingefärbt ist. Mit dieser Methode finden wir also garantiert alle Lösungen.
Ein Nachteil dieser Methode ist, dass sie sehr aufwändig ist. Die erste Lösung der folgenden Karte findet man bei Tachostand 012123, d.h. man muss 411 Färbungszustände durchprobieren.
(
)
sehr aufwändiges Verfahren
Wenn also die Anzahl der Länder groß wird, ist der Aufwand der Tachometerstrategie nicht mehr zu vertreten.
|
|
|
|
|
|
