关于动态维护树中点集直径的研究

例题：P2056.

这是括号序动态维护的方法，这里不讲。

注意到一个结论：设 \(S,T(S\cap T=\varnothing)\) 为两个树种的点集。

记 \(f(S)\) 为一个大小为 \(2\) 集合，其中两个点分别为 \(S\) 集合中直径的两个端点（多个取任意）。

则有结论：\(\exists\ x,y\in f(S)\cup f(T),x\neq y\)，满足 \(x,y\) 是 \(S\cup T\) 集合中直径的两个端点。请读者不难自证。