【模板】【洛谷5408】第一类斯特林数·行（倍增）（NTT）

传送门

---

题解：

首先我们设第一类斯特林数生成函数为$F_n(x)={\sum }_{i=0}^n{s}_{n,i}{x}^i=x^{\bar{n}}$

则对于奇数的$n$，可以直接递归处理$F_{n-1}$，然后$O(n)$乘上一个一次多项式。

对于偶数的$n$，可以处理出$F_{n/2}$，现在假设已经求出了$F_n$，考虑怎么得到$F_{2n}$。

$$\begin{gathered} F_n=x^{\bar{n}} \\ {F}_{2n}=x^{\overline{2n}}=x^{\bar{n}}\cdot (x+n{)}^{\bar{n}} \end{gathered}$$

现在需要支持快速求出$f(x+k)$的系数表达。

考虑暴力二项式展开：
$$\begin{array}{rlrl}f(x+k)& =& & \sum _{i=0}^n{a}_i(x+k{)}^i\\ & =& & \sum _{i=0}^n{a}_i\sum _{j=0}^i\left(\genfrac{}{}{0ex}{}{i}{j}\right)x^j{k}^{i-j}\\ & =& & \sum _{j=0}^n\frac{x^j}{j!}\sum _{i=j}^n{a}_i\cdot i!\cdot \frac{k^{i-j}}{(i-j)!}\end{array}$$

发现后面的系数是一个卷积形式，直接做就行了。

复杂度$T(n)=T(\frac{n}{2})+O(n\log n)=O(n\log n)$

---

代码：

#include<bits/stdc++.h>
#define ll long long
#define re register
#define cs const

using std::cerr;
using std::cout;

cs int mod=167772161;
inline int add(int a,int b){return (a+=b)>=mod?a-mod:a;}
inline int dec(int a,int b){return (a-=b)<0?a+mod:a;}
inline int mul(int a,int b){static ll r;r=(ll)a*b;return r>=mod?r%mod:r;}
inline int power(int a,int b,int res=1){
	for(;b;b>>=1,a=mul(a,a))(b&1)&&(res=mul(res,a));
	return res;
}
inline void Inc(int &a,int b){(a+=b)>=mod?a-=mod:0;}
inline void Dec(int &a,int b){(a-=b)<0?a+=mod:0;}
inline void Mul(int &a,int b){a=mul(a,b);}

cs int bit=20,SIZE=1<<20|1;

int r[SIZE],*w[bit+1];
int fac[SIZE],ifac[SIZE];
inline void init_NTT(){
	for(int re i=1;i<=bit;++i)w[i]=new int[1<<i-1];
	int wn=power(3,mod-1>>bit);w[bit][0]=1;
	for(int re i=1;i<(1<<bit-1);++i)w[bit][i]=mul(w[bit][i-1],wn);
	for(int re i=bit-1;i;--i)
	for(int re j=0;j<(1<<i-1);++j)w[i][j]=w[i+1][j<<1];
	fac[0]=ifac[0]=fac[1]=1;
	for(int re i=2;i<SIZE;++i)fac[i]=mul(fac[i-1],i);
	ifac[SIZE-1]=power(fac[SIZE-1],mod-2);
	for(int re i=SIZE-2;i;--i)ifac[i]=mul(ifac[i+1],i+1);
}
inline void NTT(int *A,int len,int typ){
	for(int re i=0;i<len;++i)if(i<r[i])std::swap(A[i],A[r[i]]);
	for(int re i=1,d=1;i<len;i<<=1,++d)
	for(int re j=0;j<len;j+=i<<1)
	for(int re k=0;k<i;++k){
		int &t1=A[j+k],&t2=A[j+k+i],t=mul(t2,w[d][k]);
		t2=dec(t1,t),Inc(t1,t);
	}
	if(typ==-1){
		std::reverse(A+1,A+len);
		for(int re i=0,inv=power(len,mod-2);i<len;++i)
		Mul(A[i],inv);
	} 
}
inline void init_rev(int l){
	for(int re i=0;i<l;++i)r[i]=r[i>>1]>>1|((i&1)?l>>1:0);
}

int s[SIZE],b[SIZE],c[SIZE],pw[SIZE];
inline void solve(int len,int *a){
	if(len==1){a[1]=1;return ;}
	if(len&1){
		solve(len-1,a);
		for(int re i=len;i>=1;--i)a[i]=add(a[i-1],mul(a[i],len-1));
		return ;
	}
	solve(len>>1,a);
	int l2=len>>1,l=1;pw[0]=1;
	while(l<=len)l<<=1;init_rev(l);
	for(int re i=1;i<=l2;++i)pw[i]=mul(pw[i-1],l2);
	for(int re i=0;i<=l2;++i)c[i]=mul(a[i],fac[i]);
	for(int re i=0;i<=l2;++i)b[l2-i]=mul(pw[i],ifac[i]);
	memset(c+l2+1,0,sizeof(int)*(l-l2));NTT(c,l,1);
	memset(b+l2+1,0,sizeof(int)*(l-l2));NTT(b,l,1);
	for(int re i=0;i<l;++i)Mul(b[i],c[i]);NTT(b,l,-1);
	for(int re i=0;i<=l2;++i)b[i]=mul(b[i+l2],ifac[i]);
	memset(b+l2+1,0,sizeof(int)*(l-l2));NTT(b,l,1);NTT(a,l,1);
	for(int re i=0;i<l;++i)Mul(a[i],b[i]);NTT(a,l,-1);
}

signed main(){
#ifdef zxyoi
	freopen("first_stirling_row.in","r",stdin);
#endif
	init_NTT();
	int n;scanf("%d",&n);solve(n,s);
	for(int re i=0;i<=n;++i)std::cout<<s[i]<<" ";
	return 0;
}