DFS/BFS求解的正确性分析
首先我们来看算法过程:
- 从树上任取一点 u u u,使用DFS/BFS找到离该点最远的点,即直径的端点之一 s s s
- 再对 s s s使用一次DFS/BFS,求得直径的另一端点 t t t
我们可以从反证法证明算法的正确性,首先证明距任意点最远的点一定是直径的端点之一。一颗树的直径是客观存在的,我们不妨就设树的直径为 s ⟶ t s\longrightarrow t s⟶t,任取一点 u u u,假设我们通过DFS/BFS求得的最远点为 v v v,那么会有两种情况:
- v v v为直径 s ⟶ t s\longrightarrow t s⟶t上(除去 s s s、 t t t)一点
- v v v为直径 s ⟶ t s\longrightarrow t s⟶t外一点
对于第一种情况,我们画图说明。
显然 v v v并不是 u u 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 v v距 s s s最远的前提相矛盾。
对于第二种情况,我们还可以将其分为两种情况:
- s ⟶ t s\longrightarrow t s⟶