洛谷 P1099 [NOIP2007 提高组] 树网的核

洛谷 P1099 [NOIP2007 提高组] 树网的核
自己对于答案区第一个答案代码的理解
做法：
1、两次dfs求得直径
2、在直径上尺取求满足长度小于等于s，且端点到直径端点最小的路径，最小值记为ans
3、标记直径为访问过，dfs直径上的点，求其树枝的长度
4、ans和直径上点的树枝长度取最大值，即为所求

分析：
1、直径有多个时，任意取一个做上述操作都可以，这个证明还不会。。。
2、满足长度小于等于s，且端点到直径端点最小的路径一定是所求的路径。证明：如下示意图图，假设AB是直径，CD是一段路径，假设存在路径EF，使得端点EF到端点AB的距离比CD要小，那么EF一定是偏心距更小的路径，因为，如果EF偏心距最大值在端点取到，CD端点距离大于EF，所以CD的偏心距大于EF；如果EF偏心距在DF处的内点的树枝取到，则该树枝长度小于等于该內点到B距离，即小于DB距离，即CD偏心距大于EF；如果EF偏心距在ED取到，因为ED也是CD上的一段，所以CD偏心距一定大于等于EF。综上所述，端点到直径端点最小的路径一定是偏心距最小的路径。
A———C————E————D————F——————B
3、ans和直径上点的树枝长度取最大值，即为最小偏心距。这里有个结论，假设直径AB，上有路径CD，E为CD外的直径上任意一点，EF为树枝，则EF长度小于CD端点到AB端点距离，如下示意图。证明，因为AB为直径，所以EF小于等于AF（否则AB不是直径，FEB才是），而AF小于AC，所以EF小于CD端点到AB端点距离。
所以找到最小端点距离后，将这个直接和所有树枝比取最大就可以（反正不在答案路径上的树枝都小于端点距离，对于答案没有影响）