病毒 bzoj-2938 Poi-2000 题目大意:给你n个01串,问是否存在一个无限长的01串使得这个01的任意子串都不等于给出的01串. 注释:All_length<=30,000 想法:裸题,介绍一下AC自动机. 什么是AC自动机?简单讲,就是Trie+KMP.KMP就是单模字符串匹配算法,基于next数组求出最长前缀后缀,增加匹配效率.多模匹配,就是好几个字符串之间匹配是否出现过或有什么性质等.这样效率太低,我们就把它们都扔到Trie树上.然后引进fail指针,就相当于next. 附上…