【bzoj3570】 Cqoi2014—通配符匹配

http://www.lydsy.com/JudgeOnline/problem.php?id=3507 (题目链接)

题意

　　给出一个主串，里面有些通配符，'*'可以代替任意字符串或者消失，'?'可以且仅可以代替一个字符。问能否用这个串匹配一些询问串。

Solution

　　也许我zz了，半天写不出→_→

　　$f[i][j]$表示主串到第$i$个匹配符，询问串到第$j$个字符能否被匹配。转移很简单，hash一下就好了。

细节

　　在主串末尾添加一个'*'。

代码

// bzoj3507
#include<algorithm>
#include<iostream>
#include<cstdlib>
#include<cstring>
#include<cstdio>
#include<cmath>
#define LL long long
#define inf (1ll<<30)
#define Pi acos(-1.0)
#define free(a) freopen(a".in","r",stdin),freopen(a".out","w",stdout);
using namespace std;

const int maxn=100010;
int f[12][maxn],pos[maxn],m,n;
unsigned LL bin[maxn],c[maxn],d[maxn];
char s[maxn],a[maxn];

int main() {
scanf("%s",s+1);
int ll=strlen(s+1);
s[++ll]='*';
for (int i=1;i<=ll;i++)
if (s[i]=='?' || s[i]=='*') pos[++m]=i;
bin[0]=1;for (int i=1;i<=100000;i++) bin[i]=bin[i-1]*127;
for (int i=1;i<=ll;i++) c[i]=c[i-1]*127+s[i];
int T;scanf("%d",&T);
while (T--) {
scanf("%s",a+1);
int n=strlen(a+1);
for (int i=1;i<=n;i++) d[i]=d[i-1]*127+a[i];
memset(f,0,sizeof(f));
f[0][0]=1;
for (int i=0;i<m;i++) {
if (s[pos[i]]=='*')
for (int j=1;j<=n;j++) if (f[i][j-1]) f[i][j]=1;
for (int j=0;j<=n;j++) if (f[i][j]) {
unsigned LL id1=c[pos[i+1]-1]-c[pos[i]]*bin[pos[i+1]-pos[i]-1];
unsigned LL id2=d[j+pos[i+1]-pos[i]-1]-d[j]*bin[pos[i+1]-pos[i]-1];
if (id1!=id2) continue;
if (s[pos[i+1]]=='?') f[i+1][j+pos[i+1]-pos[i]]=1;
else f[i+1][j+pos[i+1]-pos[i]-1]=1;
}
}
puts(f[m]
? "YES" : "NO");
}
return 0;
}