Institute of Theoretical Informatics, Algorithmics I