第二章（线性结构）

 

线性结构：一个数据元素的有序（次序）集。

线性结构的基本特征：
1.集合中必存在唯一的一个“第一元素”；
2.集合中必存在唯一的一个“最后元素”；
3.除最后元素在外，均有唯一的后续；
4.出第一元素之外，均有唯一的前驱；

2.1 线性表的类型定义。
抽象数据类型 线性表 的定义如下：
ADT List {
               数据对象：
               D={Ai | Ai  属于ElemSet，i=1，2····n，n>=0}
                  { 称n为线性表的表长；
                     称n=0时的线性表为空表。           
                  }
           
                数据关系：
                R1={<a( i-1) ,a(i)>|a(i-1),a(i) 属于 D, i=2,~~n}
                {设线性表为（a（1），a（2），~~~a（i），~~~a（n）），称 i 为 a 在线性表中的位序。}
             }

基本操作：
{结构初始化}：  InitList（&L）
                          操作结构：构造一个空的线性表L；

{销毁构造}：DestroyList（&L）
                     初始条件：线性表L已存在；
                     操作结构：销毁线性表L；

{引用型操作}
                     （1）清空线性表： ListEmpty（L）
                       初始条件：线性表L已存在。
                       操作结构：若L为空表，则返回TRUE，否则FALSE。
                     （2）求线性表长度：ListLenght(L)
                       初始条件：线性表L已存在。
                       操作结构：返回L中元素个数。
                     （3）求线性表的前驱：PriorElem（L，cur_e, &pre_e）
                       初始条件：线性表L已存在。
                       操作结果：若cur_e是L的元素，但不是第一个，则用pre_e返回它的前驱，否则操作失败，pre_e无定义。
                     （4）求线性表的后继：NextElem(L，cur_e，&next_e)
                       初始条件：线性表L已存在。
                       操作结果：若cur_e是L的元素，但不是最后一个，则用next_e返回它的后继，否则失败，next_e无定义。
                     （5）取元素：GetElem（L，i，&e）
                       初始条件：线性表L已存在1<= i <=LengthList（L）
                       操作结果：用e返回L中第i个元素的值。
                     （6）返回一个满足compare（）（判定函数）的值：LocateElem（L，e，compare（））
                       初始条件：线性表L已存在，compare（）是元素判定函数。
                       操作结果：返回L中第一个与e满足关系compare（）的元素的位序。若这样的元素不存在，则返回值为 0
                     （7）遍历：ListTraverse（L，visit（））
                       初始条件：线性表L已存在
                       操作结果：依次对L的每个元素调用函数visit（）。一旦visit（）失败，则操作失败。
{加工型操作}
                     （1）ClearList（&L）
                       初始条件：线性表L已存在。
                       操作结果：将L重置为空表。
                     （2）PutElem（L，i，&e）
                       初始条件：线性表L已存在 1<= i<=lengthList（L）
                       操作结果：L中第i个元素赋值同e的值 
                     （3）ListInsert（&L，i，e）
                       初始条件：线性表L已存在 1<= i<=lengthList（L）+1
                       操作结果：在L的第i个元素之前插入新的元素e，L的长度增1。
                     （4）ListDelete（&L，i，&e）
                       初始条件：线性表L已存在 1<= i<=lengthList（L）
                       操作结果：删除L的第i个元素，并用e返回其值，L的长度减1。
例2-1
        假设：有两个集合A和B分别用两个线性表LA和LB表示（即：线性表中的数据元素即为集合中的成员）
                  现要求一个新的集合A=A（并）B
       上述问题可以演泽为，
                  要求对线性表作如下操作：扩大线性表LA，将存在于线性表LB中而不存在于线性表LA中的数据元素插入到线性                                                                表LA中去。

        具体步骤：（1）从线性表LB中依次取得每个数据元素，GetElem（LB，i）--->e
                          （2）依值在线性表LA中进行查访；LocateElem（LA，e，equal（））
                          （3）若不存在，则插入之；ListInsert（LA，n+1，e）
       void union（List &LA，List LB）
        {
            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，equal（）））
                  ListInserter（LA，++LA_len,e）
             }
        }

例 2-2
         已知一个非纯集合B，试构造一个纯集合A，使A中只包含B中所有值各不相同的数据元素。
        
（当集合有序的时候）
         void purge（List &La，List Lb）
         {
            InitList（LA）；
            La_len=ListLength（La）；
            Lb_len=ListLength（Lb）；//求线性表的长度
            for（i=i；i<=Lb_len；i++）
            {
                  GetElem（Lb，i，e）；//取Lb中第i个数据元素赋给e
                  if(ListEmpty（LA）|| ！equal（en，e）)
                  {
                      ListInserter（La，++La_len，e）；
                      en=e；
                  }// La中不存在和e相同的数据元素，则插入之。
            }
         }