转自:https://blog.csdn.net/a_forever_dream/article/details/83505521
对点的差分
d 是差分数组 a是节点 fa是父节点
d[x]+1相当于a[root]~a[x]+1
给树上一条链x~y的节点全部+1
当 x 是 y 的祖先时
d[y]+1,d[fa[x]]-1即可。d[y]+1是给y~root的节点全部+1,d[fa[x]]-1把fa[x] ~ root的节点全部-1。
任意情况下时
把x~ y拆成x~ lca(x,y)和y~ lca(x,y)。具体操作为d[x]+1,d[fa[lca]]-1,d[y]+1,d[fa[lca]]-1,d[lca]-1,d[fa[lca]]+1。
统计结果
对于一个节点的权值,统计其子树内的差分数组即可。
对边的差分
因为每一个节点与父亲之间的边是唯一的,所以,我们让每个节点就代表那一条边。即a[i]表示节点i与fa[i]的边。稍微修改下对点的差分即可。