这道题的解法是倍增 LCA + 线性基。
没有学过上面两个算法的,左转我的倍增 LCA 学习笔记,右转我的线性基学习笔记。
下面假设你已经学会了倍增 LCA 和线性基。
首先回顾倍增 LCA 的过程:通过倍增合并 f i , j f_{i,j} fi,j 到 f i , j + 1 f_{i,j+1} fi,j+1 上。
实际上线性基也是可以合并的,合并方式就是将一个线性基插入到另外一个线性基里面。
因此既然线性基可以合并,那么根据倍增 LCA 的思路,我们同样可以倍增合并线性基。
设 p i , j p_{i,j} pi,j 表示第 i i i 个节点向上跳 2 j − 1 2^{j-1} 2j−1 步之后路径上的所有节点所构成的线性基。
那么首先可以通过预处理 LCA 预处理出所有的线性基。
然后对于一组询问 ( x , y ) (x,y) (x,y),考虑在求 LCA 的时候边跳 x , y x,y x,y 边合并线性基,然后对于合并完成的线性基求一次最大值就好。