Ein Gütekriterium für einen Algorithmus ist seine Laufzeit; die Zeitkomplexität. Andere Komplexitäten, wie den Speicherbedarf, werden nicht betrachtet. Genauer ist die Zeitkomplexität eines Problems, die Anzahl der Rechenschritte (Laufzeit) zu bestimmen, die ein Algorithmus zur Lösung dieses Problems benötigt, in Abhängigkeit von der Länge der Eingabe. Bei dieser Analyse kommt die Theorie der Differenzengleichungen zum tragen. Wir wenden die Theorie auf mehrere Algorithmen an, welche wir kennen gelernt haben. Die Bestimmung deren Laufzeiten variert dabei von einfach bis schwierig.