Hallo,
ich hab schon ein bisschen über Schleifeninvarianten recherchiert und weiß deshalb grob, was damit gemeint ist. Nur "klack" gemacht hat es noch nicht.
Daher wollte ich euch um Hilfe beim Finden der Invariante des folgenden Codes bitten:
Alles anzeigen
Es wäre toll, wenn mir jemand einen Denkanstoß geben könnte.
Ich habe mir folgendes überlegt: "
a[0… i]
enthält die kleinsten Werte der Zahlen
von 0 bis i sortiert."
Das stimmt ja beim ersten Durchlauf für i = 0, da die Zahl ja nicht sortiert werden muss.
Muss ich eigentlich zwei Schleifeninvarianten finden, da es eine doppelte Schleife ist?
ich hab schon ein bisschen über Schleifeninvarianten recherchiert und weiß deshalb grob, was damit gemeint ist. Nur "klack" gemacht hat es noch nicht.
Daher wollte ich euch um Hilfe beim Finden der Invariante des folgenden Codes bitten:
Quellcode
Es wäre toll, wenn mir jemand einen Denkanstoß geben könnte.
Ich habe mir folgendes überlegt: "
a[0… i]
enthält die kleinsten Werte der Zahlen
von 0 bis i sortiert."
Das stimmt ja beim ersten Durchlauf für i = 0, da die Zahl ja nicht sortiert werden muss.
Muss ich eigentlich zwei Schleifeninvarianten finden, da es eine doppelte Schleife ist?