【DG特长生2020 T3】K星人的语言

K星人的语言

题目链接：None

题目大意

给出你一些合法的单词，要你把一个字符串的一些字符删掉，使得它可以用合法单词组合而成。
输出最小删除字符的个数。

思路

我们考虑进行 DP，设 $f_i$ 为把字符串的前 $i$ 个删去一定字符构成合法的，至少要删多少个。

然后我们考虑在最后面弄出一个单词，那我们就要枚举弄出哪个单词。
那这个单词要从哪个区间找出来呢？我们可以从 $i$ 开始往前，不断地匹配，组出这个单词，在组出单词的位置 $j+1$，就是区间的左端点，右端点就是 $i$，那就是 $f_j+waste$。（$waste$ 就是组的过程中浪费的单词，在匹配的过程中统计）
然后每个单词都这么求一遍，最小的就是 $f_i$ 了。

那为什么左端点在组出这个单词就停了呢？
因为你继续往左，你只用组一个单词，后面的一定会被浪费掉，而如果留到前面解决，它可能会被前面的单词匹配，就不会被浪费。

代码

#include<cstdio>
#include<cstring>
#include<iostream>

using namespace std;

int w, l, wn[601];
//int waste[601][301][301];
int f[301];
char s[301], word[601][31];

int main() {
//	freopen("lexicon.in", "r", stdin);
//	freopen("lexicon.out", "w", stdout);
	
	memset(f, 0x7f, sizeof(f));
	
	scanf("%d %d", &w, &l);
	scanf("%s", s + 1);
	for (int i = 1; i <= w; i++) {
		scanf("%s", word[i] + 1);
		wn[i] = strlen(word[i] + 1);
		
		//这种 DP 比较不优，但是还是勉强可以过的
//		for (int j = 1; j <= l; j++) {
//			int build = 0;
//			for (int k = 1; k <= j; k++) {
//				if (word[i][wn[i] - build] == s[j - k + 1]) {
//					build++;
//				}
//				waste[i][j][k] = waste[i][j][k - 1] + 1;
//				if (build == wn[i]) {
//					waste[i][j][k] -= wn[i];
//					build = 0;
//				}
//			}
//		}
	}
	
//	f[0] = 0;
//	for (int i = 1; i <= l; i++)
//		for (int j = 1; j <= i; j++)
//			for (int k = 1; k <= w; k++)
//				f[i] = min(f[i], f[i - j] + waste[k][i][j]);
	
	f[0] = 0;
	for (int i = 1; i <= l; i++)
		for (int k = 1; k <= w; k++) {//枚举用的单词
			int j = i, build = 0, waste = 0;
			while (build < wn[k]) {//往前匹配，找到可以组出这个单词的最短子串（右端点固定）
				if (s[j] == word[k][wn[k] - build]) {//可以组这个单词
					build++;
				}
				else waste++;//组不了，浪费掉
				j--;
				if (j == 0) break;//一直到最前面组不成这个单词
			}
			if (build < wn[k]) {//组不成这个单词，组到一半的也浪费了
				waste += build;
				build = 0;
			}
			f[i] = min(f[i], f[j] + waste);//转移
		}
	
	printf("%d", f[l]);
	
	fclose(stdin);
	fclose(stdout);
	
	return 0;
}