Ein Algorithmus für alle Drehpuzzles

Einführung in die algorithmische Gruppentheorie

von Jannis Harder

Wie bringe ich meinem Computer bei Rubik’s Cube, Megaminx und Co. zu lösen? … ohne für jedes Puzzle einen neuen Lösungsweg nachzuschauen? Wie berechne ich die Anzahl der möglichen Stellungen?

Die Antworten auf diese Fragen und mehr liefert die algorithmische Gruppentheorie (engl. „Computational Group Theory“).

Im Vortrag stelle ich den Schreier-Sims-Algorithmus vor, ein grundlegender Baustein der algorithmischen Gruppentheorie, und zeige wie sich mit diesem unsere Drehpuzzlefragen beantworten lassen. Vorwissen zur Gruppentheorie braucht es dazu nicht, grundlegende Programmierkenntnisse sind aber hilfreich.