BZOJ 3453 - tyvj 1858 XLkxc(插值+推式子)
阅读原文时间:2023年07月08日阅读:1

题面传送门

首先根据我们刚学插值时学的理论知识,\(f(i)\) 是关于 \(i\) 的 \(k+1\) 次多项式。而 \(g(x)\) 是 \(f(x)\) 的前缀和,根据有限微积分那一套理论,\(g(x)\) 是关于 \(x\) 的 \(k+2\) 次多项式。注意到此题 \(k\) 数据范围不过 \(10^2\) 级别,因此我们可以考虑把 \(g\) 多项式的系数插出来。我们代入 \(k+3\) 个点值 \(1,2,3,\cdots,k+3\),预处理出 \(\prod\limits_{i=1}^{k+3}(x-i)\),这样每次相当于多项式除以二项式,可以 \(\Theta(k)\) 地计算除法运算的结果,这样我们可以在 \(\Theta(k^2)\) 的时间内计算出 \(g(x)\) 的系数。不妨设 \(g(x)=\sum\limits_{i=0}^{k+2}b_ix^i\)

下面开始推式子:

\[\begin{aligned}
ans&=\sum\limits_{i=0}^ng(a+id)\\
&=\sum\limits_{i=0}^n\sum\limits_{j=0}^{k+2}b_j(a+id)^j\\
&=\sum\limits_{j=0}^{k+2}b_j\sum\limits_{i=0}^n\sum\limits_{l=0}^ja^l(id)^{j-l}\dbinom{j}{l}\\
&=\sum\limits_{j=0}^{k+2}b_j\sum\limits_{l=0}^ja^ld^{j-l}\dbinom{j}{l}\sum\limits_{i=0}^ni^{j-l}
\end{aligned}
\]

后面一个 \(\sum\) 里的东西可以插值求出。注意本质不同的 \(j-l\) 只有 \(k+3\) 个,因此只用插 \(k+3\) 次值,总复杂度 \(\Theta(k^2)\)

const int MAXN=126;
int k,a,n,d;
int qpow(int x,int e){
    int ret=1;
    for(;e;e>>=1,x=1ll*x*x%MOD) if(e&1) ret=1ll*ret*x%MOD;
    return ret;
}
int fac[MAXN+5],ifac[MAXN+5];
void init_fac(int n){
    for(int i=(fac[0]=ifac[0]=ifac[1]=1)+1;i<=n;i++) ifac[i]=1ll*ifac[MOD%i]*(MOD-MOD/i)%MOD;
    for(int i=1;i<=n;i++) fac[i]=1ll*fac[i-1]*i%MOD,ifac[i]=1ll*ifac[i-1]*ifac[i]%MOD;
}
int binom(int n,int k){return 1ll*fac[n]*ifac[k]%MOD*ifac[n-k]%MOD;}
int sum[MAXN+5],pre[MAXN+5],suf[MAXN+5],b[MAXN+5],s[MAXN+5];
int calc_sum(int n,int k){//\sum\limits_{i=0}^ni^k
    if(!k) return n+1;
    for(int i=1;i<=k+2;i++) sum[i]=(0ll+sum[i-1]+qpow(i,k))%MOD;
    pre[0]=suf[k+3]=1;int res=0;
    for(int i=1;i<=k+2;i++) pre[i]=1ll*pre[i-1]*(n-i+MOD)%MOD;
    for(int i=k+2;i;i--) suf[i]=1ll*suf[i+1]*(n-i+MOD)%MOD;
    for(int i=1;i<=k+2;i++){
        int coef=1ll*pre[i-1]*suf[i+1]%MOD;
        coef=1ll*coef*ifac[k+2-i]%MOD*ifac[i-1]%MOD;
        if((k+2-i)&1) coef=MOD-coef;
        res=(0ll+res+1ll*coef*sum[i])%MOD;
    } return res;
}
int ff[MAXN+5];
void add(int v){
    static int tmp[MAXN+5];memset(tmp,0,sizeof(tmp));
    for(int i=0;i<=k+3;i++) tmp[i]=(0ll+((!i)?0:ff[i-1])-1ll*ff[i]*v%MOD+MOD)%MOD;
    for(int i=0;i<=k+3;i++) ff[i]=tmp[i];
}
void div(int v){
    static int tmp[MAXN+5];
    memset(tmp,0,sizeof(tmp));
    int iv=qpow(MOD-v,MOD-2);
    for(int i=0;i<=k+3;i++){
        tmp[i]=(0ll+ff[i]-((!i)?0:tmp[i-1])+MOD)%MOD;
        tmp[i]=1ll*tmp[i]*iv%MOD;
    }
    for(int i=0;i<=k+3;i++) ff[i]=tmp[i];
//    for(int i=0;i<=k+3;i++) printf("%d%c",ff[i]," \n"[i==k+3]);
}
void calc_b(){
    memset(b,0,sizeof(b));
    for(int i=1;i<=k+3;i++) sum[i]=(0ll+sum[i-1]+qpow(i,k))%MOD;
    for(int i=1;i<=k+3;i++) sum[i]=(0ll+sum[i-1]+sum[i])%MOD;
    memset(ff,0,sizeof(ff));ff[0]=1;
    for(int i=1;i<=k+3;i++) add(i);
//    for(int i=0;i<=k+3;i++) printf("%d%c",ff[i]," \n"[i==k+3]);
    for(int i=1;i<=k+3;i++){
        div(i);int mul=1;
        for(int j=1;j<=k+3;j++) if(i^j) mul=1ll*mul*(i-j+MOD)%MOD;
        mul=1ll*qpow(mul,MOD-2)*sum[i]%MOD;
        for(int j=0;j<=k+2;j++) b[j]=(0ll+b[j]+1ll*ff[j]*mul%MOD)%MOD;
        add(i);
    }
}
void solve(){
    scanf("%d%d%d%d",&k,&a,&n,&d);calc_b();int ans=0;
//    for(int i=0;i<=k+2;i++) printf("%d%c",b[i]," \n"[i==k+2]);
    for(int j=0;j<=k+2;j++) s[j]=calc_sum(n,j);
    for(int j=0;j<=k+2;j++) for(int l=0;l<=j;l++){
        int coef=1ll*b[j]*binom(j,l)%MOD*qpow(a,l)%MOD*qpow(d,j-l)%MOD;
        ans=(0ll+ans+1ll*coef*s[j-l]%MOD)%MOD;
    } printf("%d\n",ans);
}
int main(){
    init_fac(MAXN);
    int qu;scanf("%d",&qu);while(qu--) solve();
    return 0;
}
/*
1
2 5 2 5
6755
*/