线性表（数据结构学习笔记)

线性表的定义

• 线性线（list）：由零个或多个数据元素组成的有限序列。
• 需要强调的几个地方：
  1. 首先它是一个序列，也就是说元素之间是有先来后到的。
  2. 若元素存在多个，第一个元素无前驱，最后一个元素无后继，其他元素有且只有一个前驱和后继。
  3. 另处，线性表强调的是有限的。
• 如果用数学语言来进行定义，可如下：
• 若将线性表记为（a₁,…,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的直接后继元素。
• 所以线性表元素的个数n（n>=0）定义为线性表的长度，当n=0时，称为空表。

抽象数据类型

• 例如在c语言中，按照取值的不同，数据结构可以分成两类：
  1. 原子类型：不可以再分解的基本类型，例如整型、浮点型、字符型等。
  2. 结构类型：由若干个类型组合而成，是可以再分解的，例如整型数组是由若干个整形数据组成的。
• 抽象：是指抽取出事物具有的普遍性的本质。它要求抽出问题特征而忽略非本质的细节，是对具体事物的一个概括。抽象是一种思维方式，它隐藏了事物的繁杂的细节。
• 我们对已有的数据类型进行抽象，就有了抽象数据类型。
• 抽象数据类型（Abstract Data Type,ADT）是指一个数学模型及定义在该模型上的一组操作。
• 抽象数据类型的定义仅取决于它的一组逻辑特性，而与其在计算机内部如果表示和实现无关。
• “抽象”的意义在于数据类型的数学抽象特性。

抽象数据类型标准格式

ADT 抽象数据类型名
Data
	数据元素之间逻辑关系的定义
Operation
	操作
endADT

线性表的抽象数据类型

• 所谓抽象数据类型就是数据类型和相关操作捆绑到了一起。

• ADT 线性表（list）

• Data
  线性表的数据对象集合为{a₁,a₂,…,a_n}，每个元素的类型均为DataType。

• Operation
  InitList(*L):初始化操作，建立一个空的线性表L。
  ListEmpty(L):判断线性表是否为空表，若线性表为空，则返回true，否则返回false。
  ClearList(*L):将线性表清空。
  GetElem(L,i,*e):将线性表第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。
  说白了就是把不存在于A中的B集合中的元素插入到A中即可。

  分析：我们只需要循环遍历集合B中的每个元素，判断当前元素是否存在A中，如果不存在，则插入A中。
  我们需要用到的操作：
  - ListLength(L);
  - GetElem(L,i,*e);
  - LocateElem(L,e);
  - ListInsert(*L,i,e);

• 代码：

//La表示A集合，Lb表示B集合。
void unionL(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)){
			ListInsert(La,++La_len,e);
		}
	}
}

线性表的顺序存储结构

• 线性表有两种物理存储结构：顺序存储结构和链式存储结构。
• 线性表的顺序存储结构是指用一段地址连续的存储单元依次的存储线性表的元素。
• 接下来看线性表顺序存储结构的代码：

#define MAXSIZE 20
typedef int ElemType;
typedef struct{
	ElemType data[MAXSIZE];
	int length; //线性表当前长度。
}Sqlist;

• 我们可以看到，这里我们封装了一个结构，事实上就是对数组进行封装，增加了个当前长度的变量罢了。
• 总结下，顺序存储结构封装需要三个属性：
  1. 存储空间的起始位置，数组data，它的存储位置就是线性表存储空间的存储位置。
  2. 线性表最大的存储容量：数组的长度MAXSIZE。
  3. 线性表的当前长度length。
• 注意，数组的长度与线性表的当前长度是有区别的：数组的长度是存放线性表的存储空间的总长度，一般初始化后不变。而线性表的当前长度是线性表中元素的个数，是会变化的。

地址计算方法

• 我们或许习惯了数组从0开始的计算方法，但是线性表是从1开始的。
• 假设ElemTpye占用的是c个存储单元（字节），那么线性表中第i+1个数据元素和第i个数据元素的存储位置关系是（LOC表示获得存储位置的函数）：LOC(a_i+1)=LOC(a_i)+c
• 所以对于第i个数据元素a_i的存储位置可以由a₁推算得出：LOC(A_I)=LOC(A₁)+(i-1)*c
  结合一下图来理解
  
• 通过这个公式，我们可以随时计算出线性表中任意位置的地址，不管它是第一个还是最后一个，都是相同的时间。那么它存储时间的性能当然就是O(1)，我们通常称为随机存储结构。

获得元素操作

• 实现GetElem的具体操作，即将线性表L中的第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个元素的值。

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;
}

插入操作

• 线性表的顺序存储结构具有随机存储结构的特点，时间复杂度为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;
}

TODO待补充…