树上差分与边差分算法解析及AcWing 4963题解

1. 问题背景与核心思路

最近在刷算法题时遇到了AcWing 4963这道关于"砍树"的题目，题目大意是给定一棵树和若干条路径，要求找出可以删除的边，使得所有给定的路径都不再连通。这类问题在算法竞赛中属于经典的树上操作问题，需要结合多种技巧来解决。

这道题的核心解法是使用树上差分（边差分）技术配合DFS预处理。树上差分是处理树上路径修改的高效方法，而边差分则是其变种，专门针对边的操作。DFS预处理则帮助我们快速计算子树和，从而判断哪些边满足删除条件。

2. 理解树上差分与边差分

2.1 差分数组基础概念

在讲解树上差分之前，我们先回顾一下一维差分数组的概念。差分数组是前缀和数组的逆运算，主要用于高效处理区间修改操作。对于原数组A，其差分数组D定义为：

code复制D[i] = A[i] - A[i-1] (i>0)
D[0] = A[0]

通过差分数组，我们可以用O(1)时间完成区间加减操作，然后用O(n)时间通过前缀和还原原数组。

2.2 从一维差分到树上差分

树上差分是将这个概念扩展到树形结构上。在树中，我们同样需要对路径进行批量加减操作。树上差分的基本思想是：

1. 在路径的起点和终点打标记
2. 通过DFS后序遍历统计子树和
3. 根据统计结果判断边的属性

对于点差分，我们通常在路径的两个端点u和v处+1，在它们的LCA处-2。而对于边差分（本题使用的方法），我们则需要在u和v处+1，在LCA处-2。

2.3 边差分的具体实现

边差分与点差分的主要区别在于标记的位置。在边差分中：

• 每条边由其下方的子节点表示
• 修改路径(u,v)时：
  • 在u处+1
  • 在v处+1
  • 在LCA(u,v)处-2

这样，当我们后序遍历统计子树和时，路径上的边会被正确标记，而非路径上的边则不会被影响。

3. DFS预处理与LCA计算

3.1 DFS预处理的重要性

为了高效实现边差分，我们需要进行以下预处理：

1. 建立树的邻接表表示
2. 计算每个节点的深度
3. 预处理父节点信息（用于LCA计算）
4. 记录DFS序（可选，用于某些优化）

DFS预处理的时间复杂度是O(n)，这使得后续操作可以在较短时间内完成。

3.2 LCA（最近公共祖先）计算

LCA是