线性表的定义
线性表(List):零个或多个数据元素的有限序列。
有几个地方需要强调:
- 首先它是一个序列,也就是说元素之间是有顺序的,若元素存在多个,则第一个元素无前驱,最后一个元素无后继,其他每个元素都有且只有一个前驱和后继。
- 然后线性表强调的是有限的。
- 最后线性表中的数据元素必须是相同类型。
如果用数据语言来定义,可如下(配合下图理解):
数学语言定义: 若将线性表记为(a1,…,ai,…,an),则表中ai-₁领先于ai,ai领先于ai+₁,称ai-₁是ai的直接前驱元素,ai+₁是ai的直接后继元素。当i=1,2,…,n-1时,ai有且仅有一个直接后继,当i=2,…,n时,ai有且仅有一个直接前驱。
线性表元素的个数n(n≧0)定义为线性表的长度,当n=0时,称为空表。
一个线性表中的数据元素ai,i称为数据元素ai在线性表中的位序。
线性表的抽象数据类型
线性表常见的操作如下:
- 创建和初始化
- 重置
- 根据位序获取数据元素
- 查找某数据元素是否存在
- 获得线性表长度
- 插入数据
- 删除数据
根据以上的常见操作,线性表的抽象数据类型定义如下:
ADT 线性表(List)
Data
线性表的数据对象集合为{
a1,a2,......,an},每个元素的类型均为DataType。其中除第一个元素a1外,每一个元素有且只有一个直接前驱元素,除了最后一个元素an外,每一个元素有且只有一个直接后继元素。数据元素之间的关系是一对一的关系。
Operation
InitList(*L): 初始化操作,建立一个空的线性表L。
ListEmpty(L): 若线性表为空,返回true,否则返回false。
ClearList(*L): 将线性表清空。
GetElem(L,i,*e): 将线性表L中的第i个位置的元素值返回给e。
LocateElem(L,e): 在线性表L中查找与给定值e相等的元素,如果查找成功,返回该元素在表中的序号表示成功;否则,返回0表示失败。
ListInsert(*L,i,e): 在线性表L中的第i个位置插入新元素e。
ListDelete(*L,i,*e): 删除线性表L中第i个位置元素,并用e返回其值
ListLength(L): 返回线性表L的元素个数
endADT
对于不同的应用,线性表的基本操作是不同的,上述操作时最基本的,对于实际问题中涉及的关于线性表的更复杂操作,我们可以用这些基本操作的组合来实现。
我们假设La表示集合A,Lb表示集合B,求两个集合的并集:
//将所有的在线性表Lb中但不在La中的数据元素插入到La中
void unionL(List *La,List *Lb){
int La_len,Lb_len,i;
//声明与La和Lb相同的数据元素e
ElemType e;
//求线性表的长度
La_len = ListLength(La);
Lb_len = ListLength(Lb);
for(i = 1; i <= Lb_len; i++){
//取Lb中第i个数据元素赋给e
GetElem(Lb,i,&e);
if(!LocateElem(*La,e)){
//插入
ListInsert(La,++La_len,e);
}
}
}
我们对于union操作,用到了前面线性表基本操作LocateElem,ListInsert,ListLength等,可见,对于复杂的个性化的操作,其实就是把基本操作组合起来实现的。
线性表的顺序存储结构
定义:线性表的顺序存储结构,指的是用一段地址连续的存储单元依次存储线性表的数据元素。
线性表(a1,a2,… ,an)的顺序存储示意图如下:
在C语言中我们可以使用一维数组来实现顺序存储结构,即把第一个数据元素存到数组下标为0的位置中,接着把线性表相邻的元素存储在数组中相邻的位置。下面来看下线性表的顺序存储的结构代码:
//存储空间初始分配量
#define MAXSIZE 20
//ElemType类型根据实际情况而定,这里假设为int
typedef int ElemType;
typedef struct{
//数组存储数据元素,最大值为MAXSIZE
ElemType data[MAXSIZE];
//线性表当前长度
int length;
}SqList;
根据上面的定义,我们发现描述顺序存储结构需要三个属性:
- 存储空间的起始位置:数组data,它的存储位置就是存储空间的存储位置。
- 线性表的最大存储容量:数组长度MaxSize。
- 线性表的当前长度:length。
我们已知存储空间的起始位置,即数组data的存储位置,等同于数组中下标为0的元素的存储位置,所以已知下标为0的数据元素的存储位置 LOC(a0),假设每个数据元素所占的空间为c,那么第i个数据元素的存储位置LOC(ai)为:
- *LOC(ai) = LOC(a0) +(i -1)c
通过以上公式,我们可以随时算出线性表中任意位置的地址。此时我们对线性表中任意位置数据的读取和更新对于计算机来说时间都是相等的,也就是一个常数,其时间复杂度为常数阶O(1),我们把具有这一特点的存储结构称为随机存取结构。
注意数组长度和线性表长度的区别:
- 数组长度是存放线性表的存储空间的长度(即存储容量),分配之后一般是不变的。不过在高级语言中,可以用编程手段实现动态分配数组,不过这会带来性能上的损耗。
- 线性表的长度是线性表中数据元素的个数,随着线性表插入和删除操作的进行,这个量是变化的。
顺序存储结构的获取、插入和删除
-
数据元素的获取
对于线性表的顺序存储结构来说,我们要实现GetElem操作,即将线性表L中的第i个位置元素值返回即可。代码实现如下:
//顺序存储线性表获取特定下标i的数据元素值。时间复杂度为O(1)
#define OK 1
#define ERROR 0
#define TRUE 1
#define FALSE 0
typedef int Status;
//初始条件:顺序线性表L已存在,1<=i<=ListLength(L)
//操作结果:用e返回L中第i个数据元素的值
Status GetElem(SqList L,int i,ElemType *e){
if(L.length == 0 || i < 1 || i > L.length){
return Error;
}
*e = L.data[i - 1];
return OK;
}
-
插入操作
当我们要在线性表L中的第i个位置插入新元素e,即实现ListInsert(*L,i,e),该如何操作呢?当然是从数组的最后向前遍历到位置i,将这些元素全部后移一个位置,然后在i位置插入新的数据元素。代码实现如下:
//时间复杂度为O(n) //初始条件:顺序线性表L已存在,1<=i<=ListLength(L) //操作结果:在L中第i个位置之前插入新的数据元素e,L的长度加1 Status ListInsert(SqList *L,int i,ElemType e){ int k; //顺序线性表已满 if(L->length == MAXSIZE){ return ERROR; } //i不在范围内 if(i >