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)。

　　类似地，左子树节点数为i时右子树有f(n-i-1)种情况，那么可以对左子树的叶子节点数之和计数，显然再乘2就是总数了。有递推式g(n)=2Σg(i)f(n-i-1) (i=0~n-1)。

　　因为递推式是卷积形式，考虑生成函数。设F(x)、G(x)分别为f(n)、g(n)的生成函数（均为无穷级数）。则有F(x)=xF²(x)+1。乘x是为了给他进一位。因为f(0)=f(1)=1，只要补上x^0位上的1就好了。解得F(x)=[1±√(1-4x)]/(2x)。其中√1-4x可以用广义二项式定理计算出来，发现其每一项都是负数，于是我们取F(x)=[1-√(1-4x)]/(2x)。

　　同样的道理，G(x)=2xF(x)G(x)+x。因为g(0)=0，g(1)=1，进一位后需要补上x^1位上的1。解得G(x)=x/√(1-4x)。

　　有了生成函数我们可以暴推原数列了。

　　即g(n)=C(-1/2,n-1)·(-4)ⁿ^-1。这个式子得化的更好看一点。不妨展开组合数。

　　则C(-1/2,n)=(2n)!/(2ⁿ·n!)·(-1/2)ⁿ/n!=(-1/4)ⁿ·(2n)!/n!/n!=(-1/4)ⁿ·C(2n,n)。

　　g(n)=(-1/4)^n-1·C(2n-2,n-1)·(-4)^n-1=C(2n-2,n-1)。简直优美到爆炸！

　　我们知道卡特兰数的通项公式是f(n)=C(2n,n)/(n+1)。

　　那么g(n)/f(n)=[(2n-2)!/(n-1)!/(n-1)!]/[(2n)!/n!/n!/(n+1)]=n²(n+1)/(2n)/(2n-1)=n(n+1)/2(2n-1)。

　　于是一句话就做完了。

#include<iostream>
#include<cstdio>
#include<cmath>
#include<cstdlib>
#include<cstring>
#include<algorithm>
using namespace std;
int read()
{int x=0,f=1;char c=getchar();while (c<'0'||c>'9') {if (c=='-') f=-1;c=getchar();}while (c>='0'&&c<='9') x=(x<<1)+(x<<3)+(c^48),c=getchar();return x*f;
}
double n;
int main()
{
#ifndef ONLINE_JUDGEfreopen("bzoj4001.in","r",stdin);freopen("bzoj4001.out","w",stdout);const char LL[]="%I64d";
#elseconst char LL[]="%lld";
#endifn=read();printf("%.9lf",n*(n+1)/2/(2*n-1));return 0;
}

转载于:https://www.cnblogs.com/Gloid/p/9440525.html

BZOJ4001 TJOI2015概率论（生成函数+卡特兰数）相关推荐

[BZOJ4001] [TJOI2015] 概率论 [期望计数] [卡特兰数打表 / 生成函数广义二项式定理]
[Link\frak{Link}Link] 预备结论们卡特兰数 Cn=(2nn)−(2nn±1)C_n={2n\choose n}-{2n\choose n\pm1}Cn=(n2n)−(n±12 ...
BZOJ4001[TJOI2015]概率论——卡特兰数
题目描述输入输入一个正整数N,代表有根树的结点数输出输出这棵树期望的叶子节点数.要求误差小于1e-9 样例输入 1 样例输出 1.000000000 提示 1<=N<=10^9 设 ...
BZOJ4001[TJOI2015]概率论（数学、期望、生成函数、卡特兰数）
题目传送:https://www.lydsy.com/JudgeOnline/problem.php?id=4001 Description Input 输入一个正整数N,代表有根树的结点数 Outp ...
P3978 [TJOI2015]概率论（生成函数）
P3978 [TJOI2015]概率论设fif_ifi表示节点数为iii的二叉树有多少,gig_igi表示节点数为iii的二叉树有多少叶子节点. fn=∑i=0n−1fifn−1−if_n = ...
[集训队作业2018] count（笛卡尔树，生成函数，卡特兰数）
传送门什么情况下两序列同构对于两序列A[1,n],B[1,n]A[1,n],B[1,n]A[1,n],B[1,n],设fA(1,n)=pa,fB(1,n)=pbf_A(1,n)=p_a,f_B(1 ...
bzoj 4001: [TJOI2015]概率论（找规律）
4001: [TJOI2015]概率论 Time Limit: 10 Sec Memory Limit: 128 MB Submit: 1033 Solved: 545 [Submit][Stat ...
洛谷 P3978 [TJOI2015]概率论
传送门题目描述为了提高智商,ZJY开始学习概率论.有一天,她想到了这样一个问题:对于一棵随机生成的n个结点的有根二叉树(所有互相不同构的形态等概率出现),它的叶子节点数的期望是多少呢? 输入格式 ...
卡特兰数通项公式详细推导过程
设法求解下面这个递归式或给出其最低上界的阶,设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) ...
卡特兰数通项公式（母函数，牛顿展开）
组合意义非常显然,经典的路径问题.这里主要讨论母函数以及牛顿展开的证明. 考虑卡特兰数的递推式,发现这是一个卷积式令f(x)f(x)f(x)为卡特兰数的生成函数可以将递推式表示为 f(x)=x∗f ...

BZOJ4001 TJOI2015概率论（生成函数+卡特兰数）

BZOJ4001 TJOI2015概率论（生成函数+卡特兰数）相关推荐

最新文章

热门文章