Codeforces Round #499 (Div. 1) F. Tree

题目链接

\(\rm CodeForces\)：https://codeforces.com/contest/1010/problem/F

Solution

设\(v_i\)表示第\(i\)个点的果子数，设\(b_i=v_i-\sum_{x\in son}v_x\)，显然依题意要满足\(b_i\geqslant 0\)。

根据差分的性质我们可以得到\(\sum b_i=x\)。

假设我们硬点树上剩下了\(m\)个点，则根据插板法\(b_i\)的方案数为\(\displaystyle\binom{x+m-1}{m-1}\)。

由于\(b\)唯一确定\(v\)，所以\(v\)的方案数也是这么多。

那么我们就考虑剩下\(m\)个点的方案数。

考虑一种暴力的\(dp\)，设\(f[u][i]\)表示\(x\)子树保留了\(i\)个点(包括\(i\))的方案数，转移显然：
\[ f[u][i]=\sum_{k=1}^{i-1}f[l][k]\cdot f[r][i-1-k] \]
写成生成函数就是：
\[ F_u(x)=xF_l(x)F_r(x)+1 \]
若\(u\)只有一个儿子也同理：
\[ F_u(x)=xF_{son}(x)+1 \]
若\(u\)为叶子则：
\[ F_u(x)=x+1 \]
证明显然。

考虑这个玩意怎么优化，显然如果\(\rm NTT\)优化复杂度\(O(n^2\log n)\)，这是我们无法接受的。

我们考虑对这棵树进行轻重链剖分，那么对于一条重链上的每个点我们假设求出了非重儿子的\(F(x)\)。

那么我们对这条重链进行编号，从顶端到叶子为\(1\cdots c\)，设\(a_i=xF_{son_i}(x)\)。

那么链顶的答案就是：
\[ F_1(x)=xF_{son_1}(x)F_2(x)+1=a_1F_2(x)+1 \]
我们递归的写完所有\(c\)个：
\[ F_1(x)=a_1(a_2((\cdots(a_c+1))+1)+1)+1 \]
暴力展开就是：
\[ F_1(x)=a_1a_2\cdots a_c+a_1a_2\cdots a_{c-1}+\cdots+a_1+1 \]
这个可以分治\(\rm FFT\)解决，代码大概长这样：

void solve(int lt,int rt,vec &a,vec &b) {
    if(lt==rt) return a=b=r[lt],void();
    vec al,ar,bl,br;int mid=(lt+rt)>>1;solve(lt,mid,al,bl),solve(mid+1,rt,ar,br);
    b=poly::pmul(bl,br);a=poly::padd(poly::pmul(ar,bl),al);
} 

其中\(al,ar\)表示答案，\(bl,br\)表示区间乘积，其他的变量可以参考下下面的代码。

那么我们就解决了这个问题，因为总轻边的子树大小之和为\(O(n\log n)\)，所以总复杂度为\(O(n\log ^3n)\)。

Code

#include<bits/stdc++.h>
using namespace std;

void read(int &x) {
    x=0;int f=1;char ch=getchar();
    for(;!isdigit(ch);ch=getchar()) if(ch=='-') f=-f;
    for(;isdigit(ch);ch=getchar()) x=x*10+ch-'0';x*=f;
}
 
void print(int x) {
    if(x<0) putchar('-'),x=-x;
    if(!x) return ;print(x/10),putchar(x%10+48);
}
void write(int x) {if(!x) putchar('0');else print(x);putchar('\n');}

#define lf double
#define ll long long 

#define pii pair<int,int >
#define vec vector<int >

#define pb push_back
#define mp make_pair
#define fr first
#define sc second
#define _sz(x) ((int)x.size())

#define FOR(i,l,r) for(int i=l,i##_r=r;i<=i##_r;i++) 

const int maxn = 1<<19|10;
const int inf = 1e9;
const lf eps = 1e-8;
const int mod = 998244353;

int add(int x,int y) {return x+y>=mod?x+y-mod:x+y;}
int del(int x,int y) {return x-y<0?x-y+mod:x-y;}
int mul(int x,int y) {return 1ll*x*y-1ll*x*y/mod*mod;}

int qpow(int a,int x) {
    int res=1;
    for(;x;x>>=1,a=mul(a,a)) if(x&1) res=mul(res,a);
    return res;
}

namespace poly {
    int N,w[maxn],pos[maxn],bit,mxn,t[2][maxn];

    void init(int l) {
        for(mxn=1;mxn<=l;mxn<<=1) ;
        w[0]=1,w[1]=qpow(3,(mod-1)/mxn);
        for(int i=2;i<=mxn;i++) w[i]=mul(w[i-1],w[1]);
    }

    void ntt(int *r,int op) {
        FOR(i,1,N-1) if(pos[i]>i) swap(r[pos[i]],r[i]);
        for(int i=1,d=mxn>>1;i<N;i<<=1,d>>=1)
            for(int j=0;j<N;j+=i<<1)
                for(int k=0;k<i;k++) {
                    int x=r[j+k],y=mul(r[i+j+k],w[k*d]);
                    r[j+k]=add(x,y),r[i+j+k]=del(x,y);
                }
        if(op==-1) {
            reverse(r+1,r+N);int d=qpow(N,mod-2);
            for(int i=0;i<N;i++) r[i]=mul(r[i],d);
        }
    }

    vec pmul(vec a,vec b) {
        if(1ll*_sz(a)*_sz(b)<=5000) {
            vec c;c.resize(_sz(a)+_sz(b)-1);
            FOR(i,0,_sz(a)-1) FOR(j,0,_sz(b)-1) c[i+j]=add(c[i+j],mul(a[i],b[j]));
            return c;
        }
        for(N=1,bit=0;N<_sz(a)+_sz(b);N<<=1,bit++);
        FOR(i,0,N-1) pos[i]=pos[i>>1]>>1|((i&1)<<(bit-1));
        FOR(i,0,_sz(a)-1) t[0][i]=a[i];FOR(i,_sz(a),N) t[0][i]=0;
        FOR(i,0,_sz(b)-1) t[1][i]=b[i];FOR(i,_sz(b),N) t[1][i]=0;
        ntt(t[0],1),ntt(t[1],1);
        FOR(i,0,N-1) t[0][i]=mul(t[0][i],t[1][i]);
        ntt(t[0],-1);vec c;
        FOR(i,0,_sz(a)+_sz(b)-1) c.pb(t[0][i]);
        return c;
    }

    vec padd(vec a,vec b) {
        if(_sz(a)>_sz(b)) {FOR(i,0,_sz(b)-1) a[i]=add(a[i],b[i]);return a;}
        FOR(i,0,_sz(a)-1) b[i]=add(a[i],b[i]);return b;
    }
}

ll k;
int n,ch[maxn],head[maxn],tot,sz[maxn],F[maxn],cnt;
struct edge{int to,nxt;}e[maxn<<1];

vec f[maxn],r[maxn];

void ins(int u,int v) {e[++tot]=(edge){v,head[u]},head[u]=tot;}

void dfs(int x,int fa) {
    sz[x]=1;F[x]=fa;
    for(int i=head[x],v;i;i=e[i].nxt)
        if((v=e[i].to)!=fa) {dfs(v,x);sz[x]+=sz[v];if(sz[ch[x]]<sz[v]) ch[x]=v;}
}

void solve(int lt,int rt,vec &a,vec &b) {
    if(lt==rt) return a=b=r[lt],void();
    vec al,ar,bl,br;int mid=(lt+rt)>>1;solve(lt,mid,al,bl),solve(mid+1,rt,ar,br);
    b=poly::pmul(bl,br);a=poly::padd(poly::pmul(ar,bl),al);
}

vec dfs2(int x) {
    for(int t=x;t;t=ch[t]) {
        for(int i=head[t];i;i=e[i].nxt) if(e[i].to!=F[t]&&e[i].to!=ch[t]) f[t]=dfs2(e[i].to);
        if(_sz(f[t])<1) f[t].resize(1);f[t][0]++;
        f[t].insert(f[t].begin(),0);
    }
    cnt=0;for(int t=x;t;t=ch[t]) r[++cnt]=f[t];
    vec a,b;solve(1,cnt,a,b);return a;
}

int main() {
    read(n),scanf("%lld",&k);poly::init(n<<1);k%=mod;
    for(int i=1,x,y;i<n;i++) read(x),read(y),ins(x,y),ins(y,x);
    dfs(1,0);vec res=dfs2(1);int t=1,ans=0;
    for(int i=1;i<_sz(res);i++) {
        ans=add(ans,mul(res[i],t));
        t=mul(t,mul((k+i)%mod,qpow(i,mod-2)));
    }write(ans);
    return 0;
}

标签：ch,int,Tree,poly,bl,maxn,499,Div,define
来源： https://www.cnblogs.com/hbyer/p/11032038.html