算法导论 — 思考题8-5 平均排序

（平均排序）假设我们不是要完全排序一个数组，而只是要求数组中的元素在平均情况下是升序的。更准确地说，如果对所有的$i=1,2,\dots ,n-k$有下式成立，我们就称一个包含$n$个元素的数组$A$为$k$排序的($k$-sorted)：
　　　　　　$\frac{{\sum }_{j=i}^{i+k-1}A[j]}{k}\le \frac{{\sum }_{j=i+1}^{i+k}A[j]}{k}$
　　a. 一个数组是$1$排序的，表示什么含义？
　　b. 给出对数字$1,2,\dots ,10$的一个排序，它是$2$排序的，但不是完全有序的。
　　c. 证明：一个包含$n$个元素的数组是$k$排序的，当且仅当对所有的$i=1,2,\dots ,n-k$，有$A[i]\le A[i+k]$。
　　d. 设计一个算法，它能在$O(n\mathrm{l}\mathrm{g}(n/k))$时间内对一个包含$n$个元素的数组进行$k$排序。当$k$是一个常数时，也可以给出$k$排序算法的下界。
　　e. 证明：我们可以在$O(n\mathrm{l}\mathrm{g}k)$时间内对一个长度为$n$的$k$排序数组进行全排序。（提示：可以利用练习6.5-9的结果。）
　　f. 证明：当$k$是一个常数时，对包含$n$个元素的数组进行$k$排序需要$\Omega (n\mathrm{l}\mathrm{g}n)$的时间。（提示：可以利用前面解决比较排序的下界的方法。）
　　
　　解
　　a.
　　一个数组$A$是$1$排序的，说明对所有$i=1,2,\dots ,n-1$，有$A[i]\le A[i+1]$，这说明这个数组是完全有序的。
　　
　　b.
　　　　　2 1 4 3 6 5 8 7 10 9
　　
　　c.
　　这一问题可以分解为两个命题，对于一个包含$n$个元素的数组$A$
　　命题a：数组$A$是$k$排序的
　　命题b：对所有的$i=1,2,\dots ,n-k$，有$A[i]\le A[i+k]$
　　本题的意思是要证明这两个命题是等价的，需要分两步证明。
　　(1) 证明：命题a成立可以推导出命题b成立
　　如果命题a成立，即数组$A$是$k$排序的，那么对所有的$i=1,2,\dots ,n-k$，有
　　　　$\frac{{\sum }_{j=i}^{i+k-1}A[j]}{k}\le \frac{{\sum }_{j=i+1}^{i+k}A[j]}{k}$
　　将上面的不等式的左边减去右边，得到
　　　　$\frac{{\sum }_{j=i}^{i+k-1}A[j]}{k}-\frac{{\sum }_{j=i+1}^{i+k}A[j]}{k}\le 0$
　　即
　　　　$\frac{A[i]}{k}-\frac{A[i+k]}{k}\le 0$
　　于是可以得到$A[i]\le A[i+k]$。所以命题a可以推导出命题b。
　　(2) 证明：命题b成立可以推导出命题a成立
　　命题b成立，说明对所有的$i=1,2,\dots ,n-k$有
　　　　$A[i]\le A[i+k]$
　　将上面的不等式左右两边都加上$A[i+1]+A[i+2]+\dots +A[i+k-1]$，得到
　　　　${\sum }_{j=i}^{i+k-1}A[j]\le {\sum }_{j=i+1}^{i+k}A[j]$
　　将该不等式左右两边同时除以$k$，得到
　　　　$\frac{{\sum }_{j=i}^{i+k-1}A[j]}{k}\le \frac{{\sum }_{j=i+1}^{i+k}A[j]}{k}$
　　于是，数组$A$是$k$排序的。所以命题b可以推导出命题a。
　　
　　d.
　　根据c的结论，可以考虑将数组$A$分为$k$组，每组最多$\lceil n/k\rceil$个元素。
　　第$1$组：$A[1],A[1+k],A[1+2k],\dots \dots$
　　第$2$组：$A[2],A[2+k],A[2+2k],\dots \dots$
　　$\dots \dots$
　　第$k$组：$A[k],A[2k],A[3k],\dots \dots$
　　对每组元素采用运行时间上界为$O(n\mathrm{l}\mathrm{g}n)$的排序算法，例如堆排序或归并排序，即可完成对整个数组的$k$排序。
　　由于每组最多$\lceil n/k\rceil$个元素，因此每一组排序的时间为$O((n/k)\mathrm{l}\mathrm{g}(n/k))$。一共有$k$组，所以总的时间为$O(n\mathrm{l}\mathrm{g}(n/k))$。
　　
　　e.
　　对于一个已经$k$排序的数组来说，按照上文所述方法进行分组，那么每一组内的元素是有序。要对该数组进行全排序，实际上是将$k$个有序分组进行合并。因此，可以直接采用练习6.5-9的方法，这里不对该方法进行赘述，请参考链接https://blog.csdn.net/yangtzhou/article/details/84801494。根据练习6.5-9的结果，该方法的时间复杂度为$O(n\mathrm{l}\mathrm{g}k)$。
　　
　　f.
　　可以直接套用8.1节的排序决策树模型，不过$k$排序的决策树包含的叶结点数目有所不同。对于一个有$n$个元素的数组，$k$排序实际上是排序$k$组序列，每个序列最多包含$\lceil n/k\rceil$个元素。那么$k$排序后，数组可能的排列一共有$k(\lceil n/k\rceil !)$种，这也是决策树的叶结点数目。假设该决策树的高度为$h$，那么它最多包含$2^h$个叶结点。于是有
　　　　$k(\lceil n/k\rceil !)\le 2^h$
　　对该不等式两边取对数，得到
　　　　$h\ge \mathrm{l}\mathrm{g}(k(\lceil n/k\rceil !))=\mathrm{l}\mathrm{g}k+\mathrm{l}\mathrm{g}(\lceil n/k\rceil !)=\Omega ((n/k)\mathrm{l}\mathrm{g}=\Omega ((n/k)(\mathrm{l}\mathrm{g}n-\mathrm{l}\mathrm{g}k))$
　　如果$k$是常数，那么必然有
　　　　$h=\Omega ((n/k)(\mathrm{l}\mathrm{g}n-\mathrm{l}\mathrm{g}k))=\Omega (n\mathrm{l}\mathrm{g}n)$
　　所以，当$k$是一个常数时，对包含$n$个元素的数组进行$k$排序需要$\Omega (n\mathrm{l}\mathrm{g}n)$的时间。