Erkundung der theoretischen Randbedingungen in der Algorithmusanalyse