这是在处理工单过程中发现的问题。@Linnyt 的题解 /article/4wuj59nt 中的 BFS 没有给出时间复杂度证明，题解正确性存疑。

我明确提出疑问的原因是，观察到本题的求 $f_u = \max_z (c_z - 2 \operatorname{dist}(u, z))$ 本质上是超级源树上最短路，官方题解的换根 DP 确实做麻烦了，但不意味着 @Linnyt 的题解 /article/4wuj59nt 就是正确的。依据这个观察，一眼就可以看出这个 BFS 本质上是在一棵无向树上做 SPFA 求最短路。

众所周知，SPFA 的时间复杂度是没有保证的（$O(n^2)$ 不足以通过本题），但由于本题图结构特殊，我不敢贸然下定论，故邀请各位讨论是否存在 hack 数据使得该题解 TLE。