插入排序InsertSort的三种实现方式及循环不变式的使用

1、循环不变式的概念：算法 在循环结构设计中，核心设计就是找到循环结构中循环不变式（loop  invariant)；数组 方法是找中间的一个普通循环迭代，同时保证知足边界条件（edge case）。oop 循环不变式知足的三个条件：spa 1. 初始化： 在初始化状态下，循环不变式保持某种性质。设计 2.保持性： 循环不变式的性质，在迭代的同时可以保持。code 3.终止性： 循环不变式终止时，

>>阅读原文<<