bzoj 3684: 大朋友和多叉树 生成函数

       关于生成函数，可以见金策爷的课件。

       设F为多叉树的生成函数，第n项表示根权值为n时的方案数；C为儿子的生成函数，那么有：

       F(x)=Σi∈(S)F(x)^i+x，也就是F(x)=C(F(x))+x，移项得到F(x)-C(F(x))=x，那么令G(x)=x-C(x)，就有：G(F(x))=x，因此F(x)是G(x)的复合逆。然后运用拉格朗日反演：

       [x^n]F(x)=1/n(x^(n-1))(x/G(x))^n。。证明课件里面也没有讲QAQ。

       就变成求逆和求多项式的n次了。。。前面的用多项式求逆，后面的可以拆成epx(ln(x/G(x))*n)，具体课件里有。

       然后就变成抄代码时间辣T_T。

AC代码如下：

#include<iostream>
#include<cstdio>
#include<cstring>
#define ll long long
#define mod 950009857
#define N 270005
using namespace std;

int f[N],g[N],c[N],h[N],q[N],inv[N],pos[N],na[N];
int ksm(int x,int y){
	int t=1; for (; y; y>>=1,x=(ll)x*x%mod) if (y&1) t=(ll)t*x%mod;
	return t;
}
void getpos(int n){
	int cnt=0,i,j,k;
	for (k=1; k<n; k<<=1) cnt++;
	for (i=0; i<n; i++){
		k=i; pos[i]=0;
		for (j=1; j<=cnt; j++,k>>=1) pos[i]=pos[i]<<1|(k&1);
	}
}
void fnt(int *a,int n,int p){
	int i,j,k,w,wn,u,v;
	//for (i=0; i<n; i++) cout<<a[i]<<' '; puts("");
	for (i=0; i<n; i++) na[pos[i]]=a[i]; memcpy(a,na,sizeof(a[0])*n);
	for (k=1; k<n; k<<=1){
		wn=ksm(7,(ll)((mod-1)>>1)/k*p%(mod-1));
		for (i=0; i<n; i+=(k<<1)){
			w=1;
			for (j=i; j<i+k; j++,w=(ll)w*wn%mod){
				u=a[j]; v=(ll)a[j+k]*w%mod;
				a[j]=(u+v)%mod; a[j+k]=(u+mod-v)%mod;
			}
		}
	}
	//for (i=0; i<n; i++) cout<<a[i]<<' ';puts("");puts("");
	if (p+2==mod)
		for (i=0; i<n; i++) a[i]=(ll)a[i]*inv[n]%mod;
}
void solve_inv(int *a,int *b,int n){
	if (n==1){ b[0]=ksm(a[0],mod-2); return; }
	solve_inv(a,b,n>>1); int i;
	memcpy(c,a,sizeof(a[0])*n); memset(c+n,0,sizeof(c[0])*n);
	getpos(n<<1);
	fnt(b,n<<1,1); fnt(c,n<<1,1);
	for (i=0; i<(n<<1); i++) b[i]=(ll)b[i]*(2-(ll)b[i]*c[i]%mod+mod)%mod;
	fnt(b,n<<1,mod-2); memset(b+n,0,sizeof(b[0])*n);
}
void solve_ln(int *a,int *b,int n){
	memset(q,0,sizeof(q[0])*(n<<1)); solve_inv(a,q,n);
	memset(c,0,sizeof(c[0])*(n<<1)); int i;
	for (i=0; i+1<n; i++) c[i]=(ll)a[i+1]*(i+1)%mod;
	getpos(n<<1);
	fnt(q,n<<1,1); fnt(c,n<<1,1);
	for (i=0; i<(n<<1); i++) b[i]=(ll)q[i]*c[i]%mod;
	fnt(b,n<<1,mod-2);
	for (i=n-1; i; i--) b[i]=(ll)b[i-1]*inv[i]%mod; b[0]=0;
	memset(b+n,0,sizeof(b[0])*n);
}
void solve_exp(int *a,int *b,int n){
	if (n==1){ b[0]=1; return; }
	solve_exp(a,b,n>>1); int i;
	memset(h,0,sizeof(h[0])*(n<<1)); solve_ln(b,h,n);
	for (i=0; i<n; i++) h[i]=(a[i]-h[i]+mod)%mod; h[0]=(h[0]+1)%mod;
	getpos(n<<1);
	fnt(b,n<<1,1); fnt(h,n<<1,1);
	for (i=0; i<(n<<1); i++) b[i]=(ll)b[i]*h[i]%mod;
	fnt(b,n<<1,mod-2); memset(b+n,0,sizeof(b[0])*n);
}
int main(){
	int i,x,n,len,m; scanf("%d%d",&len,&m);
	for (i=1; i<=m; i++){
		scanf("%d",&x); f[x-1]=mod-1;
	}
	f[0]=inv[1]=n=1;
	while (n<=len) n<<=1;
	for (i=2; i<=(n<<1); i++) inv[i]=mod-(ll)inv[mod%i]*(mod/i)%mod;
	solve_inv(f,g,n);
	memset(f,0,sizeof(f)); solve_ln(g,f,n);
	for (i=0; i<n; i++) f[i]=(ll)f[i]*len%mod;
	memset(g,0,sizeof(g)); solve_exp(f,g,n);
	printf("%d\n",(ll)g[len-1]*ksm(len,mod-2)%mod);
	return 0;
}

by lych

2016.4.17