本文介绍了一种简单的排序算法——插入排序，详细解释了该算法的工作原理、循环不变式及其正确性的证明方式。此外还讨论了算法分析的方法，以及如何在RAM模型下评估插入排序的时间复杂度。
本章内容：贯穿本书的框架。
2.1 插入排序
排序问题。输入：n个数的序列；输出：输入序列的一个排列，满足递增性。
关键字：希望排序的数。输入以n个元素的数组形式出现。
算法的描述：伪代码。类似于真码。区别：
1.最清晰、最简洁的方式（可能有英文语句）；
2.不关心软件工程问题：忽略数据抽象、模块性、错误处理等。
插入排序：
取每一个数并从右向左依次与其左侧的“有序区”（已排序好的部分）比较，并将其插入正确位置。原址排序。
循环不变式：当前数字左侧由原元素组成且已按序排列。
理解算法的正确性。性质：
1.初始化：第一次迭代之前为真；
2.保持：若某次迭代之前为真，则下次迭代前仍为真；
3.终止：循环终止时为真。——以此证明算法正确性。
注意：伪代码的约定：
1.以缩进表示块结构；
2.循环语句类似实际语言，退出循环后计数器保持其值；
3.//表示注释；
4.多重赋值：I=j=e等价于j=e后I=j；
5.变量局部于过程，不用全局变量；
6.数组：A[I]表示A的第I个元素，A[1..j]表示A的子数组，包含A[1]...A[j]；
7.对象：复合的数据，由属性组成，以运算符.访问，表示数组/对象的变量看作对数据的指针，属性记号可以串联；
8.按值传参：被调用过程接收其参数自身的副本；
9.return返回过程调用点，并可能将值传回调用者；
10.and和or的短路性：a and b如a = false则不执行b，or同理；
11.error表示出错并调用处理过程。
2.2 分析算法
预测需要的资源：时间（最想要），内存、带宽、硬件等。选出最有效算法/抛弃较差算法。
模型：RAM。没有并发操作，包含真实计算机常见指令：算术/数据移动/控制，整形/浮点型数据，不考虑高速缓存和虚拟内存。
插入排序的分析：
扫一扫
501
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
