博客
关于我
强烈建议你试试无所不能的chatGPT,快点击我
【CF860E】Arkady and a Nobody-men 长链剖分
阅读量:4347 次
发布时间:2019-06-07

本文共 2623 字,大约阅读时间需要 8 分钟。

【CF860E】Arkady and a Nobody-men

题意:给你一棵n个点的有根树。如果b是a的祖先,定义$r(a,b)$为b的子树中深度小于等于a的深度的点的个数(包括a)。定义$z(a)=\sum\limits r(a,b)$(b是a的祖先)。要你求出每个点的z值。

$n\le 5\times 10^5$

题解:一开始naive的思路:将所有点按深度排序,将深度相同的点统一处理,统计答案时相当于链加,链求和,用树剖+树状数组搞一搞,时间复杂度$O(n\log^2n)$。

后来看题解发现我这个想法简直菜爆了。我们先从树形DP的角度去想,先给出转移方程:

$ans(x)=ans(fa(x))+dep(x)+ans'(x)$,ans'(x)表示与a深度相同的点 对a的贡献。

现在问题变成了求ans',我们考虑在每个点对的lca处统计贡献。具体地,我们对于每个点x,维护若干个三元组(d,a,cnt)表示x的子树中有cnt个d级子孙,其中一个子孙为a。DP的过程就相当于在父亲节点处将所有儿子节点的三元组合并,在合并时顺便统计贡献。

具体地,合并方式如下:假如x有两个儿子,它们有三元组$(d,a,cnt_a)$和$(d,b,cnt_b)$,则:

1.$ans'(a)+=dep(x)\times cnt_b$

2.$ans'(b)+=dep(x)\times cnt_a$
3.得到新三元组$(d,a,cnt_a+cnt_b)$

但是后面的点 对b的贡献呢?我们发现后面的点 对a和b的贡献就是相同的了,所以我们建一个新图,在新图中从a到b连一条长度为$ans'(b)-ans'(a)$的边,最后在新图上DFS一下,最最后统计一下ans数组即可。

以上过程采用长链剖分优化,由于一开始的三元组个数为n,则每次合并都会减少一个三元组,所以时间复杂度O(n)。

#include 
#include
#include
#include
using namespace std;const int maxn=500010;typedef long long ll;ll ans[maxn];struct node{ int v,x; node() {} node(int a,int b) {v=a,x=b;}}mem[maxn<<1],*f[maxn],*now=mem;int n,cnt,Cnt,rt;int to[maxn],nxt[maxn],head[maxn],dep[maxn],md[maxn],son[maxn],fa[maxn];bool vis[maxn];int To[maxn],Nxt[maxn],Head[maxn];ll Val[maxn];inline void add(int a,int b){ to[cnt]=b,nxt[cnt]=head[a],head[a]=cnt++;}inline void Add(int a,int b,ll c){ To[Cnt]=b,Val[Cnt]=c,Nxt[Cnt]=Head[a],Head[a]=Cnt++;}void dfs1(int x){ md[x]=0; for(int i=head[x];i!=-1;i=nxt[i]) { dep[to[i]]=dep[x]+1,dfs1(to[i]); if(md[to[i]]+1>md[x]) md[x]=md[to[i]]+1,son[x]=to[i]; }}void dfs2(int x){ if(f[x]==NULL) f[x]=now,now+=md[x]+2; if(son[x]) f[son[x]]=f[x]+1,dfs2(son[x]); f[x][0]=node(1,x); for(int i=head[x];i!=-1;i=nxt[i]) if(to[i]!=son[x]) { dfs2(to[i]); for(int j=0;j<=md[to[i]];j++) { node a=f[x][j+1],b=f[to[i]][j]; ans[b.x]+=1ll*dep[x]*a.v; ans[a.x]+=1ll*dep[x]*b.v; Add(a.x,b.x,ans[b.x]-ans[a.x]); f[x][j+1]=node(a.v+b.v,a.x); } }}void dfs3(int x){ for(int i=Head[x];i!=-1;i=Nxt[i]) ans[To[i]]=ans[x]+Val[i],dfs3(To[i]);}void dfs4(int x){ for(int i=head[x];i!=-1;i=nxt[i]) ans[to[i]]+=ans[x]+dep[x],dfs4(to[i]);}inline int rd(){ int ret=0,f=1; char gc=getchar(); while(gc<'0'||gc>'9') {if(gc=='-') f=-f; gc=getchar();} while(gc>='0'&&gc<='9') ret=ret*10+(gc^'0'),gc=getchar(); return ret*f;}int main(){ n=rd(); int i; memset(head,-1,sizeof(head)),memset(Head,-1,sizeof(Head)); for(i=1;i<=n;i++) { fa[i]=rd(); if(!fa[i]) rt=i; else add(fa[i],i); } dep[rt]=1,dfs1(rt); dfs2(rt); for(i=0;i<=md[rt];i++) dfs3(f[rt][i].x); dfs4(rt); for(i=1;i<=n;i++) printf("%lld ",ans[i]); return 0;}

转载于:https://www.cnblogs.com/CQzhangyu/p/8282641.html

你可能感兴趣的文章
crontab导致磁盘空间满问题的解决
查看>>
自定义滚动条
查看>>
APP开发手记01(app与web的困惑)
查看>>
初识前端作业1
查看>>
ffmpeg格式转换命令
查看>>
万方数据知识平台 TFHpple +Xpath解析
查看>>
Hive实现oracle的Minus函数
查看>>
秒杀多线程第四篇 一个经典的多线程同步问题
查看>>
RocketMQ配置
查看>>
关于typedef的用法总结(转)
查看>>
Linux下安装rabbitmq
查看>>
【转】判断点在多边形内(matlab)
查看>>
excel第一次打开报错 向程序发送命令时出错 多种解决办法含终极解决方法
查看>>
机器码和字节码
查看>>
【解决Chrome浏览器和IE浏览器上传附件兼容的问题 -- Chrome关闭flash后,uploadify插件不可用的解决办法】...
查看>>
34 帧动画
查看>>
二次剩余及欧拉准则
查看>>
thymeleaf 自定义标签
查看>>
关于WordCount的作业
查看>>
UIView的layoutSubviews,initWithFrame,initWithCoder方法
查看>>