[BZOJ3625][CF438E]小朋友和二叉树
题面
Description
我们的小朋友很喜欢计算机科学,而且尤其喜欢二叉树。
考虑一个含有\(n\)个互异正整数的序列\(c_1,c_2,\ldots,c_n\)。如果一棵带点权的有根二叉树满足其所有顶点的权值都在集合\({c_1,c_2,\ldots,c_n}\)中,我们的小朋友就会将其称作神犇的。并且他认为,一棵带点权的树的权值,是其所有顶点权值的总和。
给出一个整数\(m\),你能对于任意的\(s(1≤s≤m)\)计算出权值为\(s\)的神犇二叉树的个数吗?请参照样例以更好的理解什么样的两棵二叉树会被视为不同的。
我们只需要知道答案关于\(998244353\)(\(7×17×223+1\),一个质数)取模后的值。
Input
第一行有\(2\)个整数\(n,m(1≤n≤10^5,1≤m≤10^5)\)。
第二行有\(n\)个用空格隔开的互异的整数\(c_1,c_2,\ldots,c_n(1≤c_i≤10^5)\)。
Output
输出\(m\)行,每行有一个整数。第\(i\)行应当含有权值恰为\(i\)的神犇二叉树的总数。请输出答案关于\(998244353\)(\(=7×17×223+1\),一个质数)取模后的结果。
Sample Input #1
2 3
1 2
Sample Output #1
1
3
9
Sample Input #2
3 10
9 4 3
Sample Output #2
0
0
1
1
0
2
4
2
6
15
Sample Input #3
5 10
13 10 6 4 15
Sample Output #3
0
0
0
1
0
1
0
2
0
5
HINT
对于第一个样例,有9个权值恰好为3的神犇二叉树:
分析
设$$v_i=\sum_{k=0}^n[c_k=i]$$
也即\(k\)在\(c\)中的出现次数(在此处只能为\(1\)或\(0\))。
设\(V(x)\)为\(v\)的生成函数:$$V(x)=\sum_{k=0}^\infty v_k x^k$$
设权值为\(i\)的神犇二叉树的个数为\(f_i\),则我们枚举根的权值和左子树的大小,可以得到一个递归式:$$f_i=\sum_{k=0}^i v_k\sum_{j=0}^{i-k}f_j f_{i-k-j}=\sum_{x+y+z=i}v_x f_y f_z$$
当\(i=0\)时,$$f_0=1$$
那么我们发现这是一个三重卷积。我们知道数列的卷积相当于生成函数的乘法,那么我们设\(f\)的生成函数\(F(x)\)为:$$F(x)=\sum_{k=0}^\infty f_k x^k$$
则我们可以得到一个关于\(F(x)\)的一元二次方程(记得要加上\(f_0=1\)时的情况):$$F(x)=V(x)F(x)^2+1$$
也即:$$V(x)F(x)^2-F(x)+1=0$$
那么我们使用二次方程求根公式得到:$$F(x)=\frac{1\pm\sqrt{1-4V(x)}}{2 V(x)}$$
那么到底哪个才是真的\(F(x)\)呢?
- 若\(F(x)=\displaystyle\frac{1+\sqrt{1-4V(x)}}{2V(x)}\):
若\(x\)趋向于零,则\(F(x)\)就会趋向于\(f_0\)的值。那么我们求\(F(x)\)在\(x\to0\)下的极限:$$\lim_{x\to0}\frac{1+\sqrt{1-4V(x)}}{2V(x)}$$
因为\(v_0=0\),所以当\(x\to0\)时\(V(x)\to0\)。则有上式相当于:$$\lim_{x\to0}\frac{1+\sqrt{1-4x}}{2x}$$
显然,由于当\(x\to0\)时有\(2x\to0\)且\(1+\sqrt{1-4x}\to2\),则有:$$\lim_{x\to0}\frac{1+\sqrt{1-4x}}{2x}=\infty$$
舍去。
- 若\(F(x)=\displaystyle\frac{1-\sqrt{1-4V(x)}}{2V(x)}\):
同理,有:$$\lim_{x\to0}\frac{1-\sqrt{1-4V(x)}}{2V(x)}=\lim_{x\to0}\frac{1-\sqrt{1-4x}}{2x}$$
我们发现当\(x\to0\)时\(1-\sqrt{1-4x}\to0\)且\(2x\to0\),则我们应用洛必达法则。分子求导可得:$$\frac{d(1-\sqrt{1-4x})}{d x}=\frac{d(1-\sqrt{1-4x})}{d(1-4x)}\frac{d(1-4x)}{d x}=-\frac{1}{2\sqrt{1-4x}}\times(-4)=\frac{2}{\sqrt{1-4x}}$$
分母求导可得:$$\frac{d(2x)}{d x}=2$$
则有:$$\lim_{x\to0}\frac{1-\sqrt{1-4x}}{2x}=\frac{\lim\limits_{x\to0}\frac{2}{\sqrt{1-4x}}}{\lim\limits_{x\to0}2}=\frac{2}{2}=1$$
符合\(f_0=1\)。
综上,有$$F(x)=\frac{1-\sqrt{1-4V(x)}}{2V(x)}$$
为了方便计算,我们构造一个平方差,上下同乘\(1+\sqrt{1-4V(x)}\):$$F(x)=\frac{\left[1-\sqrt{1-4V(x)}\right]\left[1+\sqrt{1-4V(x)}\right]}{2V(x)\left[1+\sqrt{1-4V(x)}\right]}=\frac{2}{1+\sqrt{1-4V(x)}}$$
那么我们多项式求逆+多项式求倒解决这道题。
详见https://blog.csdn.net/ez_tjy/article/details/80213166
代码
#include<iostream>
#include<cstring>
#include<cstdio>
using namespace std;
typedef long long ll;
const ll p=998244353,g=3;
int nn,n,m,r[262145];
ll inv[262146],c[262145],gn[2][262145],ans;
inline ll pow(ll a,int b){
ll ans=1;
while(b){
if(b&1)ans=ans*a%p;
a=a*a%p;
b>>=1;
}
return ans;
}
inline ll add(ll a,ll b){return a+b>p?a+b-p:a+b;}
inline ll cut(ll a,ll b){return a-b<0?a-b+p:a-b;}
void init(){
for(n=1;n<=m;n<<=1);
nn=n;
gn[0][0]=gn[1][0]=1;
gn[0][1]=pow(g,(p-1)/(n<<1));
gn[1][1]=pow(gn[0][1],p-2);
for(int i=2;i<(n<<1);i++){gn[0][i]=gn[0][i-1]*gn[0][1]%p;gn[1][i]=gn[1][i-1]*gn[1][1]%p;}
inv[1]=1;
for(int i=2;i<=(n<<1);i++)inv[i]=inv[p%i]*(p-p/i)%p;
}
void NTT(ll c[],int n,int tp=1){
for(int i=0;i<n;i++){
r[i]=(r[i>>1]>>1)|((i&1)*(n>>1));
if(i<r[i])swap(c[i],c[r[i]]);
}
for(int i=1;i<n;i<<=1){
for(int j=0;j<n;j+=(i<<1)){
for(int k=0;k<i;k++){
ll x=c[j+k],y=gn[tp!=1][nn/i*k]*c[j+k+i]%p;
c[j+k]=add(x,y);
c[j+k+i]=cut(x,y);
}
}
}
}
void INTT(ll c[],int n){
NTT(c,n,-1);
for(int i=0;i<n;i++)c[i]=c[i]*inv[n]%p;
}
void inverse(ll c[],int n=n){
static ll t[262145],tma[262145];
t[0]=pow(c[0],p-2);
for(int k=2;k<=n;k<<=1){
for(int i=0;i<(k<<1);i++)tma[i]=(i<k?c[i]:0);
for(int i=(k>>1);i<(k<<1);i++)t[i]=0;
NTT(tma,k<<1);
NTT(t,k<<1);
for(int i=0;i<(k<<1);i++)t[i]=cut(add(t[i],t[i]),t[i]*t[i]%p*tma[i]%p);
INTT(t,k<<1);
}
memcpy(c,t,sizeof(ll)*n);
}
void sqrt(ll c[],int n=n){
static ll t[262145],tma[262145],tmb[262145];
t[0]=1;
for(int k=2;k<=n;k<<=1){
for(int i=0;i<k;i++)tma[i]=add(t[i],t[i]);
inverse(tma,k);
for(int i=0;i<(k<<1);i++)tmb[i]=(i<k?c[i]:0);
NTT(tma,k<<1);
NTT(tmb,k<<1);
for(int i=0;i<(k<<1);i++){
ll tmp=tma[i];
tma[i]=t[i];
t[i]=tmp*tmb[i]%p;
}
INTT(t,k<<1);
for(int i=0;i<(k<<1);i++)t[i]=(i<k?add(t[i],tma[i]*inv[2]%p):0);
}
memcpy(c,t,sizeof(ll)*n);
}
int main(){
scanf("%d%d",&n,&m);
for(int i=1;i<=n;i++){
int x;
scanf("%d",&x);
c[x]=p-4;
}
c[0]=1;
init();
sqrt(c);
c[0]=2;
inverse(c);
for(int i=1;i<=m;i++)printf("%lld\n",add(c[i],c[i]));
}