dsu on tree详解

若如初见. 提交于 2020-03-09 11:30:17

这个算法还是挺人性化的,没有什么难度 就是可能看起来有点晕什么的。
大体 思想是 利用重链刨分来优化子树内部的查询。
考虑一个问题要对每个子树都要询问一次。我们暴力显然是\(n^2\)的。
考虑一下优化这个过程,我们发现儿子的信息可以给父亲用但是不能给兄弟或兄弟里的儿子用。
如果是最大最小值我们只能暴力来搞 但如果是出现次数什么的我们可以利用捅差分来解决这个事情。
考虑我们每次先暴力扫轻儿子然后 再做重儿子然后再把轻儿子的代价加上算当前节点的代价然后再把轻儿子的代价给删掉。
我们发现轻儿子被加上删掉两次 而重儿子只做一次并且保留。
可以发现这样做的复杂度很低 考虑一个点到根有logn条轻边所以这样最坏一个点被暴力来回扫logn次 统计自身答案的时候被扫了1次。
最终复杂度为nlogn 说起来很容易但其实代码还是存在一些细节的 要想好再写。
例题:CF600ELomsat gelral

const int MAXN=100010;
int n,len,mx;
int a[MAXN],cnt[MAXN],root[MAXN],sz[MAXN],son[MAXN];
int lin[MAXN],nex[MAXN<<1],ver[MAXN<<1];ll ans[MAXN],w;
inline void add(int x,int y)
{
    ver[++len]=y;
    nex[len]=lin[x];
    lin[x]=len;
}
inline void dfs(int x,int father)
{
    sz[x]=1;
    for(int i=lin[x];i;i=nex[i])
    {
        int tn=ver[i];
        if(tn==father)continue;
        dfs(tn,x);
        sz[x]+=sz[tn];
        if(sz[son[x]]<sz[tn])son[x]=tn;
    }
}
inline void update(int x,int father,int op,int target)
{
    cnt[a[x]]+=op;
    if(op>0&&cnt[a[x]]>=mx)
    {
        if(cnt[a[x]]==mx)w+=a[x];
        else w=a[x],mx=cnt[a[x]];
    }
    for(int i=lin[x];i;i=nex[i])
    {
        int tn=ver[i];
        if(tn==father||tn==target)continue;
        update(tn,x,op,target);
    }
}
inline void dfs(int x,int father,int op)
{
    for(int i=lin[x];i;i=nex[i])
    {
        int tn=ver[i];
        if(tn==father||tn==son[x])continue;
        dfs(tn,x,0);//处理轻儿子的答案且清除
    }
    if(son[x])dfs(son[x],x,1);//处理重儿子的答案
    update(x,father,1,son[x]);//把轻儿子的代价加入
    ans[x]=w;//答案
    if(!op)update(x,father,-1,0),w=0,mx=0;//当前是轻儿子所以删掉
}
int main()
{
    freopen("1.in","r",stdin);
    n=read();
    for(int i=1;i<=n;++i)a[i]=read();
    for(int i=1;i<n;++i)
    {
        int x,y;
        x=read();y=read();
        add(x,y);add(y,x);
    }
    dfs(1,0);
    dfs(1,0,1);
    for(int i=1;i<=n;++i)printf("%lld ",ans[i]);
    return 0;
}

虽然这道题可以使用线段树合并来做但是那样对空间和时间的花销都是nlogn的 所以dsu on tree在空间上要优于线段树合并。
且 常数上也必然小于线段树合并。
我们只是关注与dsu on tree的思想 使用重链刨分来进行优化。
再来一道简单的题目来简单再看一下:CF208E Blood Cousins
求有多少个点和某个点的K级祖先相同。不难想到先求出K级祖先然后求出K级祖先子树内深度为x的点的个数。
关于K级祖先的求法:可以倍增+长链刨分优化实现O(1)但是仅对这道题就没什么必要了 询问和n同阶。
可以直接倍增搞,我们还有更快的方法:离线 我们dfs一个点然后加到栈中我们维护某条链上的点。
询问直接查栈中的从前往后第K个元素即可。
考虑第二问 求子树内深度为x的点的个数。显然 dsu on tree。
当然可以使用线段树合并,还有更快的方法:离线 开捅统计对于询问进行捅内外的差分。综上这道题被离线干成了O(n).
为了学习dsu on tree这里使用dsu on tree.
这道题 离线大法好 又得到了一个求树上K级祖先的方法 离线开栈。

const int MAXN=100010;
int n,len,mx,tot,top,m;
int a[MAXN],s[MAXN],cnt[MAXN],root[MAXN],sz[MAXN],son[MAXN];
int lin[MAXN],nex[MAXN],ver[MAXN],d[MAXN],ans[MAXN];
vector<pii>g[MAXN],w[MAXN];
inline void add(int x,int y)
{
    ver[++len]=y;
    nex[len]=lin[x];
    lin[x]=len;
}
inline void dfs(int x,int father)
{
    d[x]=d[father]+1;sz[x]=1;
    s[++top]=x;
    for(int i=0;i<g[x].size();++i)
    {
        int tn=g[x][i].F;
        if(tn>d[father])continue;
        int ss=s[top-tn];
        w[ss].push_back(mk(d[x],g[x][i].S));
    }
    for(int i=lin[x];i;i=nex[i])
    {
        int tn=ver[i];
        if(tn==father)continue;
        dfs(tn,x);
        sz[x]+=sz[tn];
        if(sz[son[x]]<sz[tn])son[x]=tn;
    }
    --top;
}
inline void update(int x,int father,int op,int target)
{
    cnt[d[x]]+=op;
    for(int i=lin[x];i;i=nex[i])
    {
        int tn=ver[i];
        if(tn==father||tn==target)continue;
        update(tn,x,op,target);
    }
}
inline void dfs(int x,int father,int op)
{
    for(int i=lin[x];i;i=nex[i])
    {
        int tn=ver[i];
        if(tn==father||tn==son[x])continue;
        dfs(tn,x,0);
    }
    if(son[x])dfs(son[x],x,1);
    update(x,father,1,son[x]);
    for(int i=0;i<w[x].size();++i)
        ans[w[x][i].S]+=cnt[w[x][i].F];
    if(!op)update(x,father,-1,0);
}
int main()
{
    freopen("1.in","r",stdin);
    n=read();
    for(int i=1;i<=n;++i)
    {
        int x=read();
        if(!x)root[++tot]=i;
        else add(x,i);
    }
    m=read();
    for(int i=1;i<=m;++i)
    {
        int x,y;
        x=read();y=read();
        g[x].push_back(mk(y,i));
    }
    for(int i=1;i<=tot;++i)dfs(root[i],0);
    for(int i=1;i<=tot;++i)dfs(root[i],0,0);//dsu on tree
    rep(1,m,i)printf("%d ",ans[i]?ans[i]-1:0);
    return 0;
}
标签
易学教程内所有资源均来自网络或用户发布的内容,如有违反法律规定的内容欢迎反馈
该文章没有解决你所遇到的问题?点击提问,说说你的问题,让更多的人一起探讨吧!