下例的循环不变式是什么？ QUOTE: Vector <int>list(n);//n is some positive integer int k,indexMax; <code which assigns values to all entries in list> indexMax =0; for(k 1;k list.length();k++){ //invariant true here if (list[k]>list[indexMax]) indexMax k; }下例的循环不变式是什么？ QUOTE: Vector <int> list(n); // n is some positive integer int k, indexMax; <code which assigns values to all entries in list> indexMax = 0; for(k = 1; k < list.length(); k++){ // invariant true here if (list[k] > list[indexMax]) indexMax = k; }