差分
前缀和 sum_i = sum_i-1 + a_i
差分 diff_i = a_i - a_i-1
差分的好处
点的差分
问题引入
解决问题
要用到差分的思想,每次从叶子向上的回溯,会让父结点+=子结点的cnt值,但是仅仅这样,还不行
回溯的过程中,LCA被加了两次,要减去一,LCA的父结点原本应该没有数值的,但是因为会加上LCA 的值,所以会多1,要减去。
此上操作,便实现了,只是把s t 两个结点的值赋一,便将s到t路径上的点经过次数赋值为1
代码实现
cnt计算的代码实现,如下
void dfs1(int x){
for(int i=head[x];i;i=edge[i].nex){
int u=edge[i].to;
if(u!=fa[x][0]){
dfs1(u);
cnt[x]+=cnt[u];
}
}
return ;
}
cnt[x]+=cnt[u] ,在dfs1 之后,就是从子结点回到父结点的代码表达。
边的差分
问题引入
将路上每条边都权值加z
解决问题
把边塞给点,边的权值放在点上,使用差分的方法,每次修改都是O(1)的时间复杂度,将最后的结果最坏下是O(n)遍历要求的区间,就可以得到区间权值和。
解释为什么要把 dlt[lca(u,v)]-=2x
因为根据方法,回溯时父结点会加上子结点的权值,所以LCA会加上左右两边的孩子的权值(即边的权值),根据我们给点权值的定义,意思是,会经过该边两次,但是该边没有经过两次,所以会减去2x
代码实现
与点上的差分一样的
时间复杂度分析
维护的时间复杂度是O(1),最后dfs一遍统计答案,最坏时间复杂度是O(n)