LOJ#6198. 谢特【后缀自动机/数组 + Trie树查异或最大值 + Trie树合并】

题目描述：

$n\le 10^5,w_i<n$，LOJ题目链接

题目分析：

看到两个后缀的LCP就想到后缀自动机或者后缀数组

先从后缀自动机的思路入手，我们知道两个后缀的LCP就是它们在后缀自动机fail树上的LCA的len。
所以这道题就变成了：在fail树上，求$u$点的不同子树内的$w_i\text{xor}{w}_j$的最大值。

需要Trie树合并，查询异或最大值。
合并的话，可以启发式合并（暴力插入），但是需要遍历子树内的点，查询也可以暴力遍历小的子树到大的子树里面查询，但是空间复杂度是$O(n{\log }^{2}n)$的，可以改为树上DSU，空间复杂度降为$O(n\log n)$，时间复杂度$O(n{\log }^{2}n)$，比如这份提交。

但是Trie树合并可以像线段树合并一样，并且因为不需要可持久化，所以合并的空间和时间复杂度都可以降为$O(n\log n)$。
查询的话也不需要遍历子树，因为是查两棵Trie树异或出的最大值，在两棵树同一层的点对$(x,y)$，对于$lc[x]$，它优先会选择$rc[y]$，如果没有$rc[y]$则会选择$lc[y]$，也就是说$lc[x]$所对应的第二棵树的节点是确定的，所以dfs求解的点对数就是小的Trie树里的点数。
这个写法可以参见我的提交。

后缀数组的解法可以根据height值建出笛卡尔树，查询就暴力遍历小子树的点到大子树的Trie中查询。
但是此时的Trie树实际上是一个区间，于是可以用类似主席树的形式写可持久化Trie树然后做差，比如这份提交。