Effizienz von Algorithmen - Technische Fakultät - Universität Bielefeld

Effizienz von Algorithmen Asymptotische Effizienz-Analyse Exkurs Beispiel zur Effizienanalyse Ausn
Grundbegriffe zu Auswertungs-Strategien:
Rechnen = Anwenden von Gleichungen in Formeln
Redex = reducible expression: Stelle in einer Formel, an
der die linke Seite einer Gleichung “passt”
“passt” = die auf der linken Seite verlangten Konstruktoren
der Argumente liegen vor
111 / 130
Effizienz von Algorithmen Asymptotische Effizienz-Analyse Exkurs Beispiel zur Effizienanalyse Ausn
Beispiel:
head (x:xs) = x
ist anwendbar auf die Formel und ergibt
head (1:2:2:[]) => 1
head (1:([3,4]++[5,6])) => 1
head ((1+4):[5]) => (1+4)
head (1:ones) where
ones = 1:ones => 1
ist (noch) nicht anwendbar auf
head ([1,3,4] ++ [5,6])
head (map (1+) [1,2,3])
head ones where
ones = 1:ones
Es muss erst eine Gleichung für (++), map oder ones angewandt
werden.
112 / 130