题意:给出树上任意两点,求路径上的值的和与最大值,带单点修改操作

树链剖分思路:

1、对树进行dfs求出点的深度和父亲节点,然后求出轻重儿子(重儿子就是点最多的那个子树,其余都是轻儿子),用一个son数组指向每个节点的重儿子

2、对树进行第二次dfs,对于所有的重儿子,求出他的top节点也就是每个重儿子沿着重链可以到达的最远的那个祖先,然后维护dfs序,记录每个节点的访问次序以及第几次访问的是哪个节点,轻儿子的top节点就是本身

然后我们得到

dfs序:       1 4 9 13 14 8 10 3 7 2 6 11 12 5

top数组: 1 1 1 1 1  8 10 3 3 2 2 2 12 5(对应dfs序)

这样我们就把这棵树拆成了一条条的链(top值相同则为一条链上的点),用线段树维护这个dfs序,就可以快速求出链上最大值和值的和了,

对于任意两点,我们只需依次求出路径上的所有链的答案然后合并即可,可以证明路径上轻重链的条数是不超过logn的,这样单次查询的复杂度为O((logn)^2)

总时间复杂度O(q(logn)^2)

在计算两点答案的时候,采取一个巧妙的方法。首先若两个点不在同一条链上,我们总是让深度更大的那个点x往上跳到top[x],并统计这条链的答案,直到两个点到同一条链上,最后计算在一条链上时的答案即可

AC代码(模板)

#include<bits/stdc++.h>
using namespace std;
const int N = 1e5+;
struct Edge
{
int v,next;
}edge[N<<];
int sum[N<<],mx[N<<],n;
int head[N],tot,dep[N],fa[N],sz[N],son[N],top[N],id[N],rk[N],cnt,val[N];
void init()
{
memset(head,-, sizeof(head));
tot=;
}
void add(int u,int v)
{
edge[tot].v=v;
edge[tot].next=head[u];
head[u]=tot++;
}
void dfs1(int u,int f)
{
dep[u]=dep[f]+;
fa[u]=f;
sz[u]=;
for(int i=head[u];~i;i=edge[i].next)
{
int v=edge[i].v;
if(v==f)continue;
dfs1(v,u);
sz[u]+=sz[v];
if(sz[v]>sz[son[u]])son[u]=v;
}
}
void dfs2(int u,int t)
{
top[u]=t;
id[u]=++cnt;
rk[cnt]=u;
if(!son[u])return;
dfs2(son[u],t);
for(int i=head[u];~i;i=edge[i].next)
{
int v=edge[i].v;
if(v!=son[u]&&v!=fa[u])dfs2(v,v);
}
}
void pushup(int rt)
{
sum[rt]=sum[rt<<]+sum[rt<<|];
mx[rt]=max(mx[rt<<],mx[rt<<|]);
}
void build(int l,int r,int rt)
{
if(l==r)
{
mx[rt]=sum[rt]=val[rk[l]];
return;
}
int m=(l+r)>>;
build(l,m,rt<<);
build(m+,r,rt<<|);
pushup(rt);
}
int querySum(int L,int R,int l,int r,int rt)
{
if(L<=l&&r<=R)return sum[rt];
int m=(l+r)>>;
int res=;
if(L<=m)res+=querySum(L,R,l,m,rt<<);
if(R>m)res+=querySum(L,R,m+,r,rt<<|);
return res;
}
int queryMax(int L,int R,int l,int r,int rt)
{
if(L<=l&&r<=R)return mx[rt];
int m=(l+r)>>;
int res=-1e9;
if(L<=m)res=max(res,queryMax(L,R,l,m,rt<<));
if(R>m)res=max(res,queryMax(L,R,m+,r,rt<<|));
return res;
}
void update(int pos,int val,int l,int r,int rt)
{
if(l==r){
sum[rt]=mx[rt]=val;
return;
}
int m=(l+r)>>;
if(pos<=m)update(pos,val,l,m,rt<<);
else update(pos,val,m+,r,rt<<|);
pushup(rt);
}
int getSum(int x,int y)
{
int ans=;
while(top[x]!=top[y])
{
if(dep[top[x]]<dep[top[y]])swap(x,y);
ans+=querySum(id[top[x]],id[x],,n,);
x=fa[top[x]];
}
if(id[x]>id[y])swap(x,y);
ans+=querySum(id[x],id[y],,n,);
return ans;
}
int getMax(int x,int y)
{
int ans=-1e9;
while (top[x]!=top[y])
{
if(dep[top[x]]<dep[top[y]])swap(x,y);
ans=max(ans,queryMax(id[top[x]],id[x],,n,));
x=fa[top[x]];
}
if(id[x]>id[y])swap(x,y);
ans=max(ans,queryMax(id[x],id[y],,n,));
return ans;
}
int main()
{
ios::sync_with_stdio(false);
cin.tie();
cout.tie();
init();
int u,v;
cin>>n;
for(int i=;i<=n-;i++)
{
cin>>u>>v;
add(u,v);
add(v,u);
}
for(int i=;i<=n;i++)cin>>val[i];
dfs1(,);
dfs2(,);
build(,n,);
int q,x,y;
string op;
cin>>q;
while(q--)
{
cin>>op>>x>>y;
if(op=="QMAX")cout<<getMax(x,y)<<'\n';
else if(op=="QSUM")cout<<getSum(x,y)<<'\n';
else update(id[x],y,,n,);
}
return ;
}

最新文章

  1. Leetcode 笔记 117 - Populating Next Right Pointers in Each Node II
  2. Vsphere初试——基本安装
  3. 纯CSS实现图片水平垂直居中于DIV(图片未知宽高)
  4. saiku之行速度优化(三)
  5. 边工作边刷题:70天一遍leetcode: day 84-1
  6. Linux 基本收集
  7. LINUX&amp;UNIX 安装vmware workstation10和centOS6
  8. Tilera 服务器上OpenJDK的安装尝试
  9. C语言char[]和char*比较
  10. 【原】Shell脚本-判断文件有无进而复制
  11. 【VirtualDOM】
  12. 快速傅里叶变换(FFT)
  13. JMeter循环控制器循环次数使用变量控制注意事项
  14. LintCode 846.多关键字排序
  15. Appium 实战练习一
  16. msyql同步的时候报错 : 错误代码: 1293 Incorrect table definition;there can be only one TIMESTAMP column with CURRENT_TIMESTAMP in DEFAULT or ON UPDATE clause
  17. spring中的springSecurity安全框架的环境搭建
  18. Leetcode 1014. 在 D 天内送达包裹的能力
  19. Python 实现进程间通信(网络编程)
  20. tomcat启动后,页面浏览时报错 Unable to compile class for JSP的解决方案

热门文章

  1. 使用LoadRunner监控Apache
  2. css点击高亮
  3. 基于MFC的Media Player播放器的制作(2---导入第三方库和介绍第三方库)
  4. js基本函数和基本方法
  5. Msys2升级后不能编译
  6. TOPO DN 解析
  7. Nodejs入门级基础+实战
  8. css雪碧图(精灵图)与字体图标的介绍以及对比
  9. Codeforces 1175F 尺取法 性质分析
  10. glog 与 zlog