算法导论 4.2-2

1 题目

利用递归树来证明递归式T(n)=T(n/3)+T(2n/3)+cn的解是Ω(nlg n)，其中c是一个常数。

2 分析与解答

证明：因为要证明T(n)的渐近下界，并且递归树叶子的深度是不同的；所以需要画出T(n)的递归树的深度最浅的叶子（称为leaf₁ ）作为参考。

从递归树中可以得到以下结论：

1. leaf₁ 的深度为log₃ n；
2. 深度从0到log₃ n - 1的各层，每层的代价为cn；
3. 深度为log₃ n的各结点，除leaf₁ 以外，代价都是Ω(T(1))；
4. 深度从0到log₃ n的各层，每层的结点数为2ⁱ 。

设T(1)=Θ (1)，那么:

T(n) > ∑_i=0^{log₃ n - 1}n + Θ (2^{log₃ n}) =nlog₃ n + Θ (n^{log₃ 2}) > nlog₃ n

所以，推测T(n) = Ω (nlg n)。用替换法证明推测：

若T(n)=Ω (nlg n)，则存在n₀ 和c₀ ，使得当n >= n₀ 时，T(n)>=c₀ nlg n；

所以，T(n) >= c₀ (n/3)lg (n/3) + c₀ (2n/3)lg (2n/3) + cn = c_0n lg n +(2/3c₀ - c₀ lg 3 + c)n;

显然，当2/3c₀ - c₀ lg 3 + c >= 0时，即c₀ <= c/(\lg3 - 2/3)时，有T(n)>=c₀ nlgn，即T(n)=Ω (nlg n)