@Test 公共ボイド挿入ソート(){ 整数[] = {5,9,3,4,2,1,6,8,10,7,65,54,85,32,15,94,75,62、 34,76,45,32,85}。 {(I ++; I <a.length INT iは= 1)についての INTキー= [I]。 int型J = - 1;
//循环不变式 ながら(J> = 0 && A [j]>キー){ [J + 1] = [J]。 [J] =キー。 J = J-1; } } System.out.print(Arrays.toString(a)参照)。 }
フォーカス挿入アルゴリズム:少量のデータのためのループ不変