DSchap4串.pptVIP

4.1 串的抽象数据类型的定义 基本操作： 4.2 串的表示和实现 一. 串的定长顺序存储表示 特点: 二. 串的堆分配存储表示 三. 串的块链存储表示 4.3 串的模式匹配算法 一. 简单算法 二. 首尾匹配算法 三. KMP (D.E.Knuth, V.R.Pratt, J.H.Morris) 算法 怎样计算模式T所有可能的失配点 j 所对应的 next[j]？ 例： 模 式 串 T： a b a a b c a c 可能失配位 j： 1 2 3 4 5 6 7 8 新匹配位k=next[j] : KMP算法讨论（特点：速 度快） （1） KMP算法设计思想 （2） KMP算法的推导过程 （3） KMP算法的实现 （关键:计算next[j]） （4） KMP算法的时间复杂度 (1)KMP算法设计思想(参见教材P80-84） (2) KMP算法的推导过程：（见教材P81） (2) KMP算法的推导过程(续）： ① next[ j ]有何物理意义？ (3) KMP算法的实现—即Index( )操作的实现 第一步：先把模式T所有可能的失配点j 所对应的 next[j]计算出来； 第二步：执行定位函数Index_kmp （与BF算法模块非常相似） 怎样计算模式T所有可能的失配点 j 所对应的 next[j]？ 例： 模 式 串 T： a b a a b c a c 可能失配位 j： 1 2 3 4 5 6 7 8 新匹配位k=next[j] : 讨论两个有关next [ j ]的问题： ① 如何计算next[j]？ 可用递推法编程实现 (参见教材P.83程序) (4) KMP算法的时间复杂度 注意：由于BF算法在一般情况下的时间复杂度也近似于O(n+m)，所以至今仍被广泛采用。 4.4 串的应用 附录： next函数的求法 本章小结 还有一种特殊情况需要考虑： 例如： S = ?aaabaaabaaabaaabaaab? T = ?aaaab? next[j]=01234 nextval[j]=00004 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]; } } 经典算法之一！ 尽量利用已经部分匹配的结果信息，尽量让i不回溯，加大模式串向右滑动的距离。 例： S=‘a b a b c a b c a c b a b’ T=‘a b c a c’ S=‘a b a b c a b c a c b a b’ T=‘a b c a c’ S=‘a b a b c a b c a c b a b’ T=‘a b c a c’ Index_kmp的返回值应为i=6 需要讨论两个问题： ①如何由当前部分匹配结果确定模式的新比较起点k？ ②模式应该向右滑多远才是高效率的? i i i k k a b a a b c k i i i-T[0] 奇妙的结果： k 仅与模式串T有关！ 请抓住部分匹配时的两个特征： 两式联立可得：‘T1…Tk-1’=‘Tj-(k-1) …Tj-1’ S=‘a b a b c a b c a c b a b’ T=‘a b c a c’ i k 则T的k-1～1位＝S前i-1～i-(k-1)位 即(4-2）式含义 设目前要与T的第k字符开始比较 ① ② ‘T1…Tk-1’ 则T的j-1～j-(k-1)位＝S前i-1～i-(k-1)位 即(4-3）式含义 i k j S=‘a b a b c a b c a c b a b’ T=‘a b c a c’ 刚才是在S的i处和T的第j字符 处失配 ‘Tj-(k-1) …Tj-1’ k是追求的新起点 加速的前提：T首与Tj处有相同子串 注意：j 为当前已知的失配位