松鼠的新家

https://www.luogu.com.cn/problem/P3258

考虑用 LCA。

注意我们不统一起点，统计终点。

最后统一然起点多一个糖果，终点较少一个。

首先处理链的情况。

然后对于一般情况：

注意我们最后从下往上做差分，发现 $s_x+=1,s_y+=1,s_p+=1,s_{pf}+=0$，符合要求。