[CQOI2014]通配符匹配

Description

几乎所有操作系统的命令行界面(CLI)中都支持文件名的通配符匹配以方便用户。最常见的通配符有两个，一个是星号(“”’)，可以匹配0个及以上的任意字符：另一个是问号(“？”)，可以匹配恰好一个任意字符。

现在需要你编写一个程序，对于给定的文件名列表和一个包含通配符的字符串，判断哪些文件可以被匹配。

Input

第一行是一个由小写字母和上述通配符组成的字符串。

第二行包含一个整数n，表示文件个数。

接下来n行，每行为一个仅包含小写字母字符串，表示文件名列表。

Output

输出n行，每行为“YES”或“NO”，表示对应文件能否被通配符匹配。

Sample Input

*aca?ctc

6

acaacatctc

acatctc

aacacatctc

aggggcaacacctc

aggggcaacatctc

aggggcaacctct

Sample Output

YES

YES

YES

YES

YES

NO

HINT

对于1 00%的数据

字符串长度不超过100000

1 <=n<=100

通配符个数不超过10

---

本题有弱化版[AHOI2005]VIRUS 病毒检测，题解

关于这题有很多解法，例如KMP，Hash啥的……但是既然这题有AC自动机的标签，那么我们肯定要用AC自动机去解决对吧？

然后冥思苦想没有结果……滚去看题解，然后发现这题AC自动机的做法甚是巧妙

首先将模板串按'*'分段，每一段建立一个AC自动机，每个AC自动机里面的串按照'?'分成多个串建成一棵trie树

然后呢？我们考虑一下某个AC自动机的字符'abcd?abc?cd?abcd'

然后绿色的是终止节点（多个终止就开个vector），然后我们把其他串拿进来匹配后，每碰到一个绿色点，我们就让\(C[pos-End[p][i]]\)加1，其中pos是当前匹配位置（匹配串），p是AC自动机中位置，End[p]就是vector，这样处理完后，我们再次扫一遍匹配，看一下哪个位置的\(C[i]\)与段数相等，那么它就可以作为这段模板串的匹配起点

注意匹配的时候匹配串是不需要切成一段段再进去匹配的，你可以每次都整串匹配，但是需要开一个变量记录上一次匹配到的最靠前的位置，然后判断一下即可

最前面和最后面需要根据'*'的有无进行特判

匹配串在一个个AC自动机中不一定要匹配连续的一段，因为存在'*'这种高级玩意

/*program from Wolfycz*/
#include<cmath>
#include<cstdio>
#include<vector>
#include<cstring>
#include<iostream>
#include<algorithm>
#define inf 0x7f7f7f7f
#define for_vec(it,x) for (vector<int>::iterator it=x.begin();it!=x.end();it++)
using namespace std;
typedef long long ll;
typedef unsigned int ui;
typedef unsigned long long ull;
inline char gc(){
	static char buf[1000000],*p1=buf,*p2=buf;
	return p1==p2&&(p2=(p1=buf)+fread(buf,1,1000000,stdin),p1==p2)?EOF:*p1++;
}
inline int frd(){
	int x=0,f=1;char ch=gc();
	for (;ch<'0'||ch>'9';ch=gc())	if (ch=='-')    f=-1;
	for (;ch>='0'&&ch<='9';ch=gc())	x=(x<<1)+(x<<3)+ch-'0';
	return x*f;
}
inline int read(){
	int x=0,f=1;char ch=getchar();
	for (;ch<'0'||ch>'9';ch=getchar())	if (ch=='-')	f=-1;
	for (;ch>='0'&&ch<='9';ch=getchar())	x=(x<<1)+(x<<3)+ch-'0';
	return x*f;
}
inline void print(int x){
	if (x<0)    putchar('-'),x=-x;
	if (x>9)	print(x/10);
	putchar(x%10+'0');
}
const int N=1e5;
int pos[N+10],pos_cnt,lenS;
bool BGN,END;
struct S1{
	int trie[N+10][26],fail[N+10];
	int tot,root,num,L;
	vector<int>End[N+10];
	void insert(char *s,int l,int r){
		static char T[N+10];
		for (int i=l;i<r;i++)	T[i-l]=s[i];
		int len=r-l,p=root; T[len++]='?';
		for (int i=0;i<len;i++){
			while (T[i]=='?'&&i<len){
				if (i&&T[i-1]!='?')	End[p].push_back(i-1),num++;
				p=root,i++;
			}
			if (i>=len)	break;
			if (!trie[p][T[i]-'a'])	trie[p][T[i]-'a']=++tot;
			p=trie[p][T[i]-'a'];
		}L=--len;
	}
	void make_fail(){
		static int h[N+10];
		int head=1,tail=0;
		for (int i=0;i<26;i++)	if (trie[root][i])	h[++tail]=trie[root][i];
		for (;head<=tail;head++){
			int Now=h[head];
			for_vec(it,End[fail[Now]])	End[Now].push_back(*it);
			for (int i=0;i<26;i++){
				if (trie[Now][i]){
					int son=trie[Now][i];
					fail[son]=trie[fail[Now]][i];
					h[++tail]=son;
				}else	trie[Now][i]=trie[fail[Now]][i];
			}
		}
	}
	bool check(char *s,bool Fir,bool Lst){
		static int cnt[N+10];
		memset(cnt,0,sizeof(cnt));
		int len=strlen(s),p=root;
		for (int i=0;i<len;i++){
			p=trie[p][s[i]-'a'];
			for_vec(it,End[p])	if (i>=*it)	cnt[i-*it]++;
		}
		for (int i=0;i<len;i++){
			if (cnt[i]!=num)	continue;
			if (!pos_cnt){
				if (!BGN&&Fir&&i)	break;
				if (!END&&Lst&&len-i!=L)	break;
				pos[++pos_cnt]=i+L;
				return 1;
			}else{
				if (i<pos[pos_cnt])	continue;
				if (!END&&Lst&&len-i!=L)	break;
				pos[++pos_cnt]=i+L;
				return 1;
			}
		}
		return 0;
	}
}AC[10];//Aho-Corasick automaton
char s[N+10];
int main(){
	scanf("%s",s);
	int len=strlen(s),tot=0; lenS=len;
	BGN=s[0]=='*',END=s[len-1]=='*',s[len++]='*';
	for (int i=0,Last=0;i<len;i++){
		if (s[i]=='*'){
			if (i>Last)	AC[tot++].insert(s,Last,i);
			Last=i+1;
		}
	}
	for (int i=0;i<tot;i++)	AC[i].make_fail();
	for (int Q=read();Q;Q--){
		if (!len){
			printf("NO\n");
			continue;
		}
		if (!tot){
			printf("YES\n");
			continue;
		}
		memset(s,0,sizeof(s));
		memset(pos,0,sizeof(pos)); pos_cnt=0;
		scanf("%s",s);
		bool flag=1;
		for (int i=0;i<tot;i++){
			if (!AC[i].check(s,i==0,i==tot-1)){
				flag=0;
				break;
			}
		}
		printf(flag?"YES\n":"NO\n");
	}
	return 0;
}