Solution
叶子节点的变化区间是连续的，可得知非叶子节点的权值变化区间也是连续的
由此可知，\(W\)的变化值的可行域也是连续的，所以只需要看它能否变为\(W+1\)或\(W-1\)
对于答案，可以先求消耗能量不超过\(k\)的集合数\(ans_k\)，再进行查分
发现\(ans_1=2^{m-1},ans_n=2^{m}-1\)
首先发现，如果要将\(W\)的值\(+1\)，那么只会去动那些\(\leq W\)的的节点，让它们的权值变大
类似的，我们发现处理的两类节点无交，所以可以分别求出可以使得\(W\)加一或者减一的概率
因为通过减少较大权值的点的权值的办法都可以被上面的方法取代
当且仅当包含了\(W\)点，只需要耗费\(1\)的能量
接下来考虑不包含\(W\)点的情况，假如我们要求\(ans_k\)
把\(<W\)的节点称作小节点，\(>W\)的节点称作大结点
设\(f_i\)表示只改动小节点的值但是\(i\)点权值仍然\(\leq W\)的概率
奇数点：
\[ f_u=\prod f_v \]
偶数点：
\[ f_u=1-\prod(1-f_v) \]
设\(g_i\)表示可以通过改变大结点来使得\(i\)点权值\(<W\)的概率，转移与\(f_i\)相似所以，得到
\[ ans_k=2^{m-1}(1-f_1(1-g_1))+2^{m-1} \]
其中\(f_1(1-g_1)\)表示的是根节点权值保持不变的概率\(k\)每递增\(1\)最多改变两个叶子点的\(dp\)ֵ
动态\(dp\)实现
对于奇偶深度的叶子问题
可以使得偶层节点\(f_i’=1-f_i,g_i'=1-g_i\)
这样，我们都可以通过这样来转移了
\[ f_u=\prod (1-f_v)\\g_u=\prod(1-g_v) \]
也是毒瘤题。。。有可能会除以\(0\)，所以记录一下乘了\(0\)的个数，和不含\(0\)的其它项的积
突然发现自己忘记ddp的做法，不妨重温一下
首先我们设了函数\(f\)和\(g\)，(和上述函数无关）
分别表示算了重儿子和没算重儿子的答案
在本题中，它们的转移如下
如果是叶子节点，或者某个重链的链底
则有\(g_i=f_i\)
然后有（序号表示的是距离链头的距离\(+1\)）
\[ f_1=(1-f_2)g_1 \\f_2=(1-f3)g_2 \\...\\f_n=g_n\\ f_1=g_1-g_1g_2+g_1g_3g_4-...+(-1)^{n+1}(g_1g_2...g_n) \]
由此可以发现，在维护那个线段树区间乘法的同时，还需要维护一个如上的\(Sum\)ֵ总结：
之前做ddp的时候，是使用线段树维护一个链的转移矩阵的积，并不能直接求出链顶的答案
而在此题，我们直接将修改链底的答案，并更新进线段树，通过计算直接得到链顶的答案，线段树可以直接取代\(f\)数组
另外不需要建立庞大的所有点的线段树
可以分别对每条链建一棵，这样就只需要一个\(Modify\)，而不用\(Query\)
最后，这真是一道毒瘤题
#include<bits/stdc++.h> #define ll long long using namespace std; #define reg register inline int read() { int x=0,f=1;char ch=getchar(); while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();} while(ch>='0'&&ch<='9'){x=(x<<3)+(x<<1)+ch-'0';ch=getchar();} return x*f; } const int P=998244353,MN=2e5+5; int Mul(int x,int y){return (1ll*x*y)%P;} int Add(int x,int y){return (x+y)%P;} int fpow(int x,int m){int r=1;for(;m;m>>=1,x=Mul(x,x))if(m&1)r=Mul(r,x);return r;} struct node { int a,cnt; node(){a=1,cnt=0;} node(int a,int cnt):a(a),cnt(cnt){} void mul(node o){a=Mul(a,o.a),cnt+=o.cnt;} void div(node o){a=Mul(a,fpow(o.a,P-2)),cnt-=o.cnt;} int val(){return cnt?0:a;} }f[MN],g[MN]; node _(int x){x%=P;return x?node(x,0):node(1,1);} struct edge{int to,nex;}e[MN<<1]; bool lf[MN]; int hr[MN],en,mx[MN],siz[MN],top[MN],bot[MN],fa[MN],dfn[MN],fdfn[MN],dep[MN],dind=0,leaf=1; int n,W,ans[MN],F[MN],G[MN]; inline void ins(int x,int y) { e[++en]=(edge){y,hr[x]};hr[x]=en; e[++en]=(edge){x,hr[y]};hr[y]=en; } void rw(int &x,int y,int z){z?x=max(x,y):x=min(x,y);} int dfs1(int x,int f,int d) { register int i;fa[x]=f;siz[x]=1;dep[x]=d; int res=d&1?0:0x3f3f3f3f; for(i=hr[x];i;i=e[i].nex)if(e[i].to^f) { rw(res,dfs1(e[i].to,x,d+1),d&1); siz[x]+=siz[e[i].to],siz[e[i].to]>siz[mx[x]]?mx[x]=e[i].to:0; } if(siz[x]==1){lf[x]=1;leaf=(leaf<<1)%P;return x;} return res; } int rt[MN],ls[MN<<2],rs[MN<<2],sum_f[MN<<2],sum_g[MN<<2],prd_f[MN<<2],prd_g[MN<<2],tt; void Build(int &x,int l,int r); void dfs2(int x,int tp) { fdfn[dfn[x]=++dind]=x;top[x]=tp; register int i;if(mx[x])dfs2(mx[x],tp); for(i=hr[x];i;i=e[i].nex)if((e[i].to^fa[x])&&(e[i].to^mx[x]))dfs2(e[i].to,e[i].to); if(mx[x]) { F[x]=G[x]=1; for(i=hr[x];i;i=e[i].nex)if(e[i].to^fa[x]) { F[x]=Mul(F[x],(1+P-F[e[i].to])); G[x]=Mul(G[x],(1+P-G[e[i].to])); if(e[i].to^mx[x]) f[x].mul(_(1+P-F[e[i].to])),g[x].mul(_(1+P-G[e[i].to])); } } else { F[x]=(x>W)^(dep[x]&1),G[x]=(x>=W)^(dep[x]&1); bot[top[x]]=x; f[x]=_((x>W)^(dep[x]&1));g[x]=_((x>=W)^(dep[x]&1)); } if(x==tp) Build(rt[x],dfn[x],dfn[bot[x]]); } void up(int x,int l) { sum_f[x]=Add(sum_f[ls[x]],Mul((l&1?P-prd_f[ls[x]]:prd_f[ls[x]]),sum_f[rs[x]])); prd_f[x]=Mul(prd_f[ls[x]],prd_f[rs[x]]); sum_g[x]=Add(sum_g[ls[x]],Mul((l&1?P-prd_g[ls[x]]:prd_g[ls[x]]),sum_g[rs[x]])); prd_g[x]=Mul(prd_g[ls[x]],prd_g[rs[x]]); } void update(int x,int a){sum_f[x]=prd_f[x]=f[a].val();sum_g[x]=prd_g[x]=g[a].val();} void Build(int &x,int l,int r) { x=++tt; if(l==r)return(void)(update(x,fdfn[l])); int mid=(l+r)>>1; Build(ls[x],l,mid);Build(rs[x],mid+1,r); up(x,mid-l+1); } void Modify(int x,int l,int r,int a) { if(l==r)return(void)(update(x,fdfn[l])); int mid=(l+r)>>1; a<=mid?Modify(ls[x],l,mid,a):Modify(rs[x],mid+1,r,a); up(x,mid-l+1); } #define o top[x] void solve_f(int x) { if(fa[o]) f[fa[o]].div(_(P+1-sum_f[rt[o]])); Modify(rt[o],dfn[o],dfn[bot[o]],dfn[x]); if(fa[o]) f[fa[o]].mul(_(P+1-sum_f[rt[o]])),solve_f(fa[o]); } void solve_g(int x) { if(fa[o]) g[fa[o]].div(_(P+1-sum_g[rt[o]])); Modify(rt[o],dfn[o],dfn[bot[o]],dfn[x]); if(fa[o]) g[fa[o]].mul(_(P+1-sum_g[rt[o]])),solve_g(fa[o]); } int main() { int L,R; n=read();L=read();R=read(); register int i,j; for(i=1;i<n;++i) j=read(),ins(j,read()); W=dfs1(1,0,1);dfs2(1,1); ans[1]=leaf=Mul(leaf,(P+1)>>1); for(i=2;i<n;++i) { if(W+1-i>=1&&lf[W+1-i]) f[W+1-i]=_(P+1>>1),solve_f(W+1-i); if(W+i-1<=n&&lf[W+i-1]) g[W+i-1]=_(P+1>>1),solve_g(W+i-1); ans[i]=Mul(Add(Mul(P-sum_f[rt[1]],P+1-sum_g[rt[1]]),2),leaf); } ans[n]=Add(Mul(leaf,2),P-1); for(i=L;i<=R;++i) printf("%d ",Add(ans[i],P-ans[i-1])); return 0; } Blog来自PaperCloud，未经允许，请勿转载，TKS！