串匹配的有限自动机,说白了是一种状态转移函数;

#include <cstdio> #include <algorithm> #include <cstring> using namespace std; /*********************************/ * 有限自动机 字符串匹配算法 * 预处理时间： * O(m^3 * numOf(charactors in string) * 匹配时间： * O(n) * 关键：构造状态变迁函数,复杂度较高，思想一流 /*********************************/ const int MAXN = 10000; char T[MAXN],P[MAXN],Pqa[MAXN]; int n,m; int status[MAXN][26]; void computeTransitionFunction() { m=strlen(P)-1; int q,i; for(q=0;q<=m;++q) { for(i=0;i<26;++i) { int k=min(m,q+1); while(k) { int j,c; bool eql=true; if(i==P[k]-'a') { for(j=k-1,c=q;j>=1;--j) { if(P[c]!=P[j]) { eql=false; break; } } } else { eql=false; } if(!eql) { --k; continue; } else { break; } } status[q][i]=k; } } } void finiteAutomatonMatcher() { n=strlen(T)-1; int q=0; int i; for(i=1;i<=n;++i) { q=status[q][T[i]-'a']; if(q==m) { printf("匹配成功,位置:%d/n",i-m+1); } } } int main() { T[0]=P[0]='z'; //不用下标0 scanf("%s%s",T+1,P+1); computeTransitionFunction(); finiteAutomatonMatcher(); return 0; }

 

 

这是理解KMP算法与字符串各类问题的重要基础,只有这里是突破口,很庆幸自己学会了.

 

 

简单的总结一下理解性问题: P串的每一位都对应一个状态, 每次读入一个字符, 就是从当前状态转移到下一个状态, 状态就是指P串匹配到哪一个pos了.  假设当前匹配到q位置，则q就是当前的状态, 下一个字符可以是26种字符, 会发生26种转移, Pq+a 的一个最长的P的前缀的后缀 就是加上字符a后转向的状态.  即Pk，k从q+1逐渐减小，一直到Pk与Pq+a匹配，那么目前的k就是最大的后缀的前缀匹配。

 

算法导论讲的太好了，停电了，白白。。