【数据结构(严蔚敏)】线性表.ppt

第二章 线性表 线性结构特点：在数据元素的非空有限集中 存在唯一的一个被称作“第一个”的数据元素 存在唯一的一个被称作“最后一个”的数据元素 除第一个外，集合中的每个数据元素均只有一个前驱 除最后一个外，集合中的每个数据元素均只有一个后继 2.1 线性表的逻辑结构 定义：一个线性表是n个数据元素的有限序列 特征： 元素个数n — 表长度，n=0 空表 在一个非空表 (a1，a2，…，ai，…，an-1，an)中的每个数据元素都有一个确定的位置， ai是第i个数据元素，称i为数据元素ai在线性表中的位序。 1in时 ai的直接前驱是ai－1 ，a1无直接前驱 ai的直接后继是ai＋1 ，an无直接后继 元素同构，且不能出现缺项 抽象数据类型线性表的定义： ADT List { 数据对象： D={ ai| ai∈Elemtype，i=1，2，…，n，n=0} 数据关系： R={ ai-1，ai| ai-1，ai∈D，i=2，3，…，n} 基本操作： InitList(L) 操作结果：创建一个空的线性表L。 DestroyList(L) 初始条件：线性表L已存在。 操作结果：销毁线性表。 ClearList(L) 初始条件：线性表L已存在。 操作结果：将L重置为空表。 ListEmpty(L) 初始条件：线性表L已存在。 操作结果：若L为空表，则返回TRUE，否则返回FALSE。 ListLength(L) 初始条件：线性表L已存在。 操作结果：返回L中数据元素个数。 GetElem(L,i,e) 初始条件：线性表L已存在，1≤i≤ListLength(L)。 操作结果：用e返回L中第i个数据元素的值。 LocateElem(L,e,compare( )) 初始条件：线性表L已存在，compare()是数据元素判定函数。 操作结果：返回L中第1个与e满足关系compare()的数据元素的位序。若这样的数据元素不存在，则返回值为0。 PriorElem(L,cur_e,pre_e) 初始条件：线性表L已存在。 操作结果：若cur_e是L的数据元素，且不是第一，则用pre_e返回它的前驱，否则操作失败，pre_e无定义。 NextElem(L,cur_e,next_e) 初始条件：线性表L已存在。 操作结果：若cur_e是L的数据元素，且不是最后一个，则用next_e返回它的后继，否则操作失败， next_e无定义。 ListInsert(L,i,e) 初始条件：线性表L已存在，1≤i≤ListLength(L)+1。 操作结果：在L中第i个位置之前插入新的数据元素e，L的长度加1。 ListDelete(L,i,e) 初始条件：线性表L已存在且非空，1≤i≤ListLength(L)。 操作结果：删除L的第i个数据元素，并用e返回其值，L的长度减1。 ListTraverse(L,visit( )) 初始条件：线性表L已存在。 操作结果：依次对L的每个数据元素调用函数visit( ),一旦visit( )失败，则操作失败。 }ADT List 示例 例2.1 假设两个线性表LA和LB分别表示两个集合A和B（即线性表中的数据元素即为集合中的成员），现要求一个新的集合A=AUB。即做如下操作：扩大线性表LA，将存在于线性表LB中而不存在于线性表LA中的数据元素插入到线性表LA中。 解题思路： 从线性表LB中依次取每个数据元素，并依值在线性表LA中进行查访，若不存在，则插入。 算法描述 void union(List La, List Lb) { //将所有在线性表Lb中但不在La中的数据元素插入到La中 La_len=ListLength(La); Lb_len=ListLength(Lb);  //求线性表的长度 for(i=1;i=Lb_len;i++) { GetElem(Lb,i,e); //取Lb中第i个数据元素赋给e if(!LocateElem(La,e,equal))  ListInsert(La,++La_len,e); //La中不存在和e相同的数据元素，则插入 } } // union 假设GetElem和ListInsert操作的执行时间与表长无关，LocateElem的执行时间和表长成正比，则算法2.1的