YZOJ P3939 [HAOI2016]找相同字符

时间限制：1000MS      内存限制：262144K

难度：$6.5$

• 题目描述

给定两个字符串，求出在两个字符串中各取出一个子串使得这两个子串相同的方案数。

两个方案不同当且仅当这两个子串中有一个位置不同。

• 输入格式

两行，两个字符串 $s_1, s_2$，$1 \leq \left|s_1\right|, \left|s_2\right|\leq 200000$，字符串中只有小写字母。

• 输出格式

输出一个整数表示答案

• 样例输入

• 样例输出

 

 

 

Source: BZOJ 4566

---

 

 

 

广义SAM 或者 在SAM上跑匹配 都能做。

比如建立 广义SAM，处理出每个节点的 $right_1, right_2$ 集合的大小，然后答案就是 $\sum\limits_{x}{\left(max_x-min_x+1\right) \times \left|right_1\right| \times \left|right_2\right|}$ 。

跑匹配的话有点复杂。

首先对 $s_1$ 建立SAM，$s_2$ 放在上面跑匹配，失配了就通过 parent 跳回去。

注意到若匹配到这一节点时已经匹配的长度为 $len$ ，那么长度 $\leq len$ 的字符串（为当前字符串的后缀）也都已经被匹配，即这个节点沿着 parent 树向上的所有节点都被匹配了。

所以按照拓扑序预处理每个节点完全被匹配对答案的贡献 $ans$，即通过 parent 树关系向下贡献，有 $ans_x=ans_{parent_x}+\left(max_x-min_x+1\right) \times \left|right\right|$ 。

匹配到节点 $x$ ，已经匹配的长度为 $len$，那么其对答案的贡献为 $ans_{parent_x}+\left(len-min_x+1\right) \times \left|right\right|$ 。