树上差分

· · 个人记录

设 \sigma(i) 是某个点属性 f(i) 从根到 i 路径上所有点的前缀和，那么

推导画图显然。 没了。 （感觉现在写 blog 越来越糊弄……）