卡特兰数通项公式(母函数,牛顿展开)
组合意义非常显然,经典的路径问题。这里主要讨论母函数以及牛顿展开的证明。
考虑卡特兰数的递推式,发现这是一个卷积式
令f(x)f(x)f(x)为卡特兰数的生成函数
可以将递推式表示为
f(x)=x∗f(x)2+1f(x)=x*f(x)^2+1 f(x)=x∗f(x)2+1
解得
f(x)=1±1−4x2xf(x)=\frac{1\pm\sqrt{1-4x}}{2x} f(x)=2x1±1−4x
±\pm±号怎么取?
考虑x=0x=0x=0的时候,取正号显然不合法(卡特兰数第一项)
故卡特兰数的生成函数为
f(x)=1−1−4x2xf(x)=\frac{1-\sqrt{1-4x}}{2x} f(x)=2x1−1−4x
将1−4x\sqrt{1-4x}1−4x用牛顿二项式展开
(1−4x)12=∑k=0∞(12k)(−4x)k(1-4x)^{\frac{1}{2}}=\sum_{k=0}^\infty{\frac{1}{2} \choose k}(-4x)^k(1−4x)21=k=0∑∞(k21)(−4x)k
考虑把(12k){\frac{1}{2} \choose k}(k21)展开
(12k)=(12)(−12)(−32)...(32−k)k!=(−1)k2k∗k!∏i=1k(2i−3)∏i=1k(2i−3)=(−1)∗1∗3∗5∗...∗(2k−3)=(−1)∗(2k−2)!2∗4∗6∗...(2k−2)=(−1)∗(2k−2)!2k−1∗(k−1)!{\frac{1}{2} \choose k} = \frac{(\frac{1}{2})(-\frac{1}{2})(-\frac{3}{2})...(\frac{3}{2}-k)}{k!}\\ =\frac{(-1)^{k}}{2^k*k!}\prod_{i=1}^k(2i-3)\\ \prod_{i=1}^k(2i-3)=(-1)*1*3*5*...*(2k-3)\\ =\frac{(-1)*(2k-2)!}{2*4*6*...(2k-2)} =\frac{(-1)*(2k-2)!}{2^{k-1}*(k-1)!} (k21)=k!(21)(−21)(−23)...(23−k)=2k∗k!(−1)ki=1∏k(2i−3)i=1∏k(2i−3)=(−1)∗1∗3∗5∗...∗(2k−3)=2∗4∗6∗...(2k−2)(−1)∗(2k−2)!=2k−1∗(k−1)!(−1)∗(2k−2)!
带入原式,得到(这里忽略了k=0k=0k=0的边界)
1−∑k=1∞(−1)k−1(2k−2)!(−4x)k22k−1∗k!∗(k−1)!=∑k=1∞2∗(2k−2)!k!(k−1)!xk=∑k=1∞2k(2k−2k−1)xk1-\sum_{k=1}^\infty\frac{(-1)^{k-1}(2k-2)!(-4x)^k}{2^{2k-1}*k!*(k-1)!}\\ =\sum_{k=1}^\infty \frac{2*(2k-2)!}{k!(k-1)!}x^k\\ =\sum_{k=1}^\infty\frac{2}{k}{2k-2 \choose k-1}x^k 1−k=1∑∞22k−1∗k!∗(k−1)!(−1)k−1(2k−2)!(−4x)k=k=1∑∞k!(k−1)!2∗(2k−2)!xk=k=1∑∞k2(k−12k−2)xk
最后除以2x2x2x(左移)
得到
f(x)=∑k1k+1(2kk)xkf(x)=\sum_k \frac{1}{k+1} {2k\choose k}x^k f(x)=k∑k+11(k2k)xk
以上就是卡特兰数的推导过程
卡特兰数通项公式(母函数,牛顿展开)相关推荐
- 卡特兰数通项公式详细推导过程
设法求解下面这个递归式或给出其最低上界的阶,设P(1)=1P(1)=1P(1)=1 P(n)=∑k=1n−1P(k)P(n−k)P(n)=\sum^{n-1}_{k=1}P(k)P(n-k) P(n) ...
- 专辑:Catalan number 卡特兰数(卡塔兰数)
概念 卡特兰数序列:1,1,2,5,14,42,132,429,1430,4862,16796...1, 1, 2, 5, 14, 42, 132, 429, 1430, 4862, 16796... ...
- Nowcoder 5477E. 弦(卡特兰数、组合数学)
题目描述: 给定一个圆,圆上有2N个互不重叠的点.每次操作随机选择两个先前未选择过的点连一条弦,共连成N条弦,求所有弦不交的概率. 输入描述: 一行,只有一个整数N(1≤N≤10^7). 输出描述: ...
- 2017百度之星程序设计大赛 - 资格赛【1001 Floyd求最小环 1002 歪解(并查集),1003 完全背包 1004 01背包 1005 打表找规律+卡特兰数】...
度度熊保护村庄 Accepts: 13 Submissions: 488 Time Limit: 2000/1000 MS (Java/Others) Memory Limit: 32768/3276 ...
- 卡特兰数相关及通项公式简单证明
卡特兰数有两个递推公式,两个通项公式(或者说是一个): 规定h(0)=1h(0)=1h(0)=1, h(1)=1h(1)=1h(1)=1 hn=∑i=0n−1hihn−ih_n=\displaysty ...
- [BZOJ4001] [TJOI2015] 概率论 [期望计数] [卡特兰数打表 / 生成函数广义二项式定理]
[Link\frak{Link}Link] 预备结论们 卡特兰数 Cn=(2nn)−(2nn±1)C_n={2n\choose n}-{2n\choose n\pm1}Cn=(n2n)−(n±12 ...
- 5. 卡特兰数(Catalan)公式、证明、代码、典例.
1. 定义 卡特兰数(卡塔兰数),英文名Catalan number,是组合数学中一个常出现在各种计数问题中出现的数列. 其前几项为(从第零项开始) : C0 = 1, C1 = 1, C2 = 2, ...
- BZOJ4001 TJOI2015概率论(生成函数+卡特兰数)
设f(n)为n个节点的二叉树个数,g(n)为n个节点的二叉树的叶子数量之和.则答案为g(n)/f(n). 显然f(n)为卡特兰数.有递推式f(n)=Σf(i)f(n-i-1) (i=0~n-1). 类 ...
- 知识点 组合数学 卡特兰数
关于卡特兰数 卡特兰数是一种经典的组合数,经常出现在各种计算中,其前几项为 : 1, 2, 5, 14, 42, 132, 429, 1430, 4862, 16796, 58786, 208012, ...
最新文章
- 区块链之智能合约详解
- Android构建boot.img(二):kernel的拷贝与打包
- 公众号里面套页面_微信公众号页面模板有什么用?开通的方法是什么?
- Python常用图像处理
- DNS服务启动时卡在:Generating /etc/rndc.key:
- html语言中div的用法,htmldiv标签怎么用
- FTRL在线学习算法的前世今生-从SGD到TG再到FOBOS与RDA
- tomcat启动时报错ports are invalid,默认端口不要为-1
- linux中echo是什么意思中文,在Linux操作系统中Echo的用法
- QT 使用 qcustomplot 编译出错
- 使用计算机键盘的基本步骤,电脑如何用键盘开机_台式电脑键盘开机方法-win7之家...
- “80后”博士,晋升正厅!
- 【Java分享客栈】SpringBoot线程池参数搜一堆资料还是不会配,我花一天测试换你此生明白。
- 用C语言根据出生年月日判断年龄
- git pull指令报错:error: You have not concluded your merge (MERGE_HEAD exists).
- 中国不是没有根服务器吗?《流浪地球2》的根服务器怎么在北京?
- python基础——文件与IO
- js 中有endswith_函数 ENDSWITH()函数 - 闪电教程JSRUN
- mysql锁表原因及解决
- typedef 用法详解