Codeforces Round #299 D. Tavas and Malekas（exKMP)

题意读一年…真的很难懂。

首先告诉你有一个未知的串s，然后给你诸多这个s串的信息：
给一个p串，并且告诉你这个p串在s串中出现了m次，而且给出了这m次的出现位置。在s串全部由小写字母组成的前提下，问这个s串有多少种构造方法。

根据题意，是要求出所有可以任意放26个字母的位置个数x，答案就是26的x次方。
然后思考无法构造s串的情况，那么有两种情况，最显然的一种是最后一个位置，如果给出的最后一个位置已经无法放下一个p串，那么无解，输出0；然后就是两个要求放p串的位置如果差值小于p串的长度就会出现重叠，这就要求p串自己跟自己的前后缀必须在这个位置有匹配，如果没有匹配，那也无解。

自身前后缀的匹配可以用扩展kmp中的特殊next数组轻松解决，如果匹配长度刚好是需要的长度，位置合法，反之，s串就无解。

而要统计的x的个数就是最前面的空缺位置，两个要放p串的位置因为距离超过p串的长度而产生的空位，和后面多出来的位置。

最后，特判m等于0的情况。

ac代码：

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;

const int maxn = 1e6 + 5;
const int mod = 1e9 + 7;

char str[maxn];
int n, m, len;
int sub[maxn];

ll modpow(ll a, ll b) {
	ll ans = 1;
	while(b) {
		if(b & 1) {
			ans = (ans * a) % mod;
		}
		b >>= 1;
		a = (a * a) % mod;
	}
	return ans;
}

struct KMP {

	int next[maxn];
	
	void getNext() {
		next[0] = len;
		int pos = 0;
		while(pos + 1 < len && str[pos] == str[pos + 1]) {
			++pos;
		}
		next[1] = pos;
		int k = 1, L;
		for(int i = 2; i < len; i++) {
			pos = k + next[k] - 1;
			L = next[i - k];
			if(i + L <= pos) {
				next[i] = L;
			} else {
				int j = pos - i + 1;
				if(j < 0) {
					j = 0;
				}
				while(i + j < len && str[i + j] == str[j]) {
					++j;
				}
				next[i] = j;
				k = i;
			}
		}
	}


	void solve() {
		if(m == 0) {
			printf("%lld\n", modpow(26, n));
			return;
		}

		len = strlen(str);
		if(sub[m - 1] + len - 1 > n) {
			printf("0\n");
			return;
		}
		getNext();
		// for(int i = 0; i < len; i++) {
		// printf("%d ", next[i]);
		// }
		// printf("\n");
		// return;
		ll ans = 0;
		if(sub[0] != 1) {
			ans = sub[0] - 1;
		}
		for(int i = 1; i < m; i++) {
			int e = sub[i] - sub[i - 1];
			// printf("%d %d\n", e, next[e]);
			if(e < len && next[e] != len - e) {
				printf("0\n");
				return;
			}
			if(e > len) {
				ans += e - len;
			}
		}
		if(sub[m - 1] + len - 1 < n) {
			ans += n - sub[m - 1] - len + 1;
		}
		printf("%lld\n", modpow(26, ans));
	}

} kmp;


int main() {
	scanf("%d%d%s", &n, &m, str);
	for(int i = 0; i < m; i++) {
		scanf("%d", &sub[i]);
	}
	kmp.solve();
	return 0;
}