CF #299 div1 B. Tavas and Malekas KMP-next数组

题目链接：http://codeforces.com/contest/536/problem/B

一个原始字符串，一个未知字符串，每一次从pos[i]开始覆盖未知字符串，问最后字符串的形式，以及判断过程中是否有矛盾。

过程中pos是升序的，所以如果任意连续两次操作，如果覆盖范围不重叠，则没事，否则需要判断原始字符串某一个后缀是否同时也是前缀。这个可以用next数组，z函数，后缀数组等计算。

#include <iostream>
#include <vector>
#include <algorithm>
#include <string>
#include <string.h>
#include <stdio.h>
#include <math.h>
#include <stdlib.h>
#include <queue>
#include <stack>
#include <map>
#include <set>

using namespace std;

const int N=1e6+12345;
char s[N];
bool valid[N];
int next[N];
void getNext(char *word,int n=0){
    n=(n==0)?strlen(word):n;
    memset(next,0,sizeof(next));
    int i,j;
    for (i=1;i<n;i++){
        j=i;
        while (j){
            j=next[j];
            if (word[i]==word[j]){
                next[i+1]=j+1;
                break;
            }
        }
    }
}
int pos[N];
int main () {
    int n,c;
    scanf("%d %d",&n,&c);
    scanf("%s",s);
    int m=strlen(s);
    getNext(s,m);
    for (int i=m;i;i=next[i])
        valid[i]=true;
    for (int i=1;i<=c;i++)
        scanf("%d",pos+i);
    pos[0]=-m;pos[++c]=n+1;
    int space=0;
    bool ok=true;
    for (int i=1;i<=c;i++) {
        pos[i]--;
        if (pos[i-1]+m>pos[i]) {
            if (!valid[m-pos[i]+pos[i-1]])
                ok=false;
        }
        else {
            space+=pos[i]-(pos[i-1]+m);
        }
    }
    if (!ok)
        cout<<0<<endl;
    else {
        long long ret=1;
        for (int i=1;i<=space;i++)
            ret=ret*26LL%1000000007;
        cout<<ret<<endl;
    }
    return 0;
}