由POJ-1383简析《树的最长链》两次DFS/BFS算法的证明

无意中看到一道水题，也就是POJ 1383
题目中给出了一个无环的迷宫，求出其中最长的一条路
我们知道无环图本质上可以认为就是树，所以此题完全可以使用树的最长链算法

 

即：随便从某个节点C开始DFS或BFS找到最远的一个点A，再从点A开始DFS或BFS找到最远的一点B，那么路径A->B必然是树上的最长路径。

这个算法很多人都知道并且当做结论使用，但很少看到有人给出正确性证明
所以本人简要分析后，给出一个简单的文字性证明：

（最好拿出纸笔画个图，有助于理解下面这段抽象的语死早描述）

 

首先我们知道对于一个图我们可以任取一个起始点C作为根来构造生成树（其实本来就是树，就是指定一个根C）

那么我们接下来可以分两种情况来讨论：

1. 若最长链包含树根（起始点C），那么DFS/BFS一次必然能够找到