bei dem Abschnitt zu CountOddElements (5.2) kommen meiner Meinung nach die Indizes etwas durcheinander. In der Invariante steht, dass in der h-ten Iteration i=x+h-1 ist. Diese Definition sollte man auch beibehalten. Wenn also h bezogen auf den aktuellen Iterationsschritt ist, sollte sich x auch auf den aktuellen Iterationsschritt beziehen.
Jetzt kommt das Problematische:
In der Induktionsvoraussetzung, in der man den Iterationsschritt h-1 betrachtet, steht dann
Code: Alles auswählen
A[x]..A[i]
Code: Alles auswählen
A[x]...A[i-1]
Ähnlich steht dann im Induktionsschritt am Ende
Code: Alles auswählen
A[x]..A[i+1]
Code: Alles auswählen
A[x]...A[i]
Übernimmt man aber die Definition aus der Invariante von i mit i=x+h-1 und schreibt
Code: Alles auswählen
A[x]..A[i]
Ich hoffe, man versteht mein Problem.