算法导论 学习笔记 第二章 算法入门

首先附上一个算法导论学习指南链接CRLS 学习指南。这是我学习最重要的参考文章

第二章 算法入门

 这一章主要讲了三个部分，第一部分是通过插入排序引出了伪代码／循环不变式两个概念。
 第二部分分析算法，首先提出RAM模型，然后通过分析插入算法分析解释了复杂度，最坏／最好的情况，还稍微提了一下算法运行时间的增长率。

插入排序

    对于插入排序的解释真可谓是通俗易懂啊。我以前一直是懵懵懂懂插入排序的含义，就算是可以实现但是比较费劲。
    没有一个系统的框架。但是看了算法导论中的扑克牌举例，那真实教醍醐灌顶。
    就像从桌子上逐个拿一些没有排序的牌，然后每拿一个牌就将其插入到制定的位置。直到所有的牌都拿到手里的时候牌也已经排好了。

    这里最重要的内容是引出了*循环不变式*并且讲述了如何用循环不变式来判断算法的正确与否。

循环不变式

循环不变式有三个属性：初始化，保持，终止。
1.初始化：这个就是算法一开始循环不变式式正确的
2.保持：如果某一次迭代开始之前循环不变式式正确的。那么下一次迭代开始的时候依然是正确的。
3.循环终止的时候循环不变时将会告诉我们算法式正确的。

那如何在插入排序算法中使用循环不变式来判断算法的正确呢？

1.初始化&