[SNOI2020]字符串

题目

传送门 to luogu

思路

题目转化：将子串们两两匹配，使得 $\sum \mathrm{l}\mathrm{c}\mathrm{p}$ 最大。

不难发现，对于 $A$ 的以 $x$ 开头的子串，肯定要多多和 $B$ 中以 $x$ 开头的子串配对才好！

证明很简单。假如 $A$ 中某个匹配的不是 $B$ 中以 $x$ 开头的，$B$ 中也有一个，那么这两对的贡献都是 $0$ 。交换匹配，至少会有 $1$ 的贡献。

有了这个，可以直接用后缀数组排序，然后对于每种字符作为开头的子串，递归地处理。多出来的肯定就直接和不同字符开头的内部消化一下呀。

不难发现，如果每一步都有分叉，那么最多 $\mathcal{O}(n)$ 步就会递归到头。求儿子对应管辖区间如果用二分查找，复杂度就是 $\mathcal{O}(n\log n)$ 的。问题在于，不分叉怎么办？不分叉，就说明当前区间内有一个 $\mathrm{l}\mathrm{c}\mathrm{p}$ ，所以利用 $height$ 直接跳过 $\mathrm{l}\mathrm{c}\mathrm{p}$ 就必然有分叉了。

复杂度 $\mathcal{O}(n\log n)$ 。

他山之石：将串翻转，用 $\mathtt{S}\mathtt{A}\mathtt{M}$ ，后缀树上的 $lca$ 就是 $\mathrm{l}\mathrm{c}\mathrm{p}$ 了，然后类似一个树形 $\mathtt{d}\mathtt{p}$ 。（其实就是上面的那个贪心啊，子树内尽力匹配。）

代码