AC自动机原理:
摘自http://www.cnblogs.com/huangxincheng/archive/2012/12/02/2798317.html,ORZ大牛
一:构建AC自动机 同样我也用网上的经典例子,现有say she shr he her 这样5个模式串,主串为yasherhs,我要做的就是哪些模式串在主串中出现过? 1: 构建trie树 如果看过我前面的文章,构建trie树还是很容易的。 2:失败指针 构建失败指针是AC自动机的核心所在,玩转了它也就玩转了AC自动机,失败指针非常类似于KMP中的next数组,也就是说, 当我的主串在trie树中进行匹配的时候,如果当前节点不能再继续进行匹配,那么我们就会走到当前节点的failNode节点继续进行 匹配,构建failnode节点也是很流程化的。 ①:root节点的子节点的failnode都是指向root。 ②:当走到在“she”中的”h“节点时,我们给它的failnode设置什么呢?此时就要走该节点(h)的父节点(s)的失败指针,一直回溯直 到找到某个节点的孩子节点也是当初节点同样的字符(h),没有找到的话,其失败指针就指向root。 比如:h节点的父节点为s,s的failnode节点为root,走到root后继续寻找子节点为h的节点,恰好我们找到了,(假如还是没 有找到,则继续走该节点的failnode,嘿嘿,是不是很像一种回溯查找),此时就将 ”she"中的“h”节点的fainode"指向 "her"中的“h”节点,好,原理其实就是这样。(看看你的想法是不是跟图一样) 针对图中红线的”h,e“这两个节点,我们想起了什么呢?对”her“中的”e“来说,e到root距离的n个字符恰好与”she“中的e向上的n 个字符相等,我也非常类似于kmp中next函数,当字符失配时,next数组中记录着下一次匹配时模式串的起始位置。
//动态模板 char a[1000001],p[55]; struct Trie { Trie *child[26]; Trie *fail; //失败指针 //int num; int cnt; //由于同一单词可能出现多次。。。 Trie() { //num=0; cnt=0; fail=0; memset(child,0,sizeof(child)); } }; Trie *root,*s,*lrelia; void Create(char *str) { s=root; int i=0; while(str[i]) { int id=str[i]-'a'; if(s->child[id]==0) { s->child[id]=new Trie; } s=s->child[id]; i++; } s->cnt++; } void makeFail() //一个节点一个节点找fail指针 { Trie *front ; queue<Trie *>q ; q.push(root) ; while(!q.empty()){ front = q.front() ; q.pop() ; for(int i = 0;i < 26;i++){ if(front->child[i] != NULL){ //父结点有孩子i,则找孩子i的fail指针 if(front == root) front->child[i]->fail = root ;//与根结点相连的结点的fail指针都指向根结点 else{ Trie *temp = front ; while(temp->fail != NULL){ //父结点fail指针非空 if(temp->fail->child[i] != NULL){ //父结点fail指针指向的结点有孩子i front->child[i]->fail = temp->fail->child[i] ; break ; } temp = temp->fail ;//父结点向上转移 } if(temp->fail == NULL) front->child[i]->fail = root ; } q.push(front->child[i]) ;//找到孩子i的fail指针后将孩子i加入队列 } } } } int search(char *str) { Trie *p = root ; Trie *temp = NULL ; int i=0,k,ans = 0 ; while(str[i]){ k=str[i] - 'a' ; while(p != root && p->child[k] == NULL){ p = p->fail ; } if(p->child[k] != NULL){//p记录当前位置最长的后缀匹配,下次从该支继续匹配 p = p->child[k] ; temp = p ; //用temp继续找当前位置较短的后缀匹配 while(temp != root && temp->cnt!=0){ ans +=temp->cnt; temp->cnt = 0 ; temp = temp->fail ; } } i++; } return ans; }
静态模板:
<script type="text/javascript"> </script><script type="text/javascript" src="http://pagead2.googlesyndication.com/pagead/show_ads.js"></script>