https://www.luogu.org/problemnew/show/P2444
(没有bzoj权限号T_T)
字符串题对我这种傻逼来说真是太难了x
题意:输入$n$个01组成的模式串串,判断是否存在一个无限长的01串满足任何给定的模式串都不是这个串的子串,$n \leq 2000,\sum len(str) \leq 30000$
首先用模式串构造出AC自动机(其实应该叫Trie图),题目要求的串如果存在,那就相当于在Trie图上存在一个环,这个环不包含任何一个模式串,所以只要构造出来Tire图判断是否存在这样子的环,注意如果Tire图上的某个点$x$是一个模式串的结尾,那么不仅不能够经过$x$,而且不能经过所有包含这个后缀的串,根据$fail$指针的定义就可以直接这样写:
danger[tr[k][i]]|=danger[fail[tr[k][i]]];
完整的代码:
#include<cstdio> #include<cstring> #include<queue> #include<algorithm> using namespace std; const int N=30005; int n,cnt; int tr[N][2],fail[N]; bool danger[N],vis[N],mark[N],flag; char s[N]; queue<int>q; inline void insert(char *c) { int len=strlen(c+1),k=0; for(register int i=1;i<=len;i++) { int t=c[i]-‘0‘; if(!tr[k][t])tr[k][t]=++cnt; k=tr[k][t]; }danger[k]=1; } inline void build() { if(tr[0][0])fail[tr[0][0]]=0,q.push(tr[0][0]); if(tr[0][1])fail[tr[0][1]]=0,q.push(tr[0][1]); while(!q.empty()) { int k=q.front();q.pop(); for(register int i=0;i<=1;i++) { if(!tr[k][i])tr[k][i]=tr[fail[k]][i]; else { fail[tr[k][i]]=tr[fail[k]][i]; danger[tr[k][i]]|=danger[fail[tr[k][i]]];// q.push(tr[k][i]); } } } } inline int dfs(int x) { vis[x]=1; for(register int i=0;i<=1;i++) { int k=tr[x][i]; if(vis[k])return 1; if(mark[k]||danger[k])continue; mark[k]=1; if(dfs(k))return 1; } vis[x]=0;return 0; } int main() { scanf("%d",&n); for(register int i=1;i<=n;i++) { scanf("%s",s+1);insert(s); } build(); if(dfs(0))printf("TAK"); else printf("NIE"); return 0; }
原文地址:https://www.cnblogs.com/yoooshinow/p/8168105.html
时间: 2024-10-15 03:26:02