数据结构与算法（三）

线性表定义：由零个或多个数据元素组成的有限序列。

注意：

1、它是一个序列，元素之间有先来后到的顺序
2、若元素存在多个，则第一个元素无前驱，而最后一个元素无后继，其他元素有且只有一个前去和后继
3、线性表强调的是有限的,事实上无论计算机发张到多强大，它所处理的元素都是有限的

若线性表几位（a1,a2,a3…,ai-1,ai,ai+1,…an），则表中ai-1领先于ai，ai领先于ai+1，称ai-1是ai的直接前驱元素，ai+1是ai的直接后继元素。

线性表元素的个数n（n>=0）定义为线性表的长度,当n=0时，成为空表。

数据类型定义：

是指一组性质相同的指的集合及定义在此集合上的一些操作的总称。（如：编程语言中的整型、浮点型、字符型这些就是数据类型）

抽象数据类型：

	抽象：是指抽取出事物具有的普遍性的本质。它要求抽出问题的特征，而忽略非本质的细节，是对具体的事物要求的一个概括。
	抽象数据类型就是对已有数据类型进行抽象
	抽象数据类型（Abstract Data Type)(简称ADT)，是指一个数学模型及定义在该模型上的一组操作。
	抽象数据类的定义仅取决于它的一组逻辑特性，而与其在计算机内部如何表示和实现无关。
	“抽象“的意义在于数据类型的数学抽象特性
	抽象数据类型不仅仅指那些已经定义并实现的数据类新，还可以是计算机编程者在设计软件时自己定义的数据类型。

描述抽象数据类型的标准格式：

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

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

ADT    线性表（List）
Data

线性表的数据对象集合为{a1,a2,…,an}，每个元素类型均为DataType。其中，除第一个元素a1外 每一个元素有且只有一个直接前驱元素，除了最后一个元素an外，每一个元素有且只有一个直接后继元素。数据元素之间是一对一的关系。

Operation

Initlist(*L): 初始化操作，建立一个空的线性表L。
ListEmpty(L): 判断线性表是否为空表，若为空表， 返回true，否则返回false。
ClearList(*L): 将线性表清空。
GetElen(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

对于不同的应用，线性表的基本操作是不同的，上述操作是最基本的，对实际问题中涉及的关于线性表的更复杂操作，完全可以用这些基本操作的组合来实现。

例

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