[教学研究]第四章串.pptVIP

第4章 串 学习目的要求: 【课前思考】 子串在主串中的位置则以子串的第一个字符在主串中的位置来表示。 两串相等:只有当两个串的长度相等，并且各对应位置上的字符都相同时，两个串才相等。 思考：串的基本操作和线性表一样，无非也就是查找、插入和删除等，那么它们能否用线性表的操作来替代呢？ 　串的基本操作和线性表有很大的区别，同样是查找、插入和删除，但对线性表而言操作对象是“数据元素”，而对串言，是以整个串作为操作对象。 由此可见，串类型不能和线性表类型混为一谈。 * 4.3 串的模式匹配算法 1.串模式匹配的简单算法 模式匹配：确定子串在主串中首次出现的位置的运算。 串的逻辑结构和线性表极为相似，区别是串的数据对象约定是字符集，但串的基本操作和线性表有很大差别。在线性表的基本操作中，大多以“单个元素”作为操作对象；而在串的基本操作中，通常以“串的整体”作为操作对象，如：在串中查找某个子串、求取一个子串、在串的某个位置上插入一个子串以及删除一个子串等。 子串的定位操作通常称作串的模式匹配，用函数index(S,T,pos)实现，T被称为模式串。 算法思想：从主串S的第pos个字符起和模式的第一个字符比较之，若相同，则继续比较后续字符，否则从主串的下一个字符起再重新和模式的字符比较之。 算法分析 此算法在最坏情况下的时间复杂度为： O(m X n)，其中 m 和 n 分别为S串和T串的长度。因为在最坏情况下，对i的每个值，j++需执行n-1次。　　一般情况下，该算法实际执行效率与字符 T[0] 在串S中是否频繁出现密切相关。对于一般文稿中串的匹配，算法的时间复杂度可降为 O (m+n)，因此在多数的实际应用场合下被应用。 算法缺点：有时效率低，回溯指针次数多。 2. 模式匹配的一种改进算法：KMP算法 KMP（克努特-莫里斯-普拉特）算法思想：每当一趟匹配过程中出现字符比较不等时，不需i指针回溯，而是利用得到的部分匹配的结果，将模式向右滑动尽可能远的一段距离后，继续进行比较。 主串：‘s1s2…sn’ 模式串：‘p1p2…pm’ 当匹配过程中产生失配(即，si?pj)时，将模式串向右移动至模式中的第k个字符和主串中的第i个字符对齐。令：next[j]=k，则next的函数定义如下： 0 当j=1时， next[j]= Max{k | 1kj 且‘p1…pk-1’=’pj-k+1…pj-1} 1 其他情况 假设主串为S0 S1 S2 S3 S4 S5 S6 S7 ，模式串为T0 t0 t1 t2 t3 t4 ，当 S2 ≠ t2时，按简单算法接着应进行S1和 T0的比较，由于我们在这之前的匹配过程中已经得到了 S1 = t1 的信息，而从模式串本身又得到了t1 ≠ t0的信息，由此可得结论： S1 ≠ t0 ，也就没有必要进行 S1和t0的比较，而直接进行S2和t0的比较。同理当 S6 ≠ t4时，只要直接进行S6和t1 的比较即可。换句话说，在进行了S6和t4的比较并且知道两者不等之后，可将T串直接向右滑动到和 S5对齐的起始位置进行下一轮的匹配，这是由于T串本身的特性和之前的匹配过程决定的。 KMP算法 int Index_KMP(SString S, SString T, int pos ){ // 利用模式串T的next函数求T在主串S中第pos个字符之后第一次出现的位置的KMP算法。其中1≤pos≤StrLength(S) i=pos; j=1; while(i=S[0]j=T[0]){ if (j==0 || S[i]==T[j]{++i; ++j; } //继续比较后续字符 else j=next[j]; //模式串向右移动 } If (jT[0]) return i-T[0]; //匹配成功 else return 0;} 求next 函数值的算法 void get_next(SString T, int next[ ] ){ i=1; next[1]=0; j=0; while(iT[0]){ if(j==0 ||T[i]= =T[j]) {++i; ++j; next[i]=j;} else j=next[j]; } } 4.4 串操作应用举例4.4.1 文本编辑器 文本编辑：实质是修改字符数据的形式或格式，包括串的