快速排序平均情况下复杂性.docVIP

设数组中所有元素两两不同，且所有置换出现的可能性是一样的。 EMBED Equation.3 ：数组中待排序的个数只有个时排序所做的复杂性， 设分区完成后，设(first, …,splitPoint-1)中没有两个元素互相之间做过比较，因此，子区间各种置换出现的概率还是等可能的。对 (splitPoint+1, …,last)，也作同样的假定。 对 ? (4.1) 快速排序在最好情况下的复杂性为 定理4.2对递归方程(4.1)，，使对 ，有 成立。 因为是单调增函数，所以： 所以： 令，如，就得到： 推论4.3 平均情况下即设所有置换等可能性地出现时快速排序所做的比较的次数为。 平均情况下快速排序算法复杂性的精确估算 (4.2) (4.3) n?方程(4.2)- （n-1）?方程(4.3)，得到： 所以 令： 则递归方程化为： 因为，调和级数： ，其中 所以： 所以：