CLRS 9.3最坏情况为线性时间的选择算法

9.3-1
采用类似书上的方法进行分析。

1) 每组7个元素。
大于 $x$ 的元素个数至少为：

$$4 \bigg(\bigg\lceil \frac{1}{2} \Big\lceil \frac{n}{7} \Big\rceil \bigg\rceil - 2 \bigg) \ge \frac{2n}{7} - 8$$
因此递归调用最多作用于 $5n/7 + 8$。递归式为：

$$T(n) = \begin{cases} O(1) &\text{ if } n < n_0 \\ T(\lceil n/7 \rceil) + T(5n/7 + 8) + O(n) &\text{ if } n \ge n_0 \end{cases}$$
猜测 $T(n) \le cn$ ：
$$\begin{align} T(n) & \le c\lceil n/7 \rceil + c(5n/7 + 8) + an \\ &\le cn/7 + c + 5cn/7 + 8c + an \\ &= 6cn/7 + 9c + an \\ & = cn + (-cn/7 + 9c + an) \\ &\le cn \\ & = O(n) \end{align}$$
最后一步 $(-cn/7 + 9c + an) \le 0$ 有：