「SDOI2017」文本校正

题目
分类讨论六种排列：
$ABC：$一次哈希判断。
$CAB：$枚举$C$的长度，总共$n$次哈希判断。
$BCA：$枚举$A$的长度，总共$n$次哈希判断。
$CBA：$构造新串$P=s_1{t}_n{s}_2{t}_{n-1}...s_n{t}_1$
那么问题转化为将$P$划分为$3$个偶回文串。
枚举第一个回文串的位置$[1....2x]$，那么就相当于判断$[2x+1...2n]$是否是双偶回文串，也就是判断它是否能分成两个偶回文串。
这个是在《字符串算法选讲 金策》中的经典问题：


它的意思是对于任意一个可以是双回文串的串，对于一种双回文划分$y_1+y_2=s$，只要有一个回文前缀的长度$>y_1$（上面的证明显然需要$|v|>0$），那么对于所有长度$\ge y_2$的回文后缀，$s$去掉它之后的串（是 s s