首先附上一个算法导论学习指南链接CRLS 学习指南。这是我学习最重要的参考文章
第二章 算法入门
这一章主要讲了三个部分,第一部分是通过插入排序引出了伪代码/循环不变式两个概念。
第二部分分析算法,首先提出RAM模型,然后通过分析插入算法分析解释了复杂度,最坏/最好的情况,还稍微提了一下算法运行时间的增长率。
插入排序
对于插入排序的解释真可谓是通俗易懂啊。我以前一直是懵懵懂懂插入排序的含义,就算是可以实现但是比较费劲。
没有一个系统的框架。但是看了算法导论中的扑克牌举例,那真实教醍醐灌顶。
就像从桌子上逐个拿一些没有排序的牌,然后每拿一个牌就将其插入到制定的位置。直到所有的牌都拿到手里的时候牌也已经排好了。
这里最重要的内容是引出了*循环不变式*并且讲述了如何用循环不变式来判断算法的正确与否。
循环不变式
循环不变式有三个属性:初始化,保持,终止。
1.初始化:这个就是算法一开始循环不变式式正确的
2.保持:如果某一次迭代开始之前循环不变式式正确的。那么下一次迭代开始的时候依然是正确的。
3.循环终止的时候循环不变时将会告诉我们算法式正确的。
那如何在插入排序算法中使用循环不变式来判断算法的正确呢?
1.初始化&