【BZOJ2121】字符串游戏【区间DP】

【题目链接】

int开成bool，调了半天...

设ok[i][j]表示模板串[i, j]这段是否能被删除完，再设dp[i]表示模板串[1, i]删除之后最少剩多少字母，那么显然有

dp[i] = dp[i - 1] + 1

if(ok[j][i]) dp[i] = min(dp[i], dp[j - 1])

现在考虑如何得到ok[i][j]。

设f[i][j][k][t]表示模板串[i, j]能否能表示第k个单词的前t个字母，那么有转移

f[i][j][k][t] |= f[i][j - 1][k][t - 1] && 第k个单词的第t个字母 == 模板串的第j个字母

注意这个转移并没有考虑模板串可以删除这个条件，于是还得额外转移。

枚举区间[i, j]的分割点d，那么有转移

if(ok[d + 1][j]) f[i][j][k][t] |= f[i][d][k][t]

求出f后，然后考虑怎么求出ok数组

显然ok[i][j] |= f[i][j][k][len[k]]...

注意枚举i的时候，可以逆序枚举，这样可以省点空间。

另外因为t不超过20，所以可以压一下，这样更快。（懒得写了）

/* Forgive me Not */
#include <cstdio>
#include <cstring>
#include <algorithm>

using namespace std;

const int maxn = 160, maxs = 32, maxl = 25;

int n, len[maxs], dp[maxn];
char s[maxn], str[maxs][maxl];
bool f[maxn][maxs][maxl], ok[maxn][maxn];

int main() {
	scanf("%s%d", s + 1, &n); int l = strlen(s + 1);
	for(int i = 1; i <= n; i++) {
		scanf("%s", str[i] + 1);
		len[i] = strlen(str[i] + 1);
	}

	for(int i = l; i; i--) {
		memset(f, 0, sizeof(f));
		for(int k = 1; k <= n; k++)
			f[i - 1][k][0] = 1;

		for(int j = i; j <= l; j++) {
			for(int k = 1; k <= n; k++)
				for(int t = 1; t <= len[k]; t++)
					f[j][k][t] |= f[j - 1][k][t - 1] && str[k][t] == s[j];
			for(int d = i; d <= j; d++) if(ok[d + 1][j])
				for(int k = 1; k <= n; k++)
					for(int t = 1; t <= len[k]; t++)
						f[j][k][t] |= f[d][k][t];
		}

		for(int j = i; j <= l; j++)
			for(int k = 1; k <= n; k++)
				ok[i][j] |= f[j][k][len[k]];
	}

	for(int i = 1; i <= l; i++) {
		dp[i] = dp[i - 1] + 1;
		for(int j = 1; j <= i; j++) if(ok[j][i])
			dp[i] = min(dp[i], dp[j - 1]);
	}

	printf("%d\n", dp[l]);
	return 0;
}