目录
申明
本文章属于原创,其中参考了程杰老师《大话数据结构》行文结构和内容,侵删。
1. 线性表的定义
线性表(List):零个或多个数据元素的有限序列。
这里需要强调几个关键的地方。
首先它是一个序列。也就是说,元素之间是有顺序的,若元素存在多个,则第一个元素无前驱,最后一个元素无后继,其他每个元素都有且只有一个前驱和后继。
然后,线性表强调是有限的,事实上,在计算机中处理的对象都是有限的,那种无限的数列,只存在于数学的概念中。

所以线性表元素的个数n(n>=0)定义为线性表的长度,当n=0时,称为空表。
在非空表中的每个数据元素都有一个确定的位置,如a1时第一个数据元素,an时最后一个元素,ai是第i个数据元素,称i为数据元素ai在线性表中的位序。
在较复杂的线性表中,一个数据元素可以由若干个数据项组成。
| 学号 | 姓名 | 性别 | 出生年月 | 家庭住址 |
|---|---|---|---|---|
| 1 | 张三 | 男 | 1995.3 | 东街西巷1号203室 |
| 2 | 李四 | 女 | 1994.8 | 北路4弄5号6室 |
| 3 | 王五 | 女 | 1994.12 | 南大道789号 |
| … | … | … | … | … |
2. 线性表的抽象数据类型
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
对于不同应用,线性表的基本操作是不同的,上述操作是最基本的,对于实际问题中涉及的关于线性表的更复杂操作,完全可以用这些基本操作的组合来实现。
比如,要实现两个线性表A和B的并集操作。即要使得集合A=A∪B。说白了,就是把存在集合B中但不存在A中的元素插入到A中即可。
仔细分析一下这个操作,发现我们只要循环集合B中的每个元素,判断当前元素是否存在A中,若不存在,则插入到A中即可。
我们假设La表示集合A,Lb表示集合B,则代码实现如下:
/*将所有的在线性表Lb中但不在La中的数据元素插入到La中*/
void unionL(SqList *La,SqList Lb)
{
int La_len,Lb_len,i;
ElemType e; /*声明与La和Lb相同的数据元素e*/
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)) /*La中不存在和e相同数据元素*/
ListInsert(La,++La_len,e); /*插入*/
}
}
3. 线性表的顺序存储结构
3. 1 顺序存储定义
指的是用一段地址连续的存储单元依次存储线性表的数据元素。
线性表(a1,a2,…,an)的顺序存储示意图如下:

3. 2 顺序存储方式
即在内存中找一段空间,通过占位的方式,把一定的内存空间占据,然后把相同数据类型的数据元素依次放在这块空地中。既然线性表的每个数据元素的类型都相同,所以可以用C语言的**一位数组来实现顺序存储结构,**即把第一个数据元素存到数组下标为0的位置中,接着把线性表相邻的元素存储在数组中相邻的位置。
来看线性表的顺序存储的代码。
#define MAXSIZE 20 /* 存储空间初始分配量 */
typedef int ElemType; /* ElemType类型根据实际情况而定,这里假设为int */
typedef struct
{
ElemType data[MAXSIZE]; /* 数组,存储数据元素 */
int length; /* 线性表当前长度 */
}SqList;
这里,我们就发现描述顺序存储结构需要三个属性:
1. 存储空间的起始位置:数组data,它的存储位置就是存储空间的存储位置。
2. 线性表的最大存储容量:数组长度MaxSize。
3. 线性表的当前长度: length。
3. 3 数据长度与线性表长度区别
这里有两个概念“数组的长度”和“线性表的长度”需要区分一下。
数组的长度是存放线性表的存储空间的长度,存储分配后这个量一般是不变的。
线性表的长度是线性表中数据元素的个数,随着线性表的插入和删除操作的进行,这个量是变化的。
在任意时刻,线性表的长度应该小于等于数组的长度。
3. 4 地址计算方法
由于我们数数都是从1开始数的,线性表的定义也不能免俗,起始也是1,但是C语言中数组却是从0开始第一个下标的,于是线性表的第i个元素是要存储在数组下标为i-1的位置。
用数组存储顺序表意味着要分配固定长度的数组空间,由于线性表中可以进行插入和删除操作,因此分配的数组空间要大于等于当前线性表的长度。
存储器中的每个存储单元都有自己的编号,这个编号称为地址。 假设占用的是c个单元,那么线性表中第i+1个数据元素的存储位置和第i个数据元素的存储位置满足下列关系(LOC表示获得存储位置的函数)。
LOC(ai+1) = LOC(ai) + c
所以对于第i个数据元素ai的存储位置可以由a1推算得出:
LOC(ai) = LOC(a1) + (I - 1) * c
通过这个公式,你可以随时酸楚线性表中任意位置的地址,不管它是第一个还是最后一个,都是相同的时间。那么我们对每个线性表位置的存入或者取出数据,对于计算机来说,都是相等的时间,也就是一个常数,因此我们用算法中学到的时间复杂度的概念来说,它的存取时间性能为O(1)。我们通常把具有这一特点的存储结构称为随机存取结构。
4. 顺序存储结构的插入与删除
4.1 获得元素操作
对于线性表的顺序存储结构来说,如果我们要实现GetElem操作,即将线性表L中的第i个位置元素值返回,其实是非常简单的。就程序而言,只要i的数值在数组下标范围内,就是把数组第i-1下标的值返回即可。来看代码:
#define OK 1
#define ERROR 0
#define TRUE 1
#define FALSE 0
typedef int Status; /* Status是函数的类型,其值是函数结果状态代码,如OK等 */
/* 初始条件:顺序线性表L已存在,1≤i≤ListLength(L) */
/* 操作结果:用e返回L中第i个数据元素的值,注意i是指位置,第1个位置的数组是从0开始 */
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;
}
注意这里返回值类型Status是一个整型,返回OK代表1,ERROR代表0。之后代码中出现就不再赘述。
4.2 插入操作
刚才我们也谈到了,这里的时间复杂度为O(1)。我们现在来考虑,如果我们要实现ListInsert(^L,i,e),即在线性表L中的第i个位置插入新元素e,在插入数据时的实现过程如图所示。

插入算法的思路:
1. 如果插入的位置不合适,抛出异常;
2. 如果线性表长度大于等于数组长度,则抛出异常或动态增加容量。
3. 从最后一个元素开始向前遍历到第i个位置,分别将它们都向后移动一个位置。
4. 将要插入元素填入位置i处。
5. 表长加1.
实现代码如下:
/* 初始条件:顺序线性表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;
if (i<1 || i>L->length+1)/* 当i比第一位置小或者比最后一位置后一位置还要大时 */
return ERROR;
if (i<=L->length) /* 若插入数据位置不在表尾 */
{
for(k=L->length-1;k>=i-1;k--) /* 将要插入位置之后的数据元素向后移动一位 */
L->data[k+1]=L->data[k];
}
L->data[i-1]=e; /* 将新元素插入 */
L->length++;
return OK;
}
4.3 删除操作
删除算法的思路:
1. 如果删除位置不合理,抛出异常。
2. 取出删除元素。
3. 从删除元素位置开始遍历到最后一个元素位置,分别将它们都向前移动一个位置。
4. 表长减1.
1194




被折叠的 条评论
为什么被折叠?



