docs/graph/tree-diameter.md
树上任意两节点之间最长的简单路径即为树的「直径」．
前置知识：树基础．
显然，一棵树可以有多条直径，他们的长度相等．
可以用两次 DFS 或者树形 DP 的方法在 $O(n)$ 时间求出树的直径．
首先从任意节点 $y$ 开始进行第一次 DFS，到达距离其最远的节点，记为 $z$，然后再从 $z$ 开始做第二次 DFS，到达距离 $z$ 最远的节点，记为 $z'$，则 $\delta(z,z')$ 即为树的直径．
显然，如果第一次 DFS 到达的节点 $z$ 是直径的一端，那么第二次 DFS 到达的节点 $z'$ 一定是直径的一端．我们只需证明在任意情况下，$z$ 必为直径的一端．
定理：在一棵树上，从任意节点 $y$ 开始进行一次 DFS，到达的距离其最远的节点 $z$ 必为直径的一端．
???+ note "证明" 使用反证法．记出发节点为 $y$．设真实的直径是 $\delta(s,t)$，而从 $y$ 进行的第一次 DFS 到达的距离其最远的节点 $z$ 不为 $t$ 或 $s$．共分三种情况：
- 若 $y$ 在 $\delta(s,t)$ 上：
有 $\delta(y,z) > \delta(y,t) \Longrightarrow \delta(x,z) > \delta(x,t) \Longrightarrow \delta(s,z) > \delta(s,t)$，与 $\delta(s,t)$ 为树上任意两节点之间最长的简单路径矛盾．
- 若 $y$ 不在 $\delta(s,t)$ 上，且 $\delta(y,z)$ 与 $\delta(s,t)$ 存在重合路径：
有 $\delta(y,z) > \delta(y,t) \Longrightarrow \delta(x,z) > \delta(x,t) \Longrightarrow \delta(s,z) > \delta(s,t)$，与 $\delta(s,t)$ 为树上任意两节点之间最长的简单路径矛盾．
- 若 $y$ 不在 $\delta(s,t)$ 上，且 $\delta(y,z)$ 与 $\delta(s,t)$ 不存在重合路径：
有 $\delta(y,z) > \delta(y,t) \Longrightarrow \delta(x',z) > \delta(x',t) \Longrightarrow \delta(x,z) > \delta(x,t) \Longrightarrow \delta(s,z) > \delta(s,t)$，与 $\delta(s,t)$ 为树上任意两节点之间最长的简单路径矛盾．
综上，三种情况下假设均会产生矛盾，故原定理得证．
???+ warning "负权边" 上述证明过程建立在所有路径均不为负的前提下．如果树上存在负权边，则上述证明不成立．故若存在负权边，则无法使用两次 DFS 的方式求解直径．
如果需要求出一条直径上所有的节点，则可以在第二次 DFS 的过程中，记录每个点的前序节点，即可从直径的一端一路向前，遍历直径上所有的节点．
我们记录当 $1$ 为树的根时，每个节点作为子树的根向下，所能延伸的最长路径长度 $d_1$ 与次长路径（与最长路径无公共边）长度 $d_2$，那么直径就是对于每一个点，该点 $d_1 + d_2$ 能取到的值中的最大值．
树形 DP 可以在存在负权边的情况下求解出树的直径．
如果需要求出一条直径上所有的节点，则可以在 DP 的过程中，记录下每个节点能向下延伸的最长路径与次长路径（定义同上）所对应的子节点，在求 $d$ 的同时记下对应的节点 $u$，使得 $d = d_1[u] + d_2[u]$，即可分别沿着从 $u$ 开始的最长路径的次长路径对应的子节点一路向某个方向（对于无根树，虽然这里指定了 $1$ 为树的根，但仍需记录每点跳转的方向；对于有根树，一路向上跳即可），遍历直径上所有的节点．
这里提供一种只使用一个数组进行的树形 DP 方法．
我们定义 $dp[u]$ 为以 $u$ 为根的子树中，从 $u$ 出发的最长路径．那么容易得出转移方程：$dp[u] = \max(dp[u], dp[v] + w(u, v))$，其中的 $v$ 为 $u$ 的子节点，$w(u, v)$ 表示所经过边的权重．
对于树的直径，实际上是可以通过枚举从某个节点出发不同的两条路径相加的最大值求出．因此，在 DP 求解的过程中，我们只需要在更新 $dp[u]$ 之前，计算 $d = \max(d, dp[u] + dp[v] + w(u, v))$ 即可算出直径 $d$．
???+ example "Luogu B4016 树的直径" 给定一棵 $n$ 个节点的树，求其直径的长度．$1\leq n\leq 10^5$．
??? note "两次 DFS 的参考实现"
cpp --8<-- "docs/graph/code/tree-diameter/tree-diameter_1.cpp"
??? note "使用两个数组的树形 DP 参考实现"
cpp --8<-- "docs/graph/code/tree-diameter/tree-diameter_2.cpp"
??? note "使用一个数组的树形 DP 参考实现"
cpp --8<-- "docs/graph/code/tree-diameter/tree-diameter_3.cpp"
树的直径具有如下性质：若树上所有边边权均为正，则树的所有直径中点重合．
???+ note "证明" 证明：使用反证法．设两条中点不重合的直径分别为 $\delta(s,t)$ 与 $\delta(s',t')$，中点分别为 $x$ 与 $x'$．显然，$\delta(s,x) = \delta(x,t) = \delta(s',x') = \delta(x',t')$．
有 $\delta(s,t') = \delta(s,x) + \delta(x,x') + \delta(x',t') > \delta(s,x) + \delta(x,t) = \delta(s,t)$，与 $\delta(s,t)$ 为树上任意两节点之间最长的简单路径矛盾，故性质得证．