200+行的多项式板子题真爽啊
给定(n)个点的点值((x_i,y_i))，求这(n)个点确定的(n-1)次多项式
(nle 10^5)
前置知识：
首先我们有一个(n^2)的拉格朗日插值法
[f(x)=sumlimits_{i=1}^{n}y_iprodlimits_{i
e j}frac{x-x_j}{x_i-x_j}
]
然后我们学习一个WC2017挑战就过了
考虑优化，我们知道这个形式它很死，把它变成重心插值
[f(x)=sumlimits_{i=1}^{n}frac{y_i}{prodlimits_{i
e j}x_i-x_j}prodlimits_{i
e j}(x-x_j)
]
发现除了一个常数(y_i)剩下的就是(prodlimits_{i e j}(x-x_i))的形式了，我们设它为(g(x))
那么前面那一项的分母可以表示为(frac{g(x)}{x-x_i}(x=x_i))
发现(x=x_i)时分子分母都是(0)
根据洛必达法则
[limlimits_{x→x_i}frac{g(x_i)}{x-x_i}=limlimits_{x→x_i}frac{g'(x_i)}{(x-x_i)'}=limlimits_{x→x_i}g'(x)
]
分治算出(g(x))后多点求值算出(g'(x_i))
然后拿(y_i)除一下，前一项就搞定了
[f_{l,r}=sumlimits_{i=l}^{r}frac{y_i}{g'(x_i)}prodlimits_{j=l,j
e i}^{r}(x-x_j)
]
[=prodlimits_{j=mid+1}^{r}(x-x_j)sumlimits_{i=l}^{mid}frac{y_i}{g'(x_i)}prodlimits_{j=l,j
e i}^{mid}(x-x_j)+prodlimits_{j=l}^{mid}(x-x_j)sumlimits_{i=mid+1}^{r}frac{y_i}{g'(x_i)}prodlimits_{j=mid+1,j
e i}^{r}(x-x_j)
]
[=prodlimits_{i=mid+1}^{r}(x-x_i)f_{l,mid}+prodlimits_{i=l}^{mid}(x-x_i)f_{mid+1,r}
]
[=g_{mid+1,r}f_{l,mid}+g_{l,mid}f_{mid+1,r}
]
分治求解
这板子让我再打一遍都打不出来
#include<bits/stdc++.h>
using namespace std;
namespace red{
#define int long long
#define ls(p) (p<<1)
#define rs(p) (p<<1|1)
#define eps (1e-8)
inline int read()
{
int x=0;char ch,f=1;
for(ch=getchar();(ch<'0'||ch>'9')&&ch!='-';ch=getchar());
if(ch=='-') f=0,ch=getchar();
while(ch>='0'&&ch<='9'){x=(x<<1)+(x<<3)+ch-'0';ch=getchar();}
return f?x:-x;
}
const int N=1e5+10,M=18,mod=998244353;
int n,m,tot,limit,len;
int xx[N],yy[N],val[N];
int a[N],b[N],c[N],rr[N],cc[N<<2];
int ra[N],rb[N<<2],irb[N<<2];
int f[N*M<<1],stf[N<<2],enf[N<<2];
int g[N*M<<1],stg[N<<2],eng[N<<2];
int h[N],sth[N],enh[N],f3[N];
int f1[N<<2],f2[N<<2],w[21][N<<2],pos[N<<2];
inline int fast(int x,int k)
{
int ret=1;
while(k)
{
if(k&1) ret=ret*x%mod;
x=x*x%mod;
k>>=1;
}
return ret;
}
inline int add(int x,const int &y)
{
x+=y;
return x>mod?x-mod:x;
}
inline int del(int x,const int &y)
{
x-=y;
return x<0?x+mod:x;
}
inline void init(int x)
{
limit=1,len=0;
while(limit<x) limit<<=1,++len;
for(int i=0;i<limit;++i) pos[i]=(pos[i>>1]>>1)|((i&1)<<(len-1));
}
inline void ntt(int limit,int *a,int inv)
{
for(int i=0;i<limit;++i)
if(i<pos[i]) swap(a[i],a[pos[i]]);
for(int mid=1,t=1;mid<limit;mid<<=1,++t)
{
for(int r=mid<<1,j=0;j<limit;j+=r)
{
for(int k=0;k<mid;++k)
{
int x=a[j+k],y=w[t][k]*a[j+k+mid]%mod;
a[j+k]=add(x,y);
a[j+k+mid]=del(x,y);
}
}
}
if(inv) return;
inv=fast(limit,mod-2);reverse(a+1,a+limit);
for(int i=0;i<limit;++i) a[i]=a[i]*inv%mod;
}
inline void NTT(int *a,int *b,int limit)
{
ntt(limit,a,1);ntt(limit,b,1);
for(int i=0;i<limit;++i) a[i]=a[i]*b[i]%mod;
ntt(limit,a,0);
}
inline void poly_inv(int limit,int len,int *a,int *b)
{
if(limit==1){b[0]=fast(a[0],mod-2);return;}
poly_inv(limit>>1,len-1,a,b);
for(int i=0;i<limit;++i) pos[i]=(pos[i>>1]>>1)|((i&1)<<(len-1));
for(int i=0;i<(limit>>1);++i) cc[i]=a[i];
for(int i=limit>>1;i<limit;++i) cc[i]=0;
ntt(limit,cc,1);ntt(limit,b,1);
for(int i=0;i<limit;++i) b[i]=((2-cc[i]*b[i]%mod)+mod)%mod*b[i]%mod;
ntt(limit,b,0);
for(int i=limit>>1;i<limit;++i) b[i]=0;
}
inline void make(int l,int r,int p)
{
if(l==r)
{
g[stg[p]=++tot]=mod-xx[l];
g[eng[p]=++tot]=1;
return;
}
int mid=(l+r)>>1;
make(l,mid,ls(p));
make(mid+1,r,rs(p));
int na=eng[ls(p)]-stg[ls(p)]+1;
int nb=eng[rs(p)]-stg[rs(p)]+1;
init(na+nb);
for(int i=0;i<na;i++) f1[i]=g[stg[ls(p)]+i];
for(int i=na;i<limit;i++) f1[i]=0;
for(int i=0;i<nb;i++) f2[i]=g[stg[rs(p)]+i];
for(int i=nb;i<limit;i++) f2[i]=0;
NTT(f1,f2,limit);
stg[p]=tot+1;
na+=nb-1;
for(int i=0;i<na;++i) g[++tot]=f1[i];
eng[p]=tot;
}
inline void solve(int l,int r,int p,int fa)
{
int na=enf[fa]-stf[fa],nb=eng[p]-stg[p];
if(na>=nb)
{
int nc=na-nb;
for(int i=0;i<=na;++i) a[i]=f[stf[fa]+i];
for(int i=0;i<=nb;i++) b[i]=g[stg[p]+i];
for(int i=0;i<=nc;i++) ra[i]=a[na-i];
for(int i=0;i<=nb;i++) rb[i]=b[nb-i];
for(int i=nc+1;i<=nb;i++) rb[i]=0;
init(nc*2+2);
for(int i=nb+1;i<limit;i++) rb[i]=0;
for(int i=0;i<limit;i++) irb[i]=0,f1[i]=0;
poly_inv(limit,len,rb,irb);
for(int i=0;i<=nc;i++) f1[i]=ra[i],f2[i]=irb[i];
for(int i=nc+1;i<limit;i++) f1[i]=f2[i]=0;
NTT(f1,f2,limit);
for(int i=0;i<=nc;i++) c[nc-i]=f1[i];
for(int i=nc+1;i<nb;i++) c[i]=0;
init(nb<<1);
for(int i=0;i<nb;i++) f1[i]=b[i],f2[i]=c[i];
for(int i=nb;i<limit;i++) f1[i]=0,f2[i]=0;
NTT(f1,f2,limit);
for(int i=0;i<nb;i++) rr[i]=(a[i]-f1[i]+mod)%mod;
while(nb>1 && !rr[nb-1]) nb--;
stf[p]=tot+1;
for(int i=0;i<nb;i++) f[++tot]=rr[i];
enf[p]=tot;
}
else
{
stf[p]=tot+1;
for(int i=stf[fa];i<=enf[fa];++i) f[++tot]=f[i];
enf[p]=tot;
}
if(l==r)
{
val[l]=f[stf[p]];
return;
}
int mid=(l+r)>>1;
solve(l,mid,ls(p),p);
solve(mid+1,r,rs(p),p);
}
inline void work(int l,int r,int p)
{
if(l==r) return;
int mid=(l+r)>>1;
work(l,mid,ls(p));
work(mid+1,r,rs(p));
int na=enh[l]-sth[l]+1,nb=eng[rs(p)]-stg[rs(p)]+1;
init(na+nb);
for(int i=0;i<na;i++) f1[i]=h[sth[l]+i];
for(int i=na;i<limit;i++) f1[i]=0;
for(int i=0;i<nb;i++) f2[i]=g[stg[rs(p)]+i];
for(int i=nb;i<limit;i++) f2[i]=0;
NTT(f1,f2,limit);
na+=nb-1;
for(int i=0;i<na;i++) f3[i]=f1[i];
for(int i=na;i<limit;i++) f3[i]=0;
na=enh[mid+1]-sth[mid+1]+1,nb=eng[ls(p)]-stg[ls(p)]+1;
for(int i=0;i<na;i++) f1[i]=h[sth[mid+1]+i];
for(int i=na;i<limit;i++) f1[i]=0;
for(int i=0;i<nb;i++) f2[i]=g[stg[ls(p)]+i];
for(int i=nb;i<limit;i++) f2[i]=0;
NTT(f1,f2,limit);
na+=nb-1;
for(int i=0;i<na;i++) h[sth[l]+i]=f3[i]+f1[i]>=mod?f3[i]+f1[i]-mod:f3[i]+f1[i];
enh[l]=sth[l]+na-1;
}
inline void main()
{
n=read();
for(int mid=1,t=1;mid<400000;mid<<=1,++t)
{
w[t][0]=1;int Wn=fast(3,(mod-1)/(mid<<1));
for(int k=1;k<mid;++k)
{
w[t][k]=w[t][k-1]*Wn%mod;
}
}
for(int i=1;i<=n;++i) xx[i]=read(),yy[i]=read();
make(1,n,1);
m=eng[1]-stg[1];
for(int i=0;i<=m;++i) f1[i]=g[stg[1]+i];
for(int i=0;i<m;++i) f1[i]=f1[i+1]*(i+1)%mod;
f1[m--]=0;
stf[tot=0]=1;
for(int i=0;i<=m;++i) f[enf[0]=++tot]=f1[i];
solve(1,n,1,0);
for(int i=1;i<=n;i++) val[i]=yy[i]*fast(val[i],mod-2)%mod;
tot=0;
for(int i=1;i<=n;i++)
{
sth[i]=enh[i]=++tot;
h[tot]=val[i];
}
work(1,n,1);
for(int i=0;i<n;++i) printf("%lld ",h[sth[1]+i]);
}
}
signed main()
{
red::main();
return 0;
}