【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;
}