第四节+串4.16.pptVIP

4 串 主要内容 串的模式匹配 简单算法 KMP算法 模式匹配(在主串S中定位子串T（模式串）) 回忆一下串匹配的定义： index(S,T) 初始条件：串S和T存在 操作结果：若主串S中存在和串T值相同的子串，返回它在主串S首次出现的位置；否则返回0 例如 主串S = 子串T = CD 则index(S,T)，返回子串T在S中，第一次出现的位置3 最差的情况 主串S中的每个字符，分别和模式T中的每个字符匹配一次 复杂度 = O( n*m ) 由D.E.Knuth、J.H.Morris和V.R.Pratt共同提出了一个改进算法，消除了Brute-Force算法中串s指针的回溯，完成串的模式匹配。 基本思想：在简单算法的基础上，i不要回退，模式串尽量多往右移 时间复杂度为O(s.curlen+t.curlen)，这就是Knuth-Morris-Pratt算法，简称KMP 算法。 例如： next函数的不足 改进的next函数 改进的next函数 串的模式匹配：KMP算法 next函数的改进 设k=next[j]，其含义是当T[j]和S[i]不匹配时，尝试T[k]和S[i] 如果T[k]=T[j]，则不必尝试T[k]，而应当尝试next[k] 即next[j]=next[k] next 子串T b a a a a 5 4 3 2 1 4 3 2 1 0 j k void get_nextval(SSTring T, int next[]) { j = 1; next[1] = 0; k = 0; while( j T.curlen ) { if( k == 0 || T[j] == T[k] ) { j++; k++; if( T[j]!=T[k] ) next[j] = k; else next[j] = next[k]; } else k = next[k]; } //while } next 子串T b a a a a 5 4 3 2 1 4 0 0 0 0 数据结构4串 开始学习本章前要知道： 从数据结构角度看，串也属于线性结构，具有线性结构的共同特征； 学习本章时，要注意到串所具有的线性结构的共性，更要掌握其个性； 串的特殊性主要是：串的元素是字符。 串的模式匹配 串的模式匹配 Brute-Force算法基本思想： 从目标串s 的第一个字符起和模式串t的第一个字符进行比较 若相等，则继续逐个比较后续字符，否则从串s 的第二个字符起再重新和串t进行比较。 依此类推，直至串t 中的每个字符依次和串s的一个连续的字符序列相等，则称模式匹配成功，此时串t的第一个字符在串s 中的位置就是t 在s中的位置，否则模式匹配不成功。 Brute-Force算法的C语言描述如下： int Index(string s,string t) { int i=0,j=0; //i,j分别指向串s、t的第1个字符 while( (is.curlen) (jt.curlen) ) if(s.str[i] == t.str[j]) { ++i; ++j; } //当前字符匹配，i,j递增 else { i=i-j+1; j=0;} //匹配失败，j返回子串首，i回退到下次匹配的起点 if( j=t.curlen ) return( i-t.curlen ); //匹配成功，返回串t在串s中起始位置 else return 0; //匹配失败返回0 } i j 12 11 10 9 8 7 6 5 4 3 2 1 0 b a b c a c b a c b a b a 4 3 2 1 0 c a c b a while((is.curlen)(jt.curlen)) if(s.str[i]==t.str[j]) //当前字符匹配，i,j递增 { ++i; ++j; } else //匹配失败，j返回子串首，i回退到下次匹配的起点 { i=i-j+1; j=0; } 串的模式匹配:简单算法 算法分析 最好的情况 主串S和模式T中的每个字符都只访问了一次 复杂度 = O( n+m ) c a c b a b b b b b i j c a c b a 串的模式匹配:简单算法 a b b b b b i j a b b b 串的模式匹配:KMP算法 利用已经部分匹配的结果信息，尽量让i不要回溯，加快模