Constraint Satisfaction Problems – Never code this at home!

Es ist Montag, der 13. Dezember 2021. Es läuft die Auslosung des Achtelfinales zur UEFA Champions League. Plötzlich ereignet sich eine folgenschwere Computerpanne, die letztendlich zur Wiederholung der gesamten Auslosung führt. Aber woran ist die UEFA (oder deren externer Dienstleister) gescheitert? Es handelt sich dabei um ein Bedingungserfüllungsproblem oder – etwas weniger hölzern -um ein Constraint Satisfaction Problem (CSP). Obwohl nicht in aller Munde, sind CSPs weit verbreitet. So finden sich Anwendungen dafür in der Künstlichen Intelligenz, im Operations Resarch, bei der Terminplanung, bei der Lösung von Spielen (8-Damen-Problem, Sudoku, …) oder eben bei der Erstellung von Spielplänen von Sportligen. Dieser Talk möchte dieses Thema sichtbar machen und die damit verbundenen Probleme aufzeigen. Am Ende sollte jeder erkennen können, dass er es mit einer solchen Aufgabe zu tun hat. Abschließend möchte ich dafür werben derartige Probleme nicht „zu Fuß“ zu lösen, sondern auf ein Framework wie Choco-Solver zu vertrauen.