【BZOJ3507】通配符匹配（哈希，动态规划）

【BZOJ3507】通配符匹配（哈希，动态规划）

题面

BZOJ

题解

对于匹配唯一存在影响的只有通配符，而$?$的影响也并不大，所以唯一需要仔细考虑的是$*$。
考虑一个$dp$，设$f[i][j]$表示上面匹配到第$i$个字符，下面匹配到第$j$个字符是否存在方案。
转移也很显然，但是我们注意到，母串的确定字符是没有任何意义的，
一旦通配符考虑清楚了就只需要一一对应就好了。
那么，设$f[i][j]$表示上面匹配到了第$i$个通配符，下面匹配到了第$j$个位置的方案数。
转移的时候考虑一下通配符是什么，以及不包含通配符的字符部分是否相等。
这题就很容易解决了。

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cmath>
#include<algorithm>
using namespace std;
#define MAX 222222
#define ull unsigned long long
const int base=2333;
ull h1[MAX],h2[MAX],pw[MAX];
char ch[MAX],s[MAX];
int P[50],tot,n,m;
bool f[20][MAX];
int main()
{
	scanf("%s",s+1);n=strlen(s+1)+1;s[n]='?';
	pw[0]=1;for(int i=1;i<MAX;++i)pw[i]=pw[i-1]*base;
	for(int i=1;i<=n;++i)h1[i]=h1[i-1]*base+s[i];
	for(int i=1;i<=n;++i)if(s[i]=='*'||s[i]=='?')P[++tot]=i;
	int T;scanf("%d",&T);
	while(T--)
	{
		memset(f,0,sizeof(f));f[0][0]=1;
		scanf("%s",ch+1);m=strlen(ch+1);ch[++m]='#';
		for(int i=1;i<=m;++i)h2[i]=h2[i-1]*base+ch[i];
		for(int j=0;j<=tot;++j)
		{
			if(s[P[j]]=='*')
				for(int i=1;i<=m;++i)f[j][i]|=f[j][i-1];
			for(int i=0;i<=m;++i)
			{
				if(!f[j][i])continue;
				int l1=i+1,r1=i+(P[j+1]-P[j])-1;
				int l2=P[j]+1,r2=P[j+1]-1;
				if(h2[r1]-h2[l1-1]*pw[r1-l1+1]==h1[r2]-h1[l2-1]*pw[r2-l2+1])
				{
					if(s[P[j+1]]=='?')f[j+1][r1+1]|=f[j][i];
					else f[j+1][r1]|=f[j][i];
				}
			}
		}
		puts(f[tot][m]?"YES":"NO");
	}
	return 0;
}