
Ich hatte bei Merge soeben den folgenden Fall (siehe Screenshot).
Wieso ist denn die Position des ersten Zeigers falsch? Alle Elemente sind doch in der Ergebnisliste also muss auch der Zeiger ganz am Ende stehen oder?
Und ist nicht gerade die Invariante, dass die beiden Zeigerpositionen zusammen die Iterationsanzahl ergeben?

Vielen Dank schonmal!