• LOJ6703 小Q的序列


    这种题对所谓 数理基础 或者 基本功 的要求还是非常高的、

    网上找的其它这题非多点求值做法的题解都存在跳步,跳步,跳步和符号不明确等问题,博主希望这篇博客对你有所帮助

    Description

    定义一个长度为 \(n\) 的序列 \(\{a\}\) 的价值为 \(\prod _{i=1}^n(a_i+i)\)

    给定长度为 \(N\) 的正整数序列 \(\{a\}\),求其所有非空子序列的权值之和

    \(N\le 10^5\)

    Solution

    考虑最基本的 \(\rm f_{i,j}\) 表示前 \(i\) 个数,当前子序列选择了 \(j\) 个数字,转移是容易的

    \(j\) 变成当前子序列选择了 \(i-j\) 个数字就能得到:

    \[f_{i,j}=(a_i+(i-j))f_{i-1,j}+f_{i-1,j-1} \]

    由于在求导操作中可以让 \(f_{i-1,j}\)\(j\) 那么再平移就又贡献给 \(f_{i,j}\) 了,这时候我们就写成 \(\rm OGF\) 形式的转移了

    \[F_i(x)=(a_i+x+i)F_{i-1}(x)-xF_{i-1}'(x) \]

    a[i]+=i,那么 \(F_n(x)=\prod_{i=1}^n (a_i+x-\frac{d}{dx}x)\),其中的 \(\frac d{dx}\) 表示导函数,这里也就是先求导再平移系数

    答案就是这个函数的系数之和,但是现在没法做

    \(G(x)=\prod_{i=1}^n x+a_i\),这时将 \(x-\frac{d}{dx}x\) 作为变量带入 \(G(x)\) 发现这系数之和好像还是答案!

    因为 \((x-\frac d{dx}x)^i\) 的系数恰好是由 \(n-i\)\(a_i\) 乘起来的,也就是说 \(x+a_i\) 中的 \(x\) 在这里起到了占位的效果

    也就是说 \(F_n(x)\) 与多项式 \(\sum_{i=0}[x^i]G(x) \ (x-\frac d{dx}x)^i\) 是等价的,那么系数之和也必然是相同的

    这时候答案变成了 \((x-\frac d{dx}x)^i\) 的各项系数之和乘 \([x^i]G(x)\) 再求和减去空集,那么只剩下 \((x-\frac d{dx}x)^i\) 需要考察了,如果 \(\rm DP\) 求系数的话式子还是很好看的:

    \[g_{i,j}=g_{i-1,j-1}+g_{i-1,j}\times(-j) \]

    这是第二类斯特林数递推式变了一下符号,使用组合意义:原来的组每加一个元素就要将所有贡献取反,所以在 \(\begin{Bmatrix}n\\ m\end{Bmatrix}\)\(n-m\) 个元素拿来进行取反操作了,那么在系数中直接乘 \((-1)^{n-m}\) 就可以得到了 \(g\)\(\rm EGF\)

    \[G_k(x)=\sum_{i=0}^k \begin{Bmatrix}k\\i\end{Bmatrix} (-1)^{k-i}\frac{x^i}{i!} \]

    这时候需求变成了求对于所有 \(k\in [1,n],G_k(x)\) 的系数和,形式化而言,对于特定的 \(k\) 就是求 \([x^k]H(x)\),其中

    \[H(x)=\sum_{i=0}^{+\infty}\sum_{k=i}^{+\infty} \begin{Bmatrix}k\\i\end{Bmatrix} (-1)^{k-i} \frac{x^k}{k!} \]

    注意这里是 \(\frac {x^{k}}{k!}\),即变成了行和,而不是机械将 \(G_i(x)\) 求和,这就很清晰了:

    \[\begin{aligned}H(x)&=\sum_{k=0}^{+\infty}(-1)^{-k}\sum_{i=0}^{+\infty}\begin{Bmatrix}i\\k\end{Bmatrix}\frac{(-x)^i}{i!}\\ &=\sum_{k=0}^{+\infty}(-1)^{k}\frac{1}{k!}\sum_{i=0}^{+\infty}\sum_{j=0}^k(-1)^{k-j}\binom kj j^i\frac{(-x)^i}{i!}\\ &=\sum_{k=0}^{+\infty}(-1)^{k}\frac{1}{k!}\sum_{j=0}^k\binom kj (-1)^{k-j}\sum_{i=0}^{+\infty}j^i\frac{(-x)^i}{i!}\\ &=\sum_{k=0}^{+\infty}(-1)^{k}\frac{1}{k!}\sum_{j=0}^k\binom kj (-1)^{k-j}e^{-jx}\\ &=\sum_{k=0}^{+\infty}(-1)^k\frac{(e^{-x}-1)^k}{k!}\\ &=\sum_{k=0}^{+\infty}\frac{(1-e^{-x})^k}{k!}\\ &=e^{1-e^{-x}} \end{aligned}\]

    这都是基础第二类斯特林数的运用和泰勒展开模板,不再赘述,其实这就是一列第二类斯特林数的 \(\rm EGF\) 的变式


    这题还可以加强到求解每个特定长度的序列价值之和,回到最初转换下标之后的 \(\rm DP\),给两边乘 \(e^{-x}\),根据 \((uv)'=u'v+v'u\) 就可以得到

    记得 \((e^{-x})'=-e^{-x}\)

    \[F_{i}(x)e^{-x}=x(F_{i-1}(x)e^{-x})'+b_iF_{i-1}e^{-x} \]

    后面对着 \(F_i(x)e^{-x}\) 转移,编式子很容易,最后是一个对 \(G(x)=e^x\prod_{i=1}^n(x+b_i)\) 的多点求值,复杂度是大常数 \(\log^2\) 但是简洁得令人难以想象

    据说这是 djq 主打的戴项式的入门题,恐怖如斯!

    Code

    使用了多项式 \(\rm Exp\) 和分治乘法,复杂度 \(\Theta(n\log^2n)\)

    const int N=6e5+10;
    int r[N],W[N],n,fac[N],ifac[N],inv[N],a[N];
    inline void NTT(vector<int> &f,int lim,int opt){
        f.resize(lim);
        for(int i=0;i<lim;++i){
            r[i]=r[i>>1]>>1|((i&1)?(lim>>1):0);
            if(i<r[i]) swap(f[i],f[r[i]]);
        }
        for(int p=2;p<=lim;p<<=1){
            int len=p>>1; W[0]=1;
            W[1]=ksm(3,(mod-1)/p); if(opt==-1) W[1]=ksm(W[1],mod-2);
            rep(i,2,len-1) W[i]=mul(W[i-1],W[1]);
            for(int k=0;k<lim;k+=p){
                for(int l=k;l<k+len;++l){
                    int tt=mul(W[l-k],f[l+len]);
                    f[l+len]=del(f[l],tt);
                    ckadd(f[l],tt);
                }
            }
        }
        if(opt==-1){
            int tmp=ksm(lim,mod-2);
            rep(i,0,lim-1) ckmul(f[i],tmp);
        }
        return ;
    }
    inline int C(int n,int m){
        if(n<m) return 0;
        return mul(fac[n],mul(ifac[m],ifac[n-m]));
    }
    inline vector<int> Mul(vector<int> a,vector<int> b){
        int n=a.size(),m=b.size();
        if(!m||!n) return {};
        int lim=1;
        while(lim<=(n+m)) lim<<=1;
        NTT(a,lim,1); NTT(b,lim,1);
        vector<int> F;
        rep(i,0,lim-1) F.pb(mul(a[i],b[i]));
        NTT(F,lim,-1);
        F.resize(n+m-1);
        return F;
    }
    inline vector<int> Inv(vector<int> F,int len){
        if(!len) return {};
        if(len==1) return {ksm(F[0],mod-2)};
        vector<int> G0=Inv(F,(len+1)>>1),G,H;
        int lim=1; while(lim<=(2*len)) lim<<=1;
        for(int i=0;i<len;++i) H.pb(F[i]);
        NTT(G0,lim,1); NTT(H,lim,1);
        rep(i,0,lim-1) G.pb(del(add(G0[i],G0[i]),mul(G0[i],mul(G0[i],H[i]))));
        NTT(G,lim,-1);
        rep(i,len,lim-1) G[i]=0; G.resize(len);
        return G;
    }
    inline poly integ(poly F){
        if(!F.size()) return {};
        int siz=F.size(); F.pb(mul(inv[siz],F.back()));
        for(int i=siz-1;i>0;--i) F[i]=mul(inv[i],F[i-1]);
        F[0]=0;
        return F;
    }
    inline poly deriv(poly F){
        int siz=F.size();
        for(int i=1;i<siz;++i) F[i-1]=mul(i,F[i]);
        F.pop_back();
        return F;
    }
    inline void output(poly a){
        for(auto t:a) print(t);
        puts("");
    }
    inline vector<int> Ln(vector<int> F,int len){
        vector<int> tmp1=Inv(F,len),tmp2=deriv(F),G;
        int lim=1; while(lim<=(len<<1)) lim<<=1;
        NTT(tmp1,lim,1); NTT(tmp2,lim,1);
        for(int i=0;i<lim;++i) G.pb(mul(tmp1[i],tmp2[i]));
        NTT(G,lim,-1);
        G=integ(G);
        G.resize(len);
        return G;
    }
    inline vector<int> Exp(vector<int> F,int len){
        if(len==1) return {1};
        vector<int> G0=Exp(F,(len+1)>>1); G0.resize(len);
        vector<int> ln=Ln(G0,len);
        vector<int> G;
        for(auto &t:ln) t=del(0,t);
        if(!ln.size()) ln.pb(1); else ckadd(ln[0],1);
        ln.resize(len);
        rep(i,0,len-1) ckadd(ln[i],F[i]);
        int lim=1; while(lim<=(len<<1)) lim<<=1;
        NTT(ln,lim,1); NTT(G0,lim,1);
        rep(i,0,lim-1) G.pb(mul(G0[i],ln[i]));
        NTT(G,lim,-1);
        G.resize(len);
        return G;
    }
    inline poly solve(int l,int r){
        if(l==r) return {a[l]+l,1}; int mid=(l+r)>>1;
        return Mul(solve(l,mid),solve(mid+1,r));
    }
    signed main(){
        n=6e5; fac[0]=inv[0]=1; rep(i,1,n) fac[i]=mul(fac[i-1],i);
        ifac[n]=ksm(fac[n],mod-2);
        Down(i,n,1) ifac[i-1]=mul(ifac[i],i),inv[i]=mul(ifac[i],fac[i-1]);
        n=read(); 
        rep(i,1,n) a[i]=read();
        poly r1=solve(1,n);
        poly ee; ee.resize(n+1);
        for(int i=0;i<=n;++i){
            if(i&1) ee[i]=ifac[i];
            else ee[i]=mod-ifac[i];
        }
        ckadd(ee[0],1);
        ee=Exp(ee,n+1);
        int ans=0;
        rep(i,0,n) ckadd(ans,mul(fac[i],mul(r1[i],ee[i])));
        print(del(ans,1));
        return 0;
    }
    
  • 相关阅读:
    [转]在SQL Server中,关于with as使用介绍
    系统设计笔记【不断更新中】
    关于PHPZend framework2 框架 学习过程。 阅前须知: ZF2中的配置文件是可以静态文件配置来注册和通过相关函数动态注册。 1.EventManager(事件驱动),关于事件驱动,在ZF2相关资料没有详细说明,可以参考ANDROID的事件驱动,MFC的消息响应/事件驱动。
    http://www.mwop.net/blog/248IntroducingtheZF2PluginBroker.html
    Introducing AkrabatSession zf2
    http://127.0.0.1/loginapi/JsonPacket/example/loginrequestdemo.php
    if ($this>getRequest()>isPost()) {
    email
    Quenz_i997_PDA_CHS.rar
    http://team.aiitec.net/?c=inbox
  • 原文地址:https://www.cnblogs.com/yspm/p/15748086.html
Copyright © 2020-2023  润新知