数据结构与算法.pptVIP

数据结构与算法 2006.9-2007.1 串的模式匹配 定义 在串中寻找子串（第一个字符）在串中的位置 词汇 在模式匹配中，子串称为模式，串称为目标。 示例 目标 T : “Beijing” 模式 P : “jin” 匹配结果 = 3 朴素匹配算法 (Naive) 朴素匹配算法效率较低 模式匹配的改进 Knuth-Morris-Pratt算法 KMP 算法分析(I) KMP 算法分析(II) KMP 算法分析(III) KMP 算法分析(IV) next[ j ]函数举例 KMP算法 next[ j ]函数的求法 根据定义 next[0] = -1; 设 next[j] = k，求 next[j+1] 若 T[j] = T[k]，则 next[j+1] = k + 1 = next[j] + 1; 否则(T[j] ? T[k])， 若T[[j] = T[next[k]], 则 next[j+1] = next[k] + 1; 否则...... next[ j ]函数 字符串操作应用举例 文本编辑 建立词索引表 文本编辑 Microsoft NotePad Microsoft Word (WYSIWYG) Unix’s VI Emacs and Emacsen who use GNU Emacs XEmacs 文本编辑的基本数据结构——“行” 建立词索引表 建立词索引表可以加速信息检索 书目检索举例(建立书目关键词索引表) 关键词索引表的数据结构 线性结构 － 栈、队列 栈 ( Stack ) 只允许在一端插入和删除的顺序表 允许插入和删除 的一端称为栈顶 (top)，另一端称 为栈底(bottom) 特点 后进先出 (LIFO) 栈的抽象数据类型 栈的数组表示 — 顺序栈 多栈处理 栈浮动技术 n栈共享一个数组空间V[m] 设立栈顶指针数组 t [n+1] 和 栈底指针数组 b [n+1] t[i]和b[i]分别指示第i个栈的栈顶与栈底 b[n]作为控制量，指到数组最高下标 各栈初始分配空间 s = ?m / n? 指针初始值 t[0] = b[0] = -1 b[n] = m-1 t[i] = b[i] = b[i-1] + s, i = 1, 2, …, n-1 栈的链接表示 — 链式栈 链式栈无栈满问题，空间可扩充 插入与删除仅在栈顶处执行 链式栈的栈顶在链头 适合于多栈操作 队列 ( Queue ) 定义 队列是只允许在一端删除，在另一端插入的顺序表 允许删除的一端叫做队头(front)，允许插入的一端叫做队尾(rear)。 特性 先进先出(FIFO, First In First Out) 队列的抽象数据类型 队列的数组表示  ? 循环队列的类定义 循环队列 (Circular Queue) 存储队列的数组被当作首尾相接的表处理。 队头、队尾指针加1时从maxSize -1直接进到0，可用语言的取模(余数)运算实现。 队头指针进1: front = (front + 1) % maxSize; 队尾指针进1: rear = (rear + 1) % maxSize; 队列初始化：front = rear = 0; 队空条件：front == rear; 队满条件：(rear + 1) % maxSize == front 循环队列的进队和出队 队列的链接表示 — 链式队列 队头在链头，队尾在链尾。 链式队列在进队时无队满问题，但有队空问题。 队空条件为 front == NULL 优先级队列 (Priority Queue) 优先级队列 是不同于先进先出队列的另一种队列。每次从队列中取出的是具有最高优先权的元素 例如下表：任务的优先权及执行顺序的关系 链式队列成员函数的实现 template class Type void QueueType::~Queue ( ) { //队列的析构函数 QueueNodeType *p; while ( front != NULL ) { //逐个结点释放 p = front; front = front→link; delete p; } } template class Type void QueueType:: EnQueue ( const Type item ) { //将新元素item插入到队列的队尾 if ( front == NULL ) front = rear = new QueueNode Type ( item,