线性表(数据结构)

第二章 线性表

线性表是最基本且最常用的一种线性结构，同时也是其他数据结构的基础，尤其是单链表，是贯穿整个数据结构的基本技术。
2.1 线性表的定义和特点
在日常生活中，线性表的例子比比皆是，例如26个英文字母的字母表：
(A,B,C,D…,Z),其是一个线性表，表中的数据元素是单个字母，在稍微复杂度的线性表中，一个数据元素可以包含若干个数据项，例如所涉及的学生信息表，每个学生为一个数据元素，包括学号、姓名、性别、籍贯、专业等数据项。
由以上实例可以看出，它们的数据元素虽然不同，但同一线性表中的元素必定具有相同的特性，即属于同一数据对象，相邻数据元素之间存在着序偶关系。诸如此类由n(n>=0)个数据特性相同的元素构成的有限序列称为线性表，线性表中的元素个数n(n>=0)定义为线性表的长度，n=0时称为空表。
对于非空的线性表或线性结构，其特点是：
(1)、存在唯一的一个被称作“第一个”的数据元素。
(2)、存在唯一的一个被称为“最后一个”的数据元素
(3)、除第一个外，结构中的每个数据元素均有一个前驱
(4)、除最后一个外，结构中的每个数据元素均有一个后继
2.2 案例引入
一元多项式的运算
在数学上，一个一元多项式Pn(x)可按升幂写成：
Pn(x)=P0+P1x+P2x^2+…+PnXn
要求：实现两个一元多项式的相加、相减和相乘的运算。
实现两个一元多项式的相加、相减和相乘的运算：
实现两个多项式的相关运算的前提是如何在计算机中有效地表示一元多项式，进而在此基础上设计相关运算的算法？这个问题看似复杂，我们通过学习本章中线性表的表示及其相关运算就可以完成。
可以看出，一元多项式可由n+1个系数唯一确定，因此，可以将一元多项式Pn(X)抽象为一个个元素组成的有序序列，可以用一个线性表P来表示：
P=(P0,P1,P2,P3…Pn)
这时，每一项的指数i隐含在其系数Pi的序号中。
假设Qm(X)是一元m次多项式，同样可以用线性表Q来表示：
Q=(q1,q2,q3…,qm).
不失一般性，设m<=n,则两个多项式想加的结果为：
Rn(X)=Pn(X)+Qn(X)；
R=(p0+q0,p1+q1,p2+q2,p3+q3,…,pm+qm,pm+1,…pn)
在后面的叙述中将看到，对此类多项式的线性表只需要用数组表示的顺序存储结构便很容易实现上述运算。
图书信息管理系统
出版社有一些图书数据保存在一个文本文件book.txt中，为了简单起见，在此假设每种图书只包括三部分信息：ISBN(书号)、书名和价格，现要求实现一个图书信息管理系统，包括以下6个具体功能。
(1)、查找：根据指定的ISBN或书名查找相应图书的有关信息，并返回该图书在表中的位置序号
(2)、插入：插入一种新的图书信息
(3)、删除：删除一种图书信息
(4)、修改：根据指定的ISBN，修改该图书的价格。
(5)、排序：将图书按照价格由低到高进行排序
(6)、计数：统计图书表中的图书数量
要实现上述功能，与以上案例的多项式一样，我们首先根据图书表的特点将其抽象为一个线性表，每本图书作为线性表中的一个元素，然后采用适当的存储结构来表示该线性表，在此基础上设计完成有关的功能算法，具体采用哪种存储结构，可以根据两种不同存储结构的优缺点，视具体情况而定。
可以看出，在工作和生活中，的许多实际应用问题都会涉及到图书信息管理中用到的这些基本操作。这些问题都包含由n个数据特性相同的元素，即可以表示为线性表。不同的问题时所涉元素的数据类型不尽相同，可以为简单数据类型，也可以为复杂数据类型，但这些问题所涉的基本操作都具有很大的相似性，如果为每个具体的程序应用都编一个程序显然不是一种很好的算法。解决这类问题的最好方法就是从具体应用中抽象出共性的逻辑结构和基本操作，然后采用程序设计语言实现相应的存储结构和基本操作。
2.3 线性表的类型定义
线性表是一个相当灵活的数据结构，其长度可以根据需要增长或者缩短，即对线性表的数据元素不仅可以进行访问，而且可以进行插入和删除操作。
ADT List{
数据对象：D={ai |ai∈ElemSet,i=1,2,…,n,n>=0}
数据关系：R=z{<ai-1,ai>|ai-1,ai∈D，i=2,…,n}
基本操作：
InitList(&L)
操作结果：构造一个空的线性表L。
DestroyList(&L)
初始条件：线性表L已存在。
操作结果：销毁线性表L
ListEmpty(L)
初始条件：线性表L已存在
操作结果：若L为空表，则返回true，否则返回false。
ListLength(L)
初始条件：线性表L已存在
操作结果：返回L中数据元素的个数
GetElem(L,i,&e)
初始条件：线性表L已存在，且1<=i<=ListLength(L)
操作结果：用e返回L中第i个数据元素的值
LocateElem(L,e)
初始条件：线性表L已存在
操作结果：返回L中第1个值与e相同的元素在L的位置，若这样的数据元素不存在，那么其返回值为0.
PriorElem(L,cur_e,&pre_e)
初始条件：线性表L已存在
操作结果：若cur_e是线性表的数据元素且不是第一个，则用pre_e返回其前驱，否则操作失败，pre_e无定义
NextElem(L,cur_e,&next_e)
初始条件：线性表L已存在
操作结果：若cur_e是线性表的数据元素并且不是最后一个，则用pre_e返回其后继，否则操作失败，next_e无定义。
ListInsert(&L,i,e)
初始条件：线性表L已存在，且1<=i<=ListLength(L)+1
操作结果: 在L的第i个位置之前插入新的数据元素e,L的长度加1.
ListDelte(&L,i)
初始条件：线性表L已存在并且非空，且1<=i<=ListLength(L)
操作结果：删除L的第i个数据元素，L的长度减一
TraverseList(L)
初始条件：线性表L已存在
操作结果：对线性表L进行遍历，在遍历的过程中对L的每个结点都访问一次。
}ADT List
抽象数据类型只是一个模型的定义，并不涉及模型的具体实现，因此，这里描述中所涉及的参数不必考虑具体数据类型。在实际应用中，数据元素可能有多种类型，到时可根据具体需要选择使用不同的数据类型。

2.4 线性表的顺序表示和实现

2.4.1 线性表的顺序存储表示
线性表的顺序表示指的是用一组地址连续的存储单元依次存储线性表中的数据元素，这种表示也称作线性表的顺序存储结构或顺序映像。通常，称这种存储结构的线性表为顺序表。其特点是，逻辑上相邻的数据元素，其物理次序也是相邻的。
只要确定了存储线性表的起始位置线性表中任一数据元素都可以随机存取，所以线性表的顺序存储结构是一种随机存储的数据结构。
由于高级程序设计语言中的数组类型也有随机存储的特性，因此，通常都用数组来描述数据结构中的顺序存储结构。在此，由于线性表的长度可变，且所需最大存储空间随问题不同而不同，则在C语言中可用动态分配的一维数组来表示线性表。描述如下：
//---------顺序表的存储结构----------

#define MAXSIZE 100       //顺序表可能达到的最大长度
typedef struct
{
   Elemtype *elem;        //存储空间的基地址
   int length;            //当前长度
}SqList;                  //顺序表的结构类型为SqList

用顺序表存储多项式数据代码：

#define MAXSIZE 100
typedef struct         //多项式非零项的定义
{
  float coef;           //系数
  int expn;             //指数
}Polynomial;
typedef struct
{
  Polynomial *elem;      //存储空间的基地址     
  int length;            //多项式中当前项的个数
}Sqlist;                //多项式的顺序存储结构为Sqlist

用顺序表实现图书表：

#define MAXSIZE 10000      //图书表可能达到的最大长度
typedef struct             //图书信息定义
{
   char no[100];           //图书ISBN(编号)
   char name[50];          //图书名字
   float price;            //图书价格
}Book;
typedef struct
{
   Book *elem;             //存储空间的基地址
   int length;             //图书表中当前图书个数
}SqList;                   //图书表的顺序存储结构类型为SqList

将L定义为SqList类型的变量，便可以利用L.elem[i-1]访问表中位置序号为i的图书记录。
2.4.2 顺序表中基本操作的实现
可以看出，当线性表以上述定义的顺序表表示时，某些操作很容易实现。因为表的长度是顺序表的一个属性，可以通过返回length的值实现求表长的操作，通过判断length的值是否为空，这些操作的时间复杂度都是O(1).
1.初始化
顺序表的初始化就是构造一个空的顺序表。
算法2.1 顺序表的初始化
【算法步骤】
(1)、为顺序表L动态分配一个预定大小的存储空间，使elem指向这段空间的基地址。
(2)、设当前链表的长度为0。
【算法描述】

Status InitList(SqList &L)
{
   //构造一个空的顺序表
   L.elem=new ElemType[MAXSIZE];//为顺序表分配一个大小为MAXSIZE的数组空间
   if(!L.elem)
   exit(OVERFLOW);
   L.length=0;
   return OK;
}

动态分配线性表的存储区域可以更有效地利用系统的资源，当不需要该线性表时，可以使用销毁操作及时释放所占用的内存空间。
2.取值
取值操作是根据特定的位置序号i，获取顺序表中的第i个数据元素的值。
由于顺序存储结构具有随机存取的特点，可以直接通过数组下标定位得到，elem[i-1]单元存储第i个数据元素。
算法2.2 顺序表的取值
【算法步骤】
(1)、判断指定的位置序号i值是否合理(1<=i<=length)，若不合理，则返回ERROR。
(2)、若i值合理，则将第i个数据元素L.elem[i-1]的值赋给e，通过e返回第i个数据元素的传值。
【算法描述】

Status GetElem(SqList L,int i,Elemtype &e)
{
     if(i<1||i>L.length)
     return ERROR;
     e=L.elem[i-1];
     return OK;
}

【算法分析】
显然，顺序表的取值算法的时间复杂度为O(1)。
3.查找
查找操作是指根据指定的元素值e，查找顺序表中第1个与e相等的元素，若查找成功，则返回该元素在表中的位置序号；若查找失败，则返回0。
算法2.3 顺序表的查找
(1)、从第一个元素起，依次和e相比较，若找到与e相等的元素L.elem[i]，则查找成功，返回该元素的序号i+1。
(2)、若查找整个顺序表都没有查到，则查找失败，返回值为0。
【算法描述】

int LocateElem(SqList L,ElemType e)
{
     for(i=0;i<L.length;i++)
     if(L.elem[i]==e)
     return i+1;
} 

【算法分析】
在线性表的存储结构中，由于逻辑上相邻的数据元素在物理位置上也是相邻的。
算法2.4 顺序表的插入
【算法步骤】
(1)、判断插入位置是否合法（i值的取值范围1<=i<=i+1),若不合法则返回ERROR。
(2)、判断顺序表中的存储空间是否已满，若满则返回ERROR。
(3)、将第n个至第i个位置的元素依次往后移动一个位置，空出第i个位置(i=n+1时无需移动)。
(4)、将要插入的新元素e放入第i个位置。
(5)、表长加1。
【算法描述】

Status InitList(SqList L,int i,Elemtype e)
{
      if((i<1)||(i>L.length+1))
      return ERROR;
      if(L.length=MAXSIZE)        //当前存储空间已满
      return ERROR;
      for(j=L.length-1;j>i-1;j--)
      L.elem[i+1]=L.elem[i];     //插入位置及之后的元素后移
      L.elem[i-1]=e;             //将新元素e放入到第i个位置
      ++L.length;                //表长加1
      return OK;
}

上述算法没有处理表的动态扩充，因此当表长已经达到预设的最大空间时，则不能再插入元素。
顺序表的插入算法的平均复杂度为O(n)。
算法2.5 顺序表的删除
【算法步骤】
(1)、判断删除位置i是否合法(1<=i<=n)，若不合法则返回ERROR。
(2)、将第i+1个至第n个元素依次向前移动一个位置(i=n时无需移动).
(3)、表长减1。
【算法描述】

Status Elemtype(SqList L,int i,ElemType e)
{
   if(i<1||i>n)
   return ERROR;
   if(L.length=MAXSIZE)
   return ERROR;
   for(j=i;j<L.length-1;j++)
   L.elem[j-1]=L.elem[j];
   --L.length;
   return Ok;
}

顺序表删除算法的平均时间复杂度为O(n).
顺序表可以随机存取表中的任何一个元素，其存储位置可用一个简单、直观的公式来表示，但是，这也造成了其缺点，在插入和删除中，需要大量移动元素，另外由于数组具有固定的静态属性，当表中的数据元素较多且变化较大时，操作过程相对复杂，必然会导致存储空间的浪费。
下一章将引入链式存储结构来解决。