BZOJ 3507 通配符匹配(贪心+hash或贪心+AC自动机)

首先可以对n个目标串单独进行处理。

对于每个目标串，考虑把模式串按'*'进行划分为cnt段。首尾两段一定得于原串进行匹配。剩下的cnt-2段尽量与最靠左的起点进行匹配。

对于剩下的cnt-2段。每段又可以通过‘?’划分为k个子串。对每个子串求出hash值。然后通过枚举起点与目标串的某个区间的hash进行判断。

就可以在O(k)的时间进行每一次的枚举了。对于目标串区间的hash值。可以通过预处理hash前缀进行O(1)询问。

而最多进行len次枚举。所以总复杂度为O(n*len*k).

另外判断子串匹配目标串的区间用AC自动机也是可以的。

# include <cstdio>
# include <cstring>
# include <cstdlib>
# include <iostream>
# include <vector>
# include <queue>
# include <stack>
# include <map>
# include <set>
# include <cmath>
# include <algorithm>
using namespace std;
# define lowbit(x) ((x)&(-x))
# define pi 3.1415926535
# define eps 1e-
# define MOD
# define INF
# define mem(a,b) memset(a,b,sizeof(a))
# define FOR(i,a,n) for(int i=a; i<=n; ++i)
# define FO(i,a,n) for(int i=a; i<n; ++i)
# define bug puts("H");
# define lch p<<,l,mid
# define rch p<<|,mid+,r
# define mp make_pair
# define pb push_back
typedef pair<int,int> PII;
typedef vector<int> VI;
# pragma comment(linker, "/STACK:1024000000,1024000000")
typedef long long LL;
inline int Scan() {
    int x=,f=;char ch=getchar();
    while(ch<''||ch>''){if(ch=='-')f=-;ch=getchar();}
    while(ch>=''&&ch<=''){x=x*+ch-'';ch=getchar();}
    return x*f;
}
void Out(int a) {
    if(a<) {putchar('-'); a=-a;}
    if(a>=) Out(a/);
    putchar(a%+'');
}
const int N=;
//Code begin...

char str[N], ss[N];
int hs[N], shs[N], xing[], pos, bg, ed;
struct Node{int x, len; bool flag;}node[];

int get_hash(int l, int r){return shs[r]-shs[l-]*hs[r-l+];}
bool check(int be, int L){
    int sum=;
    FOR(i,,L) if (node[i].flag) sum+=node[i].x; else sum+=node[i].len;
    if (be+sum>ed+) return false;
    FOR(i,,L) {
        if (node[i].flag) be+=node[i].x;
        else {
            if (get_hash(be,be+node[i].len-)!=node[i].x) return false;
            be+=node[i].len;
        }
    }
    return true;
}
bool sol(){
    int num, sum, l, cnt, ll;
    FOR(i,,pos) {
        if (xing[i]-xing[i-]<=) continue;
        sum=num=l=ll=cnt=;
        FOR(j,xing[i-]+,xing[i]-) {
            if (str[j]=='?') {
                ++num;
                if (l) node[++cnt].x=sum, node[cnt].len=l; node[cnt].flag=, sum=l=;
            }
            else {
                sum=sum*MOD+str[j]; ++l;
                if (num) node[++cnt].x=num, node[cnt].flag=, num=;
            }
        }
        if (l) node[++cnt].x=sum, node[cnt].len=l; node[cnt].flag=, sum=l=;
        if (num) node[++cnt].x=num, node[cnt].flag=, num=;
        while (bg<=ed&&!check(bg,cnt)) ++bg;
        if (!check(bg,cnt)) return false;
        FOR(i,,cnt) if (node[i].flag) ll+=node[i].x; else ll+=node[i].len;
        bg+=ll;
    }
    return true;
}
int main ()
{
    hs[]=; FO(i,,N) hs[i]=hs[i-]*MOD;
    scanf("%s",str+);
    int T;
    scanf("%d",&T);
    while (T--) {
        scanf("%s",ss+);
        pos=; bg=; ed=strlen(ss+);
        for (int i=; ss[i]; ++i) shs[i]=shs[i-]*MOD+ss[i];
        int l=, r=strlen(str+);
        int flag=;
        while (str[l]!='*'&&l<=r&&bg<=ed) {
            if (str[l]=='?'||str[l]==ss[bg]) ++l, ++bg;
            else {flag=; break;}
        }
        while (str[r]!='*'&&l<=r&&bg<=ed) {
            if (str[r]=='?'||str[r]==ss[ed]) --r, --ed;
            else {flag=; break;}
        }
        if (flag) {puts("NO"); continue;}
        FOR(i,l,r) if (str[i]=='*') xing[++pos]=i;
        if (pos==&&bg<=ed) {puts("NO"); continue;}
        puts(sol()?"YES":"NO");
    }
    return ;
}