算法导论 — 思考题8-6 合并有序列表的下界

（合并有序列表的下界）合并两个有序列表是我们经常会遇到的问题。作为MERGE-SORT的一个子过程，我们在2.3.1节中已经遇到过这一问题。对这一问题，我们将证明在最坏情况下，合并两个都包含$n$个元素的有序列表所需的比较次数的下界是$2n-1$。
　　首先，利用决策树来说明比较次数有一个下界$2n-o(n)$。
　　a. 给定$2n$个数，请算出共有多少种可能的方式将它们划分成两个有序的列表，其中每个列表都包含$n$个数。
　　b. 利用决策树和(a)的答案，证明：任何能够正确合并两个有序列表的算法都至少要进行$2n-o(n)$次比较。
　　现在我们来给出一个更紧确界$2n-1$。
　　c. 请说明：如果两个元素在有序序列中是连续的，且它们分别来自不同的列表，则它们必须进行比较。
　　d. 利用你对上一部分的回答，说明合并两个有序列表时的比较次数下界为$2n-1$。
　　
　　解
　　a.
　　题目问的是有多少种方式将$2n$个数划分成两个都包含$n$个数的有序的列表。实际上题目可以转化为求取有多少种方式将$2n$个数分成两组，每组都有$n$个数。因为，只要分组确定了，每组都只有一种可能的排序。根据排列组合原理，分组方式一共有$C_{2n}^n=(2n)!/(n!\bullet (2n-n)!)=(2n)!/(n!\bullet n!)$种。
　　
　　b.
　　为了表示合并两个有序列表的决策树是什么样的，我们举个简单的例子。假设要合并的两个有序列表都包含$2$个元素，分别为$<a,b>$和$<c,d>$，其中$a\le b$并且$c\le d$。合并这两个序列的决策树如下图所示。
　　
　　在决策树中，每个叶结点都是合并后可能的序列，每个非叶结点表示一次比较。上图决策树中，一共有6个叶结点，这符合a的结论，因为$C_4^2=6$。
　　根据a的结论，对于合并两个都包含$n$个元素的有序序列的问题，它的决策树包含$(2n)!/(n!\bullet n!)$个叶结点。假设该决策树的高度为$h$，那么它最多包含$2^h$个叶结点。于是有
　　　　$\frac{(2n)!}{(n!\bullet n!)}\le 2^h$
　　对该不等式两边取对数，得到
　　　　$h\ge \mathrm{l}\mathrm{g}\frac{(2n)!}{(n!\bullet n!)}=\mathrm{l}\mathrm{g}((2n)!)-2\mathrm{l}\mathrm{g}(n!)$
　　令$f(n)=\mathrm{l}\mathrm{g}((2n)!)-2\mathrm{l}\mathrm{g}(n!)$，有
　　　　$f(n)=\mathrm{l}\mathrm{g}((2n)!)-2\mathrm{l}\mathrm{g}(n!)=\sum _{i=1}^{2n}\mathrm{l}\mathrm{g}i-2\bullet \sum _{i=1}^n\mathrm{l}\mathrm{g}i=\sum _{i=2}^{2n}\mathrm{l}\mathrm{g}i-2\bullet \sum _{i=1}^{n-1}\mathrm{l}\mathrm{g}i-2\mathrm{l}\mathrm{g}n$
　　直接对对数求和不方便，可以采用积分近似求和的方法（参考《算法导论》附录A.2）。于是有
　　
　　根据以上分析，可以得到决策树的高度$h\ge 2n–o(n)$。这也证明了任何能够正确合并两个有序列表的算法都至少要进行$2n-o(n)$次比较。

c.
　　简要说明一下。假设有两个待合并的有序序列$<A_1,A_2,\dots ,A_n>$和$<B_1,B_2,\dots ,B_n>$，我们现在要确定两个元素$A_i$和$B_j$的次序。为简化分析，假设所有元素都不相等。确定二者的次序只有两种方法：
　　(1) 二者直接比较：$A_i<B_j$或者$A_i>B_j$。
　　(2) 通过其他元素间接比较：$A_i<x<B_j$或者$A_i>x>B_j$，以及$A_i<x<\dots <y<B_j$或者$A_i>x>\dots >y>B_j$，
　　如果通过第(2)种方式，那么说明至少存在一个元素$x$，使得$A_i<x<B_j$或者$A_i>x>B_j$成立，所以$A_i$和$B_j$肯定不相邻，因为二者之间至少间隔一个元素$x$。反过来，如果$A_i$和$B_j$相邻，说明肯定不存在这样的元素$x$，使得$A_i<x<B_j$或者$A_i>x>B_j$成立。这说明，如果$A_i$和$B_j$相邻，只能通过第(1)种方式来确定二者的次序，即二者直接比较。
　　多提一句，在排序问题中，如果在排序后的序列中两个元素相邻，那么二者也必须进行直接比较，原因与上面是一样的。

d.
　　注意，本题要证明的是：在最坏情况下，合并两个有序列表时的比较次数的下界为$2n-1$。
　　利用c的结论，如果有两个来自不同序列的元素，并且二者在合并后的序列中相邻，那么二者必须进行直接比较。我们只需要统计在合并后的序列中，有多少对相邻的元素来自不同的序列，就可以知道合并过程中至少需要比较多少次。
　　假设有两个待合并的有序序列$<A_1,A_2,\dots ,A_n>$和$<B_1,B_2,\dots ,B_n>$。最好的情况是合并后的序列中只有$1$对相邻的元素来自不同的序列，比如$<A_1,A_2,\dots ,A_n,B_1,B_2,\dots ,B_n>$，只有一对相邻元素$A_n$和$B_1$，二者来自不同的序列。因此，最好情况下，至少只需要比较一次。
　　而最坏情况发生在合并之后，任意两个相邻的元素都来自不同的序列，比如$<A_1,B_1,A_2,B_2,\dots ,A_n,B_n>$。合并后的序列一共有$2n$个元素，相邻的元素一共有$2n-1$对。其中每一对相邻的元素都来自不同的序列，那么合并过程至少需要比较$2n-1$次。因此在最坏情况下，合并两个有序列表时的比较次数的下界为$2n-1$。