RösselsprungHier ist ein altes Problem, an dem schon Leonard Euler gearbeitet hat. Die Frage lautet: kann ein Springer auf einem Schachbrett so gezogen werden, dass er alle Felder einmal und nur einmal besucht? Und wenn es eine solche Reise gibt, taucht sofort eine weitere Frage auf: wie viele dieser Reisen gibt es?Das Problem kann dadurch eingeschränkt werden, dass verlangt wird, dass eine solche Reise geschlossen ist, d.h. vom letzten Feld seiner Reise muss der Springer in einem Zug wieder sein Ausgangsfeld erreichen können. Man mag denken, dass dieses Problem durch Computer gelöst werden kann. Eine einfache Strategie dafür wäre, den Rechner alle möglichen Wege, die der Springer ziehen kann, prüfen zu lassen. Viele dieser Wege enden natürlich in einer Sackgasse - der Springer kann zu keinem nächsten Feld gelangen, ohne über ein schon besuchtes zu ziehen. In dieser Situation muß man einen Schritt zurückgehen und ein anderes, noch unbesuchtes Feld nehmen. Wenn sich alle möglichen Felder als Sackgassen herausstellen, dann muss man ein weiteres Feld zurückgehen. Diese Strategie wird „Backtracking" - Zurückziehen genannt.
| |
|
Das Problem ist auf kleinen Brettern nicht sehr schwierig. Bei einem 6*6 Brett
ist Backtracking eine hinreichende Strategie, um alle geschlossenen Reisen
aufzuzählen; es gibt 9862 verschiedene geschlossene Rösselsprung-Touren. Um
dieses Resultat zu erhalten, muß man 4 056 367 434 Züge überprüfen. (Obwohl
Backtracking immer ein Ergebnis garantiert - wenn man Zeit hat - ist es ein
sehr ineffizientes Verfahren).
Auf einem normalen 8*8 Brett ist das Problem überraschend groß; so groß dass mit simpler Zählung, selbst mit den heutigen schnellen Rechnern keine Lösung erreichbar ist. Das Problem muss also in einer anderen Art und Weise angepackt werden. 1995 schrieben Martin Löbbing und Ingo Wegener einen Artikel mit der ansprechenden Überschrift: "The Number of Knight's Tours equals 33,439,123,484,294 -- Counting with Binary Decision Diagrams" („Die Zahl der Springer Reisen ist gleich 33 439 123 484 294 - gezählt durch binäre Entscheidungsdiagramme.") Sie gelangten zu diesem Ergebnis, indem sie 20 Sun Workstations vier Monate arbeiten liessen (die tatsächliche CPU Zeit war geringer). Am 18. Februar 1997 veröffentlichte Brendan McKay sein die vorherige Arbeit korrigierendes Resultat: 13 267 364 410 532. Er nutzte hierzu ein anderes Verfahren und splittete das Schachbrett in zwei gleiche Hälften. [4] Um eine Idee von der Größe dieser Zahlen zu erhalten, betrachte man einen Computer (266 MHz PC), der pro Minute 1 Million Touren bearbeiten kann. Das scheint sehr schnell zu sein, aber der Computer muss trotzdem über 9213 Tage und Nächte laufen (also über 25 Jahre), um die Rösselsprung-Touren, die McKay errechnet hat, zu finden.
1. Euler hat das geschilderte Problem sorgfältig analysiert und Konzepte entwickelt, die in der Graphentheorie wichtig geworden sind. Aber er war nicht der einzige, der sich damit beschäftigte. Berühmte Mathematiker wie Taylor (1685-1731), de Moivre (1667-1754) und Lagrange (1736-1813) haben sich damit befasst. Mehr kann man dazu nachlesen unter the MacTutor History of Mathematics archive auf den Seiten mathematical games and recreations 2. In seinem schönen Artikel "THE KNIGHT'S TOUR" gibt Mark R. Keen einen guten und detailreichen Überblick über die Geschichte des Problems. 3. George Peter Jelliss hat eine vollständige Geschichte/Bibliographie des Problems zusammengestellt: Knight's Tour Notes. 4. In the Electronic Journal of Combinatorics, Volume 3,(no 1) findet man beide Artikel in postscript Format; direkt lesbar unter der Adresse sind ein Abstract und Kommentare. (Martin Löbbing und Ingo Wegener haben später ihre fehlerhafte Berechnung noch einmal durchlaufen lassen - siehe ihre „Kommentare" - und das Ergebnis von McKay bestätigt. Ein gemeinsamer Artikel darüber muss noch geschrieben werden (private Korrespondenz mit McKay)).
5. In Japan wird das Problem mit der Hilfe von Neuronalen
Netzwerken behandelt. Hier ist ein Applet, das
Takayuki Saito erstellte:
Neural Network Demonstration for Knight's Tour Problems. | |
| 01 11 29 |
|