今天白天看代码，晚上看了一会儿算法导论。刚开始看，主要还是一些基本的简单概念，这里记录一下。
数据结构的定义
** A data structure is a way to store and organize data in order to facilitate access and modifications. **
插入排序
最优复杂度：O(n)
最差复杂度：o(n^2)
平均复杂度：o(n^2)
循环不变式(loop invariant)的概念
如下图——初始性、保持性、可终止性。
如插入排序的循环不变式为：在每一次for循环开始前，A[1..j-1]由原来的A[1..j-1]里的元素按顺序排列而成。
