算法导论十二章思考题12-4

如转载，请注明出处！<http://blog.csdn.net/shuimuniao>

这道题的证明过程用到了tirsling公式，也用到了生成函数的概念。扩展了求时间复杂度的方法，比较有意义。因此，认真做了这道题。

第一步证明warllis公式，

[(2m)!! / (2m-1)!!] ^ 2 / (2m+1) ~ Pi/2

第二步 证明tirsling公式，

n! ~ (2*n*Pi)^(1/2)*(n/e)^n

第三步定义数列的生成函数，

B(x) = b0 + b1*x + b2*x^2 + ...

x B(x) ^ 2 + 1 = B(x)

第四步求出生成函数，

B(x) = (1/2*x)(1-(1-4x)^(1/2))

第五步计算生成函数的级数。

B(x) = 1+ 2*x/2! + 3!! * 2^2 * x&2/3! + 5!! * 2^3 * x^3/4! + .. + 2^(n-1) * (2n-3)!! * x^(n-1)/n! + 2^n * (2n-1)!! * x^n/(n+1)! + ...

第六步，化简通项公式bn