树上性质汇总

对于一棵树上三个点 \(p, q, i\)
存在 \(dis(p, q) \leq dis(p, i) + dis(i, q)\)
等号成立条件： 当且仅当 \(i\) 位于 \(p, q\) 的路径上。