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+;
 char s[N];
 bool valid[N];
 int next[N];
 void getNext(char *word,int n=){
     n=(n==)?strlen(word):n;
     memset(next,,sizeof(next));
     int i,j;
     for (i=;i<n;i++){
         j=i;
         while (j){
             j=next[j];
             if (word[i]==word[j]){
                 next[i+]=j+;
                 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=;i<=c;i++)
         scanf("%d",pos+i);
     pos[]=-m;pos[++c]=n+;
     int space=;
     bool ok=true;
     for (int i=;i<=c;i++) {
         pos[i]--;
         if (pos[i-]+m>pos[i]) {
             if (!valid[m-pos[i]+pos[i-]])
                 ok=false;
         }
         else {
             space+=pos[i]-(pos[i-]+m);
         }
     }
     if (!ok)
         cout<<<<endl;
     else {
         long long ret=;
         for (int i=;i<=space;i++)
             ret=ret*26LL%;
         cout<<ret<<endl;
     }
     return ;
 }