题目链接: http://acm.hdu.edu.cn/showproblem.php?pid=4763
-------------------------------------------------------------------------------------------
数据范围卡了$SA$但数据却没能构造到卡一些理论复杂度更高的方法
这里说一下比较靠谱的$exkmp$的做法
根据$exkmp$的$next$数组定义
我们可以用$O(n)$的时间得到一个后缀与整个串的最长公共前缀的长度
然后我们就可以根据$next[n - i + 1]$与$i$是否相等判断前后缀是否相等
而对于中间的部分 我们知道如果 $next[i + 1]$到$next[n - i]$中的最大值不小于$i$
那么$i$即为一个可行解
但此处直接扫描的话复杂度显然不够 再观察可以发现如果我们把答案从大到小枚举
那么这个取最大值区间的范围是逐渐增大的 于是均摊下来的复杂度还是线性的
1 #include <cstdio> 2 #include <cstring> 3 #include <cmath> 4 #include <algorithm> 5 using namespace std; 6 const int N = 1e6 + 10; 7 char s[N]; 8 int nexte[N]; 9 int t, ans, n; 10 int main() 11 { 12 scanf("%d", &t); 13 while(t--) 14 { 15 scanf("%s", s + 1); 16 n = strlen(s + 1); 17 if(n <= 2) 18 { 19 puts("0"); 20 continue; 21 } 22 nexte[1] = n; 23 int id = 2, p = 1; 24 while(p < n && s[p] == s[p + 1]) 25 ++p; 26 nexte[2] = p - 1; 27 for(int i = 3; i <= n; ++i) 28 { 29 int l = nexte[i - id + 1]; 30 if(i + l <= p) 31 nexte[i] = l; 32 else 33 { 34 p = max(p, i - 1); 35 while(p < n && s[p - i + 2] == s[p + 1]) 36 ++p; 37 nexte[i] = p - i + 1; 38 id = i; 39 } 40 } 41 int len = n / 3, mx = 0; 42 for(int i = len + 1; i <= n - len; ++i) 43 mx = max(mx, nexte[i]); 44 ans = 0; 45 for(int i = len; i; --i) 46 { 47 if(nexte[n - i + 1] == i && mx >= i) 48 { 49 ans = i; 50 break; 51 } 52 mx = max(mx, nexte[i]); 53 mx = max(mx, nexte[n - i + 1]); 54 } 55 printf("%d ", ans); 56 } 57 return 0; 58 }