[noi1755]Trie

定义S对应的数组为$a_{i}=\min_{0\le j<i,S_{j}=S_{i}}i-j$，特别的，若不存在j，令$a_{i}=i$，那么容易发现存在双射关系就意味这两者对应的数组相同

因此，考虑需要单词为$a_{i}$，询问串对应的为$b_{i}$，那么如果$b[i,i+l_{a})$与$a$存在双射，当且仅当对于任意j，都有$a_{j}=b_{i+j}\vee (a_{j}=j\wedge b_{i+j}>j)$

具体的，使用AC自动机来判断，由于$b_{i+j}>j$的判断，因此要存储当前节点的深度

#include<bits/stdc++.h>
using namespace std;
#define N 100005
int V,n,m,l,las[31],d[N],vis[N],nex[N],a[N*5];
char s[N*5];
queue<int>q;
map<int,int>ch[N];
map<int,int>::iterator it;
void hash(){
    memset(las,-1,sizeof(las));
    for(int i=0;i<l;i++){
        a[i]=i-las[s[i]-'A'];
        las[s[i]-'A']=i;
    }
}
void add(){
    int k=0;
    for(int i=0;i<l;i++){
        if (!ch[k][a[i]])ch[k][a[i]]=++V;
        k=ch[k][a[i]];
        d[k]=i+1;
    }
    vis[k]=1;
}
bool query(){
    int k=0;
    for(int i=0;i<l;i++){
        while ((k)&&(!ch[k][min(a[i],d[k]+1)]))k=nex[k];
        if (ch[k][min(a[i],d[k]+1)])k=ch[k][min(a[i],d[k]+1)];
        if (vis[k])return 1;
    }
    return 0;
}
void bfs(){
    q.push(0);
    while (!q.empty()){
        int k=q.front();
        q.pop();
        vis[k]|=vis[nex[k]];
        for(it=ch[k].begin();it!=ch[k].end();it++){
            int i=nex[k];
            while ((i)&&(!ch[i][min((*it).first,d[i]+1)]))i=nex[i];
            q.push((*it).second);
            if (k)nex[(*it).second]=ch[i][min((*it).first,d[i]+1)];
        }
    }
}
int main(){
    scanf("%d",&n);
    for(int i=1;i<=n;i++){
        scanf("%s",s);
        l=strlen(s);
        hash();
        add();
    }
    bfs();
    scanf("%d",&m);
    for(int i=1;i<=m;i++){
        scanf("%s",s);
        l=strlen(s);
        hash();
        if (query())printf("Yes\n");
        else printf("No\n");
    }
}