（三）线性表 -- 上

1. 线性表的定义

• 线性表（List）
  零个或多个数据元素的有限序列。

首先它是一个序列。也就是说，元素之间是有顺序的，若元素存在多个，则第一个元素无前驱，最后一个元素无后继，其他每个元素都有且只有一个前驱和后继。

然后，线性表强调是有限的。

如果用数学语言来进行定义，如下：

若将线性表记为（$a_1$, …, $a_{i-1}$, $a_i$, $a_{i+1}$, …, $a_n$），则表中$a_{i-1}$,领先于$a_i$，$a_i$领先于$a_{i+1}$，称$a_{i-1}$是$a_i$的直接前驱元素，$a_{i+1}$是$a_i$的直接后继元素。

当i=1, 2, …, n-1时，$a_i$有且仅有一个直接后继，当i=2, 3, …, n时，$a_i$有且仅有一个直接前驱。如下图所示。

所以，线性表元素的个数n(n>=0)定义为线性表的长度，当n=0时，称为空表。

在非空表中的每个数据元素都有一个确定的位置。$a_i$时第i个数据元素，称i为数据元素$a_i$在线性表中的位序。

班级同学的点名册，是线性表。

每一个元素除学生的学号外，还可以有同学的姓名、性别等，这其实就是数据项。

在较复杂的线性表中，一个数据元素可以由若干个数据项组成。

2. 线性表的抽象数据类型

线性表的抽象数据类型定义如下：

要实现两个线性表集合A和B的并集操作，只要循环集合B中的每个元素，判断当前元素是否存在A中，若不存在，则插入到A中即可。

假设La表示集合A，Lb表示集合B，则实现的代码如下：

void union (List *La, List Lb) {
	int La_len, Lb_len, i;
	ElemType e;
	La_len = ListLength(La);
	Lb_len = ListLength(Lb);
	for (i=1; i<=Lb_len; i++) {
		GetElem(Lb, i, e);
		if (!LocateElem(La, e, equal)) {
			ListInsert(La, ++La_len, e);
		}
	}
}

3. 线性表的顺序存储结构

3.1 顺序存储定义

线性表的两种物理结构的第一种——顺序存储结构。

• 线性表的顺序存储结构
  指的是用一段地址连续的存储单元依次存储线性表的数据元素。

线性表($a_1$,$a_2$,…,$a_n$) 的顺序存储示意图如下：

3.2 顺序存储方式

既然线性表的每个数据元素的类型都相同，所以可以用C语言的一维数组来实现顺序存储结构，即把第一个数据元素存到数组下
标为0的位置中，接着把线性表相邻的元素存储在数组中相邻的位置。

存储空间的起始位置非常关键。

线性表中，估算这个线性表的最大存储容量，建立一个数组，数组的长度就是这个最大存储容量。

线性表的当前长度不能超过存储容量，即数组的长度。

线性表的顺序存储的结构代码：

#define MAXSIZE 20

typedef int ElemType;

typedef struct {
	ElemType data[MAXSIZE];
	int length;
} SqList;

描述顺序存储结构需要三个属性：

(1) 存储空间的起始位置。数组data，它的存储位置就是存储空间的存储位置。

(2) 线性表的最大存储容量，数组长度MaxSize。

(3) 线性表的当前长度，length。

3.3 数据长度与线性表长度区别

数组的长度是存放线性表的存储空间的长度，存储分配后这个量是一般是不变的。

线性表的长度是线性表中数据元素的个数，随着线性表插入和删除操作的进行，这个量是变化的。

在任意时刻，线性表的长度应该小于等于数组的长度。

3.4 地址计算方法

线性表的第i个元素是要存储在数组下标为i-1的位置，即数据元素的序号和存放它的数组下标之间存在对应关系(如图3-4-3所示)：

存储器中的每个存储单元都有自己的编号，这个编号称为地址。

假设占用的是c个存储单元，那么线性表中第i+1个数据元素的存储位置和第i个数据元素的存储位置满足下列关系(LOC表示获得存储位置的函数)：

LOC($a_{i+1}$)=LOC($a_i$)+c

所以对于第i个数据元素$a_i$的存储位置可以由$a_1$推算得出：

LOC($a_i$)=LOC($a_1$)+(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 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;
}

4.2 插入操作

如果要实现ListInsert(*L,i,e)，即在线性表L中的第i个位置插入新元素e。

插入算法的思路如下：

• 如果插入位置不合理，抛出异常；
• 如果线性表长度大于等于数组长度，则抛出异常或动态增加容量；
• 从最后一个元素开始向前遍历到第i个位置，分别将它们都向后移动一个位置；
• 将要插入元素填入位置i处；
• 表长加1

实现代码如下：

Status ListInsert(SqList *L, int i, ElemType e) {
 	int k;
 	if (L->length==MAXSIZE)
 		return ERROR
 	if (i<1 || i>L->length+1)
 		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。

实现代码如下：

Status ListDelete(SqList *L, int i, ElemType *e) {
	int k;
	if (L->length==0)
		return ERROR
	if (i<1 || i>L->length)
		return ERROR
	*e=L->data[i-1];
	if (i<L->length) {
		for (k=i; k<L->length; k++) {
			L->data[k-1]=L->data[k];
		}
	}
	L->length--;
	return OK;
}

分析一下插入和删除的时间复杂度：

线性表的顺序存储结构，在存、读数据时，不管是哪个位置，时间复杂度都是O(1)；

而插入或删除时，时间复杂度都是O(n)。

4.4 线性表顺序存储结构的优缺点

参考

《大话数据结构》 —— 3 线性表