第2-2讲 线性表的类型定义.ppt

第2-2讲 线性表的类型定义 主讲人：陈红丽 * 第2章 线性表 * 数据结构 线性结构的基本特征: 1．集合中必存在唯一的一个“第一元素”； 2．集合中必存在唯一的一个 “最后元素” ； 3．除最后元素在外，均有 唯一的后继； 4．除第一元素之外，均有 唯一的前驱。 线性结构是一个数据元素的有序（次序）集 线性表是一种最简单的线性结构，是n个数据元素的有限序列。 抽象数据类型线性表的定义如下： ADT List { 数据对象： D＝{ ai | ai ∈ElemSet, i=1,2,...,n, n≥0 } 数据关系： R1＝{ ai-1 ,ai |ai-1 ,ai∈D, i=2,...,n } 序偶 ai-1 ,ai 表示ai-1是ai的直接前驱，反之， a i是ai-1的直接后继。 设线性表为 (a1，a2, . . . ，ai，. . . ，an)，称 n 为线性表的表长; 称 n=0 时的线性表为空表；称 i 为 ai 在线性表中的位序。 基本操作： 结构初始化操作 结构销毁操作 引用型操作 加工型操作 } ADT List InitList( L ) 操作结果： 构造一个空的线性表 L。 初始化操作 结构销毁操作 DestroyList( L ) 初始条件： 操作结果： 线性表 L 已存在。 销毁线性表 L。 ListEmpty( L ) ListLength( L ) PriorElem( L, cur_e, pre_e ) NextElem( L, cur_e, next_e ) GetElem( L, i, e ) LocateElem( L, e, compare( ) ) ListTraverse(L, visit( )) 引用型操作: ListEmpty( L ) 初始条件： 操作结果： 线性表 L 已存在。 若 L 为空表，则返回 TRUE，否则FALSE。 （线性表判空） ListLength( L ) 初始条件： 操作结果： 线性表 L 已存在。 返回 L 中元素个数。 （求线性表的长度） 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无定义。 （求数据元素的后继） GetElem( L, i, e ) 初始条件： 操作结果： 线性表 L 已存在， 用 e 返回L中第 i 个元素的值。 （求线性表中某个数据元素） 且 1≤i≤LengthList(L) LocateElem( L, e, compare( ) ) 初始条件： 操作结果： 线性表 L 已存在，e 为给定值， compare( ) 是元素判定函数。 返回 L 中第 1 个与 e 满足关系 compare( ) 的元素的位序。 若这样的元素不存在，则返回值为 0。 （定位函数） ListTraverse(L, visit( )) 初始条件： 操作结果： 线性表 L 已存在。 Visit() 为某个访问函数。 依次对 L 中每个元素调用 函数visit( )。一旦 visit( )失败，则操作失败。 （遍历线性表） 加工型操作 ClearList( L ) PutElem( L, i, e ) ListInsert( L, i, e ) ListDelete(L, i, e) ClearList( L ) 初始条件： 操作结果： 线性表 L 已存在。 将 L 重置为空表。 （线性表置空） PutElem( L, i, e ) 初始条件： 操作结果： 线性表 L 已存在， L 中第 i 个元素赋值 e 。 （改变数据元素的值） 且 1≤i≤LengthList(L) * 第2章 线性表