标签：01 trie ll POI2000 40000 fail include 病毒

（2021的第一篇博客，当鸽子好久了，开始沉淀）

题意

给定一些\(01\)串，问是否存在一个任意长的\(01\)串不包含所给的任意一个\(01\)串

想法

因为有多个文本串，所以明显考虑\(AC自动机\)，不同的是这次是要我们来找原串，我们可以发现将\(trie\)树进行\(fail\)边匹配的时候
其实是把树扩展了图。
如果存在这样一个原串 可以不包含任意一个串 那我们来想一下他在自动机上要怎么匹配
显然是会一直匹配下去，形成一个环！
所以我们在\(trie\)图上找环即可，注意当一个点的\(fail\)边所对应的节点是结束节点的话，要把这个点也认为是结束节点

代码

#include<iostream>
#include<cstdio>
#include<cstring>
#include<queue>
#define ll long long

ll n,cnt;

using std::queue;

char num[30005];

ll trie[40000][5],fail[40000];

bool end[40000];

void insert(){
	ll now = 0;
	ll len = strlen(num + 1);
	for(int i = 1;i <= len;++i){
		if(!trie[now][num[i] - '0'])
		++cnt,trie[now][num[i] - '0'] = cnt;;
		now = trie[now][num[i] - '0'];
	}
	end[now] = 1;
}

queue<int>QWQ;

void get_fail(){
	for(int i = 0;i <= 1;++i)
	if(trie[0][i]) fail[trie[0][i]] = 0,QWQ.push(trie[0][i]);
	while(!QWQ.empty()){
		int u = QWQ.front();QWQ.pop();
		for(int i = 0;i <= 1;++i){
		if(trie[u][i]) fail[trie[u][i]] = trie[fail[u]][i],QWQ.push(trie[u][i]);
		else trie[u][i] = trie[fail[u]][i];
		if(end[trie[fail[u]][i]])
		end[trie[u][i]] = 1;
		}
	}
}

bool ins[40000],used[40000];

bool get(ll now){
	ins[now] = 1;
	for(int i = 0;i < 2;++i){
		int v = trie[now][i];
		if(ins[v]) return 1;
		if(used[v] || end[v]) continue;
		used[v] = 1;
		if(get(v)) return 1;
	}
	ins[now] = 0;
	return 0;
} 

int main(){
	scanf("%lld",&n);
	for(int i = 1;i <= n;++i){
		scanf("%s",num + 1);
		insert();
	}
	get_fail();	
	if(get(0))
	puts("TAK");
	else
	puts("NIE");
}

标签：01,trie,ll,POI2000,40000,fail,include,病毒
来源： https://www.cnblogs.com/dixiao/p/14243391.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。