DFS/BFS求解树的直径及其无法用于负权图的证明

DFS/BFS求解的正确性分析

首先我们来看算法过程：

1. 从树上任取一点$u$，使用DFS/BFS找到离该点最远的点，即直径的端点之一$s$
2. 再对$s$使用一次DFS/BFS，求得直径的另一端点$t$

我们可以从反证法证明算法的正确性，首先证明距任意点最远的点一定是直径的端点之一。一颗树的直径是客观存在的，我们不妨就设树的直径为$s⟶t$，任取一点$u$，假设我们通过DFS/BFS求得的最远点为$v$，那么会有两种情况：

1. $v$为直径$s⟶t$上（除去$s$、$t$）一点
2. $v$为直径$s⟶t$外一点

对于第一种情况，我们画图说明。

显然$v$并不是$u$的最远点，原因是 m a x { d i s t ( s , v ) , d i s t ( v , t ) } + d i s t ( u , v ) > d i s t ( u , v ) max\{dist(s,v),dist(v,t)\}+dist(u,v)>dist(u,v) max{ dist(s,v),dist(v,t)}+dist(u,v)>dist(u,v)，与我们$v$距$s$最远的前提相矛盾。

对于第二种情况，我们还可以将其分为两种情况：

1. $s⟶$