特殊的线性表——串.PPTVIP

主串s=＂ababcabcacbab＂，模式T=＂abcac＂ KMP算法基本思想：每当匹配过程中出现字符比较不等时，i不回溯。 KMP模式匹配算法图示-1 KMP模式匹配算法图示-2 KMP模式匹配算法小结-1 （1）结论： i可以不回溯，模式向右滑动到的新比较起点k ，并且k 仅与模式串T有关！ （2）需要讨论两个问题： ①如何由当前部分匹配结果确定模式向右滑动的新比较起点k？ ②模式应该向右滑多远才是最高效率的? KMP模式匹配算法小结-2 KMP模式匹配算法中next[j]的计算方法 计算next[j]的方法： 当j=1时，next[j]=0；//next[j]=0表示根本不进行字符比较 当j1时，next[j]的值为：模式串的位置从1到j-1构成的串中所出现的首尾相同的子串的最大长度加1。 当无首尾相同的子串时next[j]的值为1。next[j]=1表示从模式串头部开始进行字符比较  目前需要解决的问题是—— （1）若i不需回溯，则 j应该退回到何处？ （2）设退回到 next[j]， 则next[j]=？ （3）对于给定的模式串，如何求解next[j]是问题的关键。 （4）next[j]与s串无关，只与t串有关 Next [ j ]= 例: 设有模式串T=“abaabcac“, 计算next[j] j 1 2 3 4 5 6 7 8 模式串 a b a a b c a c next[j] 0 1 1 2 2 3 1 2 为了管理文本串中的页和行，在文本编辑时，编辑软件先为文本串建立相应的页表和行表，页表的每一项列出页号和该页的起始行号，行表的每一项则指示每一行的行号、起始地址和该行子串的长度。行表和页表与串是分开存储的。 这实际上也是一个匹配的过程; 不同在于：部分主串和模式串是同一个串 求next函数值的过程是一个递推过程，分析如下: 已知: next[1] = 0； 假设: next[j] = k； 有 : ‘P1P2……Pk-1‘=‘Pj-k+1Pj-k+2……Pj-1‘ (2)若: Pj ? Pk 则: 需往前回朔，检查 Pj= P ? 综上所述，根据分析结果式(4-6)、(4-9)、(4-11)和(4-12)，仿照KMP算法，可以求出next函数值的算法，如算法4.7（p83）所示： void get_next(SString T, int next[] ) { // 求模式串T的next函数值并存入数组next i = 1; next[1] = 0; j = 0; while (i T[0]) 　　{ if (j = 0 || T[i] == T[j]) {++i; ++j; next[i] = j; } else j = next[j];　} } // get_next 算法4.7的时间复杂度为　O（m），通常模式串的长度要比主串的长度n 要小得多，因此，对整个匹配算法来讲，所增加的这点时间是值得的。 还有一种特殊情况需要考虑： 例如： S = ?aaabaaaab? T = ?aaaab? nextval[j]=00004 next[j]=01234 void get_nextval(SString T, int nextval[]) { i = 1; nextval[1] = 0; j = 0; while (i T[0]) { if (j = 0 || T[i] == T[j]) { ++i; ++j; if (T[i] != T[j]) next[i] = j; else nextval[i] = nextval[j]; } else j = nextval[j]; } } // get_nextval 4. 4 串操作应用举例 4. 4.1 文本编辑 4. 4.2 建立词索引表 4. 4.1 文本编辑 * * 子串定位运算又称为模式匹配或串匹配，此运算的应用非常广泛。例如，文本编辑程序中，经常要查找某一特定单词出现的位置。解此问题的有效算法能极大地提高文本编辑程序的响应性能。串的模式匹配定义:在主串中寻找子串在串中的位置。在模式匹配中，子串称为模式串，主串称为目标串。 这是串的一种重要操