• [题解] CF438E The Child and Binary Tree


    CF438E The Child and Binary Tree


    Description

    给一个大小为(n)的序列(C),保证(C)中每个元素各不相同,现在你要统计点权全在(C)中,且点权和为(m)的二叉树个数,并对(998244353)取模。

    (n,m le 10^5)

    Solution

    (998244353)?这很多项式......

    总之先颓柿子好了。

    (f_n)表示权值和为(n)的二叉树个数,(g_n)表示权值(n)是否出现在(C)中。

    那么枚举根节点的权值,然后在枚举左右儿子的权值和,即((n>0))

    [f_n = sumlimits_{i=1}^n g_i sumlimits_{j=0}^{n-i} f_jf_{n-i-j} ]

    特别的(f_0=1)

    上面的柿子非常卷积吧!

    (F(x) = sumlimits_{n=0}^{infty} f_nx^n,G(x) = sumlimits_{n=0}^{infty}g_nx^n),那么

    [F(x) = G(x)F^2(x) + 1 ]

    加一是因为(f_0=1)

    我们的目标就是把(F(x))搞出来,先移项

    [G(x)F^2(x) - F(x) + 1 = 0 ]

    然后解方程得到

    [F(x) = frac{1 pm sqrt{1-4G(x)}}{2G(x)} ]

    有两个解,咋办? 对着样例各跑一遍

    不慌,我们知道当(x=0)时,(F(x)=1)

    所以分类讨论一下

    • 取加号时,当(x o 0),楼上分子会趋于(1+1 = 2),楼下分母会趋于(0),炸了......

    • 如果取减号,楼上楼下都会趋于(0),这是我们想要的。

    所以

    [F(x) = frac{1-sqrt{1-4G(x)}}{2G(x)} ]

    没了?

    并没有......我们发现这个柿子还没有办法算出(F),因为(2G)可能是(0)

    我们取倒数再给他变一变,得到

    [F = frac{2}{1+sqrt{1-4G}} ]

    这样就非常(nice)

    因为我们只关心(f_1...f_m),所以在(mod x^{m+1})的意义下开根求逆就好了。

    #include <bits/stdc++.h>
    using namespace std;
    const int N=3e5+10,P=998244353,gen=3,igen=(P+1)/gen;
    inline int add(int x,int y){
        return x+y>=P?x+y-P:x+y;
    }
    inline int sub(int x,int y){
        return x-y<0?x-y+P:x-y;
    }
    inline int fpow(int x,int y){
        int ret=1; for (x%=P;y;y>>=1,x=1ll*x*x%P)
            if (y&1) ret=1ll*ret*x%P;
        return ret;
    }
    inline int sqr(int x){
        return 1ll*x*x%P;
    }
    namespace Poly{
        int rev[N];
        void init(int n){
            for (int i=0;i<n;i++)
                rev[i]=rev[i>>1]>>1|((i&1)?n>>1:0);
        }
        void ntt(int *f,int n,int flg){
            for (int i=0;i<n;i++) if (rev[i]<i) swap(f[i],f[rev[i]]);
            for (int k=1,len=2;len<=n;len<<=1,k<<=1){
                int wn=fpow(flg==1?gen:igen,(P-1)/len);
                for (int i=0;i<n;i+=len){
                    for (int w=1,j=i;j<i+k;j++,w=1ll*w*wn%P){
                        int tmp=1ll*w*f[j+k]%P;
                        f[j+k]=sub(f[j],tmp),f[j]=add(f[j],tmp);
                    }
                }
            }
            if (flg==-1){
                int inv=fpow(n,P-2);
                for (int i=0;i<n;i++) f[i]=1ll*f[i]*inv%P;
            }
        }
        void getinv(int *f,int n,int *G){
            if (n==1){G[0]=fpow(f[0],P-2);return;}
            getinv(f,(n+1)>>1,G); static int F[N];
            int limit=1; while(limit<=2*n)limit<<=1; init(limit);
            for (int i=0;i<limit;i++) F[i]=i>=n?0:f[i],G[i]=i>=n?0:G[i];
            ntt(F,limit,1),ntt(G,limit,1);
            for (int i=0;i<limit;i++) G[i]=1ll*G[i]*sub(2,1ll*F[i]*G[i]%P)%P;
            ntt(G,limit,-1);
            for (int i=n;i<limit;i++) G[i]=0;		
        }
        void getsqrt(int *f,int n,int *G){
            if (n==1){G[0]=1;return;}
            getsqrt(f,(n+1)>>1,G);
            int limit=1; while(limit<=n*2)limit<<=1; init(limit);
            static int F[N],H[N],iH[N];
            for (int i=0;i<limit;i++)
                G[i]=i>=n?0:G[i],F[i]=i>=n?0:f[i],H[i]=i>=n?0:2ll*G[i]%P;
            getinv(H,n,iH);
            ntt(F,limit,1),ntt(iH,limit,1),ntt(G,limit,1);
            for (int i=0;i<limit;i++) G[i]=1ll*add(F[i],sqr(G[i]))*iH[i]%P;
            ntt(G,limit,-1);
            for (int i=n;i<limit;i++) G[i]=0;		
        }
    }
    int n,m,g[N],f[N],sqg[N];
    int main(){
        scanf("%d%d",&n,&m);
        for (int i=0,c;i<n;i++) scanf("%d",&c),g[c]=1;
        for (int i=1;i<=m;i++) g[i]=sub(P,4ll*g[i]%P);
        g[0]=1;
        Poly::getsqrt(g,m+1,sqg);
        sqg[0]++;
        Poly::getinv(sqg,m+1,f);
        for (int i=1;i<=m;i++) printf("%d
    ",2ll*f[i]%P);
        return 0;
    }
    
  • 相关阅读:
    八、urllib库的基本使用
    七、Requests库
    六、HTTP和HTTPS(爬虫部分)
    Mongodb
    Redis入门
    Vs code使用经验(变得越来越好用)
    安装virutalenv和virtualenvwrapper
    selenium.common.exceptions.WebDriverException: Message: 'chromedriver' executable needs to be in PATH
    8.依赖的传递、排除、冲突
    7.maven配置文件中<scope>的6种配置属性解释(源自官方文档) -- 依赖的范围
  • 原文地址:https://www.cnblogs.com/wxq1229/p/12264091.html
Copyright © 2020-2023  润新知