HDU - 4763 Theme Section(拓展kmp)

题目大意：给你一个字符串，要求你找出符合EAEBE的最长的E(E,A,B都是字符串)，要求任意两个E没有交集

解题思路：E串的限制条件就是min(i, next[i], (len - i) / 2)，找到最大的符合题意的长度限制
接着从字符串的2/3的后面开始找(因为E串的长度不能大于1/3，不然就覆盖了)找到i + next[i] == len，这种情况表示的是最后一个E。但还得判断一下长度是不是超过了(如果长度超过了，表示两个E相互覆盖了)，因为我们前面已经判断了最长的符合三种情况的长度了，所以只要比较一下就可以了

这里稍微证明一下为什么上述方案可行
首先讨论一下：(以下说的后面的E都是指长度2/3后面的那个E)
1.如果中间的E和最后的E都不存在的情况，第二个条件i + next[i] == len就不符合了

2.如果中间的E在，而最后的E不在，那么第二个条件还是不会符合

3.如果中间的E不在，而最后的E在，那么i + next[i] == len的那种情况的满足了最长的长度限制，可得min(i, next[i], (len - i) / 2)，因为i = len - next[i]，所以得到的长度限制会是min(i, next[i] / 2),因为i肯定大于next[i] / 2的 ，那么第三个条件就不符了（next[i] <= 长度限制）所以答案还是0

4.中间的E和最后的E都存在，这里分两种情况
一种是两个E有交集，这样的话，取min(i, next[i], (len - i) / 2)，因为两者有交集，所以(len - i) / 2的长度小于最后一个next，所以不符

另一种就是没有交集的了，这种情况就是符合条件的情况了，因为都没有交集，所以求出来的最大长度限制不是中缀的，就是后缀的了

一.如果最大长度限制是后缀的，前面已经讨论了，不符合题意

二.最大长度限制是中缀的，这样的话就要判断后缀的next和最大长度限制的关系了
如果大于最大长度限制，表示无法构成EAEBE这种情况，因为中缀的E不符合
如果小于等于了，因为没有交集，所以肯定就是符合的了

#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std;
const int N = 1000010;

char str[N];
int len;
int Next[N], ex[N];

void getNext() {
    Next[0] = len;
    int i;
    for (i = 0; str[i] == str[i + 1] && i + 1 < len; i++);
    Next[1] = i;
    int a = 1;
    for (int k = 2; k < len; k++) {
        int p = a + Next[a] - 1, L = Next[k - a]; 
        if (k + L - 1 >= p) {
            int j = max(p - k + 1, 0);
            while (k + j < len && str[j] == str[k + j]) j++;
            Next[k] = j;
            a = k;
        }
        else Next[k] = L;
    }
}

void getExtend() {
    ex[0] = len;
    int a = 0;
    for (int  k = 1; k < len; k++) {
        int p = a + ex[0] - 1, L = Next[k - a];
        if (k + L - 1 >= p) {
            int j = max(p - k + 1, 0);
            while (j + k < len && str[j] == str[j + k]) j++;
            ex[k] = j;
            a = k;
        }
        else ex[k] = L;
    }
}

void init() {
    scanf("%s", str);
    len = strlen(str);
    getNext();
    getExtend();
}

void solve() {
    int maxLen = 0;
    for (int i = 0; i < len; i++) {
        int t = min(i, Next[i]);
        t = min(t, (len - i) / 2);
        maxLen = max(maxLen, t);
    }

    int ans = 0;
    for (int i = len - len / 3; i < len; i++) {
        if (i + Next[i] != len) continue;
        if (Next[i] <= maxLen) {
            ans = Next[i];
            break;
        }
    }
    printf("%d\n", ans);
}

int main() {
    int test;
    scanf("%d", &test);
    while (test--) {
        init();
        solve();
    }
    return 0;
}