是时候总结一下树上差分一类题目的套路了。
树上差分
像差分一样，树上差分也有前缀和思想。
一个点的真实权值是一个点子树内所有差分后的权值之和总的来说就是一个点的差分数组最后的值是整个子树内差分数组的和，再加进点的权值里。
至于差分和前缀和的关系那就不必明说了。
树上差分可以分为两种（如果是一条链上都加 $1$）：
对于点的覆盖：
$u++$
$v++$
$LCA- -$
$fa[LCA]- -$
对于边的覆盖：
$u++$
$v++$
$LCA-=2$
之后就是例题：
点差分例题：
其实第一眼看上去这个名字我还以为是个网络流
点差分裸题，没有任何细节可言。
|
依然是点差分的裸题，只不过这一次有一些细节了。
唯一的细节是把即是起点也是终点的点算了两边。
最后减掉就行了。
|
这个题就有点意思了。
题目简述：给定一棵树和 $m$ 个节点，然后给定一些路径，对于树上的点 $i$，问有多少路径的 从起点出发，经过 $w_j$ 以后恰好到达这个点。
首先第一反应也许是每一条路径一条一条看。
但是数据中显然有一条链的数据，于是 $O(nm)$的复杂度只能喝西北风。
于是可以考虑换一个角度。
我们能不能对于每一个点，看一看路径对他的贡献？
对于一个任意的路径 $s->t$ ，在树上显然地可以拆成 $s->LCA,LCA->t$，两个部分来看。
对于 $s->LCA$ 的路径，明显地可以发现，当这条路径对当前节点 $x$ 有贡献当且仅当 $dep[s]-dep[x]=w[x]$，通过移项得到 $dep[s]=dep[x]+w[x]$。
对于 $LCA->t$ 的路径，需要满足：$dep[s]+dep[x]-2 \times dep[LCA(s,t)]=w[x]$
依旧通过移项得到：$2 \times dep[LCA(s,t)]-dep[s]=dep[x]-w[x]$。
这里运用到了一种把 $s$ 关于 $LCA$ 翻上去的方法。其实这种思想小学或者初中就已经学过了
移项的手法是把带 $x$ 的都扔在一边，把已知的量扔在另一边。
于是这直接启示我们，可以在每个节点以 $dep$ 为下标进行统计。
之后对于 $s->LCA$ 路线，查询 $dep[x]+w[x]$ 出现多少次，对于 $LCA->t$ 路线，统计 $dep[x]-w[x]$ 出现多少次即可。
需要单点更改，单点查询。还要答案合并？
直接祭出线段树合并吧。
简单好写，思路清晰。
于是对于每一条路径，我们直接在起点位置的线段树 $dep[s]$ 下标 $++$，$LCA(s,t)$ 位置 $dep[s]$ 下标 $–$，在终点位置的线段树 $2 \times dep[LCA(s,t)]-dep[s]$ 下标 $++$，$fa[LCA]$位置 $2 \times dep[LCA(s,t)]-dep[s]$ 下标 $–$；
|
最后合并线段树，然后上行路线查询 $dep[u]+w[u]$，下行路线查询 $dep[u]-w[u]$ 就可以了。
|
需要注意的是，由于我们把 $s$ 关于 $LCA$ 翻上去的时候深度可能变成负数，所以我们可以直接把值域平移一下。
|
边差分例题
这个题也挺好玩。
很容易就想到一个假思路。
直接找被经过次数最多的路径，然后删掉就行了。
错误性其实也很好想
如果有一条巨大的边权，比如 $1e3$，然后别的边都是 $1$，然后这个做法就直接没了。
于是重新审视这道题目：由于我们工作是同时开展的，于是所需要的总时间就是需要时间最长的那个。
于是要求删掉一条边以后最长的路径权值最小。
二分的模型？
然后自然而然地想到要二分这个值。
对于一条路，如果花费一段时间可以走完，那么如果给他更长的时间，他肯定也是可以走完的。
单调性显然。
于是可以二分去除这个边以后最大剩余路径的最小值。
并且需要判断，树上是否存在一条边，被比目前二分值更大的边全部覆盖。
然后我们需要找到需要被清除的边。
这条边理应是被所有大于等于当前二分值的路径都经过且长度尽量长的边。
|
关于 $dis$（节点到根节点路径的边权和），用树上前缀和，树剖的时候顺便就搞出来了。
d(x,y)=dis[x]+dis[y]-2*dis[LCA(x,y)]
|
