Knight moves — was macht der Springer allein auf dem Schachbrett?

Zusammenfassung

Springerkreise sind Zugfolgen des Springers auf dem Schachbrett, mit denen er jedes Feld genau einmal erreicht und zum Ausgangsfeld zurückkehrt. Sie faszinieren seit über 400 Jahren auch solche Menschen, die sich nicht hauptsächlich mit Schach, Mathematik oder Informatik befassen. Nach einem historischen Rückblick wird beschrieben, wie es nun gelungen ist, die exakte Zahl der Springerkreise zu bestimmen. Wichtiger als die Zahl ist die Methode ihrer Berechnung. Es werden für die Hardwareverifikation entworfene Datenstrukturen eingesetzt. Damit wird gezeigt, daß diese Datenstrukturen die Lösung endlicher Probleme aus sehr unterschiedlichen Gebieten unterstützen.