hab hier mal ein problem
komme garnicht vorran bitte um hilfe...
Geben Sie für diesen Algorithmus eine Invariante an und begründen Sie mit ihrer Hilfe die
Korrektheit.
Es handelt sich um ein Quicksort Programm
Java:
x=a[right];
i=left; j=right-1;
while (i<=j) {
while (a[i]<x) { ++i; }
while ((j>=left) && (a[j]>=x)) { --j; }
if (i<j) {swap(a, i, j); ++i; --j;}
}
swap(a, i, right);
Geben Sie für diesen Algorithmus eine Invariante an und begründen Sie mit ihrer Hilfe die
Korrektheit.
Es handelt sich um ein Quicksort Programm
Zuletzt bearbeitet von einem Moderator: