X.拉格朗日插值2

从这题开始，拉格朗日插值就逐渐同多项式同流合污了。

我们列出式子：

\[f(m+i)=\sum\limits_{j=0}^nf(j)\prod\limits_{k\neq j}\dfrac{m+i-k}{j-k} \]

借鉴前面的思想，我们将它转成了

\[f(m+i)=\sum\limits_{j=0}^nf(j)\dfrac{\Big(\dfrac{(m+n+i)!}{(m+i-1)!\times(m+i-j)}\Big)}{j!\times(n-j)!\times(-1)^{n-j}} \]

我们将其整理一下，将只与\(i\)有关、只与\(j\)有关和与\(i,j\)都有关的项分开，就得到了

\[f(m+i)=\dfrac{(m+n+i)!}{(m+i-1)!}\times\sum\limits_{j=0}^n\dfrac{f(j)}{j!\times(n-j)!\times(-1)^{n-j}}\times\dfrac{1}{m+i-j} \]

显然\(\sum\)内部的一大坨是一个卷积的形式，可以NTT优化。

于是我们令\(F(x)=\begin{cases}\dfrac{f(x)}{x!\times(n-x)!\times(-1)^{n-x}}\ (x\leq n)\\0\ (x>n)\end{cases}\)

再令\(G(x)=\dfrac{1}{m-n+x}\)

计算\(FG\)，我们会发现\(f(m+i)=\dfrac{(m+n+i)!}{(m+i-1)!}\times(FG)(n+i)\)，可以通过暴力展开证明。

则复杂度为\(O(n\log n)\)。

代码：

#include<bits/stdc++.h>
using namespace std;
const int N=1<<20;
const int mod=998244353;
const int G=3;
int n,m,fac[N],inv[N],rev[N],f[N],g[N],all,FAC[N];
int ksm(int x,int y){
	int rt=1;
	for(;y;x=(1ll*x*x)%mod,y>>=1)if(y&1)rt=(1ll*rt*x)%mod;
	return rt;
}
void NTT(int *a,int tp,int LG){
	int lim=(1<<LG),invlim=ksm(lim,mod-2);
	for(int i=0;i<lim;i++)rev[i]=(rev[i>>1]>>1)|((i&1)<<(LG-1));
	for(int i=0;i<lim;i++)if(i<rev[i])swap(a[i],a[rev[i]]);
	for(int md=1;md<lim;md<<=1){
		int rt=ksm(G,(mod-1)/(md<<1));
		if(tp==-1)rt=ksm(rt,mod-2);
		for(int stp=md<<1,pos=0;pos<lim;pos+=stp){
			int w=1;
			for(int i=0;i<md;i++,w=(1ll*w*rt)%mod){
				int x=a[pos+i],y=(1ll*w*a[pos+md+i])%mod;
				a[pos+i]=(x+y)%mod;
				a[pos+md+i]=(x-y+mod)%mod;
			}
		}
	}
	if(tp==-1)for(int i=0;i<lim;i++)a[i]=(1ll*a[i]*invlim)%mod;
}
int A[N],B[N];
void mul(int *a,int *b,int *c,int LG){//using: Array A and B
	int lim=(1<<LG);
	for(int i=0;i<lim;i++)A[i]=B[i]=0;
	for(int i=0;i<(lim>>1);i++)A[i]=a[i],B[i]=b[i];
	NTT(A,1,LG),NTT(B,1,LG);
	for(int i=0;i<lim;i++)A[i]=1ll*A[i]*B[i]%mod;
	NTT(A,-1,LG);
	for(int i=0;i<lim;i++)c[i]=A[i];
}
int main(){
	scanf("%d%d",&n,&m),fac[0]=FAC[0]=1;
	for(int i=1;i<=n;i++)fac[i]=1ll*fac[i-1]*i%mod;
	inv[n]=ksm(fac[n],mod-2);
	for(int i=n-1;i>=0;i--)inv[i]=1ll*inv[i+1]*(i+1)%mod;
	for(int i=m;i>=m-n;i--)FAC[0]=1ll*FAC[0]*i%mod;
	for(int i=m+1;i<=m+n;i++)FAC[i-m]=1ll*FAC[i-m-1]*i%mod*ksm(i-n-1,mod-2)%mod;
//	for(int i=0;i<=n;i++)printf("%d ",FAC[i]);puts("");
	for(int i=0;i<=n;i++)scanf("%d",&f[i]),f[i]=1ll*f[i]*inv[i]%mod*inv[n-i]%mod,f[i]=((n-i)&1?(mod-f[i])%mod:f[i]);
	for(int i=0;i<=(n<<1);i++)g[i]=ksm(m-n+i,mod-2);
	while((1<<all)<=n)all++;
	mul(f,g,f,all+2);
	for(int i=0;i<=n;i++)printf("%d ",1ll*f[n+i]*FAC[i]%mod);
	return 0;
}