[TJOI 2018]游园会

题意：求NOI的合法串。。。

思路：

首先这个似乎和后缀自动机没关系（话说TJ不考后缀自动机？？），其实就是一个\(DP\)套\(DP\)，考虑如果不看兑奖串就是一个LCS，当出现时多记一维即可。

#include <bits/stdc++.h>
using namespace std;
const int maxn = 100010;
const int mod = 1e9+7;
int bit[maxn];
int t[maxn][3];
int dp[21];
int g[21];
int f[2][maxn][3][3];
int ans[21];
int n,m;
int k;
int a[21];
char s[21];
int nw = 1;
int nxt;
inline int read() {
	int q=0,f=1;char ch = getchar();
	while(!isdigit(ch)) {
		if(ch=='-') f = -1;ch = getchar();
	}
	while(isdigit(ch)) {
		q=q*10+ch-'0';ch = getchar();
	}
	return q*f;
}
inline void upd(int &x,int y) {
	x += y;
	if(x >= mod) x -= mod;
}

int main () {
	m = read(),n = read();
	scanf("%s",s+1);
	int lim = (1 << n);
	for(int i = 1;i < lim; ++i) {
		bit[i] = bit[i >> 1] + (i & 1);
	}
	for(int i = 1;i <= n; ++i) {
		if(s[i] == 'N') a[i] = 0;
		if(s[i] == 'O') a[i] = 1;
		if(s[i] == 'I') a[i] = 2;
	}
	for(int k = 0;k < lim; ++k) {
		for(int i = 1;i <= n; ++i) {
			dp[i] = dp[i - 1] + (k >> (n - i) & 1);
		}
		for(int i = 0;i < 3; ++i) {
			for(int j = 1;j <= n; ++j) {
				if(i == a[j]) {
					g[j] = dp[j - 1] + 1;
				}
				else g[j] = max(g[j - 1],dp[j]);
			}
			for(int j = 1;j <= n; ++j) {
				if(g[j] == g[j - 1] + 1) {
					t[k][i] |= 1 <<n - j;
				}
			}
		}
	}
	f[0][0][0][0] = 1;
	for(int i = 1;i <= m; ++i) {
		swap(nw,nxt);
		for(int j = 0;j < lim; ++j) {
			memset(f[nxt][j],0,sizeof(f[nxt][j]));
		}
		if(i <= 2) {
			for(int j = 0;j < lim; ++j) {
				for(int k = 0;k < 3; ++k) {
					for(int l = 0;l < 3; ++l) {
						if(f[nw][j][k][l])
						for(int r = 0;r < 3; ++r) {
							upd(f[nxt][t[j][r]][l][r],f[nw][j][k][l]);
						}
					}
				}
			}
		}
		else {
			for(int j = 0;j < lim ;++j) {
				for(int k = 0;k < 3; ++k) {
					for(int l = 0;l < 3; ++l) {
						if(f[nw][j][k][l]) {
							int res = f[nw][j][k][l];
							for(int r = 0;r < 3; ++r) {
								if(!k && l == 1 && r == 2) continue;
								upd(f[nxt][t[j][r]][l][r],res);
							}
						}
					}
				}
			}
		}
	}
	for(int i = 0;i < lim; ++i) {
		for(int j = 0;j < 3; ++j) {
			for(int k = 0;k < 3 ; ++k) {
				upd(ans[bit[i]],f[nxt][i][j][k]);
			}
		}
	}
	for(int i = 0;i <= n; ++i) printf("%d\n",ans[i]);
	return 0;
}