插入排序InsertSort的三種實現方式及循環不變式的使用

1、循環不變式的概念：算法 在循環結構設計中，核心設計就是找到循環結構中循環不變式（loop  invariant)；數組 方法是找中間的一個普通循環迭代，同時保證知足邊界條件（edge case）。oop 循環不變式知足的三個條件：spa 1. 初始化： 在初始化狀態下，循環不變式保持某種性質。設計 2.保持性： 循環不變式的性質，在迭代的同時可以保持。code 3.終止性： 循環不變式終止時，

>>阅读原文<<