P2536 [AHOI2005]病毒检测 【LCS型dp】

洛谷P2536

---

SOL

• 在ac自动机上，用 fft实现通配符区间匹配？

• 还是别折腾了。咱先看看数据范围：$len\le 500,n<500$，这是啥？一个个匹配就行了。。。

• 思考一下我们刚学dp时的$LCS$问题，即$longestcommonsequence$。我们可以定义$f[i][j]$表示模式串$1-i$ ，当前串$1-j$能否匹配。$f[len1][len2]$即为成功匹配与否。

• $“?”$很好实现，分析一下$“\ast ”$，有两种，一种是长度为$0$，另一种代替一段。其实是一样的，我们递推地枚举连续长度即可（用前一次的更新当前，或者从0开始）。

• 所以就$O(m\ast n^2\ast 小常数)$做完了。

---

CODE

#include<bits/stdc++.h>
using namespace std;
#define sf scanf
#define pf printf
#define ll long long
#define cs const
#define db double
#define ri register int
#define gc getchar()
#define in red()
inline int red(){
	int num=0,f=1;char c=gc;
	for(;!isdigit(c);c=gc)if(c=='-')f=-1;
	for(;isdigit(c);c=gc)num=(num<<1)+(num<<3)+(c^48);
	return num*f;
}
bool f[1001][501];
char s[1001],now[1001];
int n,ans=0;
signed main(){
	sf("%s",s+1);
	n=in;
	while(n--){
		memset(f,0,sizeof (f));
		sf("%s",now+1);
		f[0][0]=1;f[1][0]=(s[1]=='*');
		for(ri i=1,up=strlen(s+1);i<=up;++i){
			for(ri j=1,up1=strlen(now+1);j<=up1;++j){
				if(s[i]=='*')f[i][j]|= f[i-1][j] | f[i][j-1] ;
				else if(s[i]=='?'||s[i]==now[j])f[i][j]|=f[i-1][j-1];
			}
		}
		ans+=(f[strlen(s+1)][strlen(now+1)]==0);
	}
	cout<<ans;



	return 0;
}