Kann vielleicht jemand erklären wie man, herangeht um eine Schleifeninvariante zu finden ?
z.b. für { static boolean ordered(int[] a){
boolean sortiert = true;
int i = 0;
while(sortiert && i<a.length-1){
if(a[i]>a[i+1])
sortiert = false;
i++;
}
return sortiert;
} }
THX