Seite 1 von 1

Übung 4 (Korrektheitsbeweis: selectionSrt)

Verfasst: 24. Jun 2016 16:36
von Max_S
Hallo,

im Übungsblatt steht im Punkte "Terminierung" (Seite 4), dass selectionSrt terminiert wenn i == array.length ist. Die äußere Schleife terminiert aber schon wenn i == array.length -1 ist.

Sollte also nicht stattdessen bei "Terminierung" i== array.length - 1 stehen?

MfG,
Max

Re: Übung 4 (Korrektheitsbeweis: selectionSrt)

Verfasst: 25. Jun 2016 11:41
von Carlito
Hallo Max,
hast du die aktuellste Version des Aufgabenblattes ?
Bei mir steht auf Seite 5 relativ weit oben genau dein Vorschlag, oder hab ich deine Frage nicht richtig verstanden ?

Re: Übung 4 (Korrektheitsbeweis: selectionSrt)

Verfasst: 26. Jun 2016 10:32
von Max_S
Hab wohl ne veraltete Version... :oops: