Institut für Theoretische Informatik, Algorithmik I