Hallo,
1.) Zeigen, dass der Algorithmus berechnet was er soll
2.) Zeigen, dass er terminiert
Hast du dich hier vielleicht verschrieben "summe = summe + F[i] + summe"?
zu 1.) Das tut er (wenn man von einer sequentiellen Ausführung ausgeht), da es egal ist in welcher Reihenfolge man die Laufzeiten summiert. Somit sind die Laufzeiten addiert = minimale Laufzeit,
zu 2.) Er terminert, da ein Feld nicht unendlich viele Indizes besitzen kann (zwecks Speicher) und der Algorithmus die Schleife somit in endlich vielen Schritten verlassen wird und danach terminiert.
Punkte: 10