Seite 1 von 1

Theorietestat #2b - coloringCanvasRecursiveIn2

Verfasst: 28. Mai 2017 22:28
von marvin
Hallo,
in der Übungsaufgabe coloringCanvasRecursiveIn2 soll die Korrektheit des Algorithmus bewiesen werden. Es soll das komplette Canvas gefärbt werden. Es wird aber nirgendwo in der Methode die Farbe geändert. Es fehlt:

Code: Alles auswählen

canvas[heightCoordinate][widthCoordinate] = background;
Ist das ein Fehler der mittels Korrektheitsbeweis gefunden werden soll? Ich bin jetzt nicht davon ausgegangen, da es bei den anderen Aufgaben immer in der Aufgabenstellung steht, wenn der Algorithmus fehlerhaft ist.
Außerdem wird in allen Übungsaufgaben "heigthCoordinate" statt heightCoordinate und "backround" statt background geschrieben.

Re: Theorietestat #2b - coloringCanvasRecursiveIn2

Verfasst: 31. Mai 2017 10:30
von invariant
Hallo,

der Fehler ist an der Stelle nicht unbedingt beabsichtigt gewesen. Aber es stimmt, dieser Teil des Codes fehlt.
Für ihren Korrektheitsbeweis am Besten die entsprechende Zeile ergänzen.

Das mit den Typos ist bekannt und wird in der nächsten Version geändert.

Vielen Dank für den Hinweis.

Gruß