《算法导论》第三版第7章 快速排序 练习&思考题 个人答案

7.1 快速排序的描述

7.1-1

解：
13, 19, 9, 5, 12, 8, 7, 4, 21, 2, 6, 11
9, 19, 13, 5, 12, 8, 7, 4, 21, 2, 6, 11
9, 5, 13, 19, 12, 8, 7, 4, 21, 2, 6, 11
9, 5, 8, 19, 12, 13, 7, 4, 21, 2, 6, 11
9, 5, 8, 7, 12, 13, 19, 4, 21, 2, 6, 11
9, 5, 8, 7, 4, 13, 19, 12, 21, 2, 6, 11
9, 5, 8, 7, 4, 2, 19, 12, 21, 13, 6, 11
9, 5, 8, 7, 4, 2, 6, 12, 21, 13, 19, 11
9, 5, 8, 7, 4, 2, 6, 11, 21, 13, 19, 12
return 8

7.1-2

解：r；可以检查所有元素的值都相同的情况

7.1-3

易证。

7.1-4

解：第四行的≤改为≥。

7.2 快速排序的性能

7.2-1

证明：
$T(n)\ge c_1(n-1{)}^2+cn=c_1{n}^2-2c_{1}n+c_1+cn\ge c_1{n}^2$
$(c-2c_1)n+c_1\ge 0$
$c_1\le \frac{c}{2}$
$T(n)\le c_2(n-1{)}^2+cn=c_2{n}^2-2c_{2}n+c_2+cn\le c_2{n}^2$
$(c-2c_2)n+c_2\le 0$
$c_2\ge \frac{c}{2}$
……

7.2-2

解：$\Theta (n^2)$

7.2-3

证明（翻译自参考答案）：所有元素降序排列时我们运行的是“最坏情况PARTITION”。它每一步只将要考虑的子数组大小减1，运行时间$\Theta (n^2)$。

7.2-4

本题证明翻译自https://ita.skanev.com/07/02/04.html
证明：
一个简单直观的论证就足够了。
数组排序越多，插入排序的工作量就越少。即，INSERTION-SORT是Θ(n+d)，其中d是阵列中的逆序对个数。 在上面的例子中，逆序对往往很少，因此插入排序将接近线性。
另一方面，如果PARTITION确实选择了不在逆序对中的元素，它将产生一个空分区。由于存在逆序对很少，QUICKSORT很可能产生空分区。

7.2-5

证明：
（1）最小深度：
α^mn=1
m=-log_αn=-lgn/lgα
（2）最大深度：
（1-α)^Mn=1
M=-lgn/lg(1-α)

7.2-6

证明：
设$n_l$和n${}_r$代表左右两边的比例，更均衡表示$|n_l-n_r|<1-2\alpha$
当$0<n_l<\alpha$时，$|n_l-n_r|>1-2\alpha$
当$\alpha <n_l<1-\alpha$时，$|n_l-n_r|<1-2\alpha$
当$1-\alpha <n_l<1$时，$|n_l-n_r|>1-2\alpha$
而$n_l$是均匀分布的，所以 p ≈ 1 − 2 α p≈1-2α