Mathematische Modellierung der Laufzeitkomplexität von Algorithmen