Bei den Korrektheitsbeweis von mergeSort steht:
Jedoch wird in der mergeSort Methode nicht zweimal merge aufgerufen, sondern zweimal mergeSort und einmal merge.IS: Nach Induktionsvoraussetzung ist die Liste nicht Einelementig d.h. die Abbruchbedingung wurde noch nicht errreicht. Deshalb wird die Liste aufgeteilt und zweimal merge aufgerufen.
Ist das ein Tipfehler, oder verstehe ich da was falsch ?