Übung 4 (Korrektheitsbeweis: selectionSrt)

Bei Postings zu Aufgabe Nr. x auf Blatt Nr. y lassen Sie Ihr Betreff bitte mit "y.x: " beginnen, gefolgt von einer möglichst präzisen Überschrift, danke!

Moderator: Algorithmen und Datenstrukturen

Forumsregeln
Bei Postings zu Aufgabe Nr. x auf Blatt Nr. y lassen Sie Ihr Betreff bitte mit "y.x: " beginnen, gefolgt von einer möglichst präzisen Überschrift, danke!
Max_S
Erstie
Erstie
Beiträge: 14
Registriert: 16. Apr 2015 17:09

Übung 4 (Korrektheitsbeweis: selectionSrt)

Beitrag von Max_S » 24. Jun 2016 16:36

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

Carlito
Erstie
Erstie
Beiträge: 12
Registriert: 5. Jun 2016 19:35

Re: Übung 4 (Korrektheitsbeweis: selectionSrt)

Beitrag von Carlito » 25. Jun 2016 11:41

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 ?

Max_S
Erstie
Erstie
Beiträge: 14
Registriert: 16. Apr 2015 17:09

Re: Übung 4 (Korrektheitsbeweis: selectionSrt)

Beitrag von Max_S » 26. Jun 2016 10:32

Hab wohl ne veraltete Version... :oops:

Antworten

Zurück zu „AuD: Theoretische Aufgaben“