Luka Stärk hat zusammen mit seiner Teampartnerin Carolin Scholl die DISPLIB 2025 Competition zur Echtzeit-Zugdisposition gewonnen. Ihr spezialisierter Branch-and-Bound-Algorithmus konnte die schwierigen Dispositionsprobleme lösen, viele sogar bewiesenermaßen optimal. Das Verfahren hat eine parametrisierte Komplexität von O(4^k poly(n)), wobei k die Zahl der Konflikte und n die Zahl der Operationen ist. Der internationale Wettbewerb wurde in...Read More