meng_hongwei的专栏

循环不变式，百度的解释：一般而言，用这个式子表示希望得到的结果，如果在循环的每一步，这个式子都是正确的，那么循环结束后，这个式子也正确，并得到了期望的结果。这就算定义了吧。         它的三个性质，初始化、保持和终止，基本意思就是，在循环的第一轮迭代开始前、循环中每一轮迭代开始前和循环结束时，这个式子或性质都是正确的。         拿插入排序算法来说吧，有数组A[1...n]，包含了

写在前面的话         最近系统地学习了快速排序算法，在此作一笔记。主要包括快排的各种版本：普通版本，改进的普通版本，随机化版本，三数值取中分割版本和Stooge版本。对各版本进行了简要分析，并给出了具体实现。 《算法导论》对快排的描述         快速排序是基于分治模式的，下面是对一个典型子数组A[p..r]排序的分治过程的三个步骤：         分解：数组A[p..r]被