P1117 [NOI2016]优秀的拆分题解（C++）

优秀的拆分

这题不简单，在洛谷里是一道NOI+的题，算法标签有，SA，字符串，暴力。优秀的拆分网址

题目描述

如果一个字符串可以被拆分为 AABB 的形式，其中 A 和B 是任意非空字符串，则我们称该字符串的这种拆分是优秀的。
例如，对于字符串aabaabaa ，如果令 A=aab，B=a，我们就找到了这个字符串拆分成AABB 的一种方式。

一个字符串可能没有优秀的拆分，也可能存在不止一种优秀的拆分。
比如我们令A=a，B=baa，也可以用 AABB 表示出上述字符串；但是，字符串 abaabaa 就没有优秀的拆分。

现在给出一个长度为 n 的字符串 S，我们需要求出，在它所有子串的所有拆分方式中，优秀拆分的总个数。这里的子串是指字符串中连续的一段。

以下事项需要注意：

1. 出现在不同位置的相同子串，我们认为是不同的子串，它们的优秀拆分均会被记入答案。
2. 在一个拆分中，允许出现 A=B。例如 cccc 存在拆分A=B=c。
3. 字符串本身也是它的一个子串。

输入格式

每个输入文件包含多组数据。

输入文件的第一行只有一个整数 T，表示数据的组数。

接下来 T 行，每行包含一个仅由英文小写字母构成的字符串 S，意义如题所述。

输出格式

输出 T 行，每行包含一个整数，表示字符串 SS 所有子串的所有拆分中，总共有多少个是优秀的拆分。
剩下的请自行看网址内容。

分析

这是一道后缀SA+ST的题目，但是众所周知字符串哈希是一种异常优秀的算法，所以我们使用字符串哈希解决这一道问题。在这道题中字符串哈希相比于SA的方法虽然慢了一个O(logn)O(logn)，但是依旧在复杂度可承受范围内。

在这道题中我们需要求出拆分为AABB形态的方案数量。而我们发现AABB形态就是由两个AA状态的字符串连接形成。

如果我们设Ai表示以i位结尾的AA串数量，以Bi表示以i位开头的AA串数量。则很显然若我们将第i位及以前的部分放一个AA串，在第i+1及以后放一个AA串，他们就可以连在一起成为一个AABB串，所以当前状态对答案的贡献即为Ai * Bi。
如果我们可以求解出AA和BB，则答案即为：
i=1
∑ Ai ∗Bi+1
n−1

现在的问题就是如何求解出A数组与B数组。

如果我们在字符串上每隔lenlen设置一个观察点，相邻观察点的最长公共前缀（LCP）与最长公共后缀（LCS）加起来构成的字符串即为经过两点上的最长相同串，并且若LCP+LCS>=lenLCP+LCS>=len，说明它们相交。若相交有重叠部分，则我们可以通过平移得到多个可行的摆放方案，可以缩短两个区间的尾部，也可以缩短两个区间的头部以使他们不重合（详见代码）。

至于如何求LCP和LCS，当然可以用SA，不过我们这里还是采用字符串，毕竟它写起来十分简易。

通过分析我们已经让大难题变成了水题 。

代码（认真看！！！！！）

#include <bits/stdc++.h>//偷个小懒
using namespace std;

const int mod = 1e9 + 7;
const int maxn = 30005;

int a[maxn], b[maxn];
long long w[maxn], p[maxn];
char s[maxn];

inline int get(int l, int r)
{