数据结构 第二章线性表

1. 线性表的逻辑结构

• 线性表的定义

线性表是一种线性结构，在一个线性表中数据元素的类型是相同的，或者说线性表是由

同一类型的数据元素构成的线性结构，定义如下：
线性表是具有相同数据类型的n(n≥0)个数据元素的有限序列，通常记为：
(a 1 ，a 2 ，… a i-1 ，a i ，a i+1 ，…a n )
其中n为表长， n＝0 时称为空表。
需要说明的是：a i 为序号为 i 的数据元素（i=1,2,…,n），通常将它的数据类型抽象为
ElemType，ElemType根据具体问题而定。

• 线性结构的基本特征
  1.线性结构是一个数据元素有序集
  2.集合中必存在唯一一个“第一元素”
  3.集合中必须存在唯一一个“最后元素”
  4.除最后一个元素外所有元素都有一个后继
  5.除第一个元素外所有元素都有一个前继
  线性表的抽象数据类型定义

ADT List {
　数据对象：D＝{ | ∈ ElemSet, i=1,2,…,n, n≥0 }
数据关系：R1＝{ <ai-1 ,ai >| ,∈D, i=2,…,n }

基本操作：
　　{结构初始化}
　　InitList( &L )
　　　操作结果：构造一个空的线性表 L 。

{销毁结构}
　　DestroyList( &L )
　　　初始条件：线性表 L 已存在。
　　　操作结果：销毁线性表 L 。
例如，26个小写英文字母是一个线性表
　　　　　(a,b,…,z)
同一花色的13张扑克牌
　　(2,3,4,5,6,7,8,9,10,J,Q,K,A)
可以构成一个线性表。
序偶 <,> 表示 是 的直接前驱，反之， 是 的直接后继。
{引用型操作}
　　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 已存在，1≤i≤LengthList(L)。
　　　操作结果：用 e 返回 L 中第 i 个元素的值。
LocateElem( L, e, compare( ) )
　　　初始条件：线性表 L 已存在，compare( ) 是元素判定函数。
　　　操作结果：返回 L 中第1个与 e 满足关系 compare( ) 的元素的位序。
　　　　　　　　若这样的元素不存在，则返回值为0。

ListTraverse(L, visit( ))
　　初始条件：线性表 L 已存在，visit( ) 为元素的访问函数。
　　操作结果：依次对 L 的每个元素调用函数 visit( )。
　　　　　　　一旦 visit( ) 失败，则操作失败。
{加工型操作}

ClearList( &L )
　　　初始条件：线性表 L 已存在。
　　　操作结果：将 L 重置为空表。

PutElem( &L, i, &e )
　　　初始条件：线性表L已存在，1≤i≤LengthList(L)。
　　　操作结果：L 中第 i 个元素赋值同 e 的值。
　ListInsert( &L, i, e )
　　　初始条件：线性表 L 已存在，1≤i≤LengthList(L)+1。
　　　操作结果：在 L 的第 i 个元素之前插入新的元素 e，L 的长度增1。

ListDelete( &L, i, &e )
　　　初始条件：线性表 L 已存在且非空，1≤i≤LengthList(L)。
　　　操作结果：删除 L 的第 i 个元素，并用 e 返回其值，L 的长度减1。

} ADT ListADT List {
　数据对象：D＝{ | ∈ ElemSet, i=1,2,…,n, n≥0 }
数据关系：R1＝{ <ai-1 ,ai >| ,∈D, i=2,…,n }

基本操作：
　　{结构初始化}
　　InitList( &L )
　　　操作结果：构造一个空的线性表 L 。

{销毁结构}
　　DestroyList( &L )
　　　初始条件：线性表 L 已存在。
　　　操作结果：销毁线性表 L 。
例如，26个小写英文字母是一个线性表
　　　　　(a,b,…,z)
同一花色的13张扑克牌
　　(2,3,4,5,6,7,8,9,10,J,Q,K,A)
可以构成一个线性表。
序偶 <,> 表示 是 的直接前驱，反之， 是 的直接后继。
{引用型操作}
　　ListEmpty( L )
　　　初始条件：线性表L已存在。
　　　操作结果：若 L 为空表，则返回 TRUE，否则返回 FALSE。

ListLength( L )
　　　初始条件：线性表 L 已存在。
　　　操作结果：返回 L 中元素个数。
PriorElem( L, cur_e, &pre_e )
　　　初始条件：线性表 L 已存在。
　　　操作结果：若 cur_e 是 L 中的数据元素，则用 pre_e 返回它的前驱，