顺序表
基本概念
程序中,经常需要将一组(通常为某个类型的)数据元素作为整体管理和使用,需要创建这种元素组,用变量记录他们,传进传出函数等。
一组元素数据中包含的元素个数可能发生变化 比如说可以增加或者删除元素。
对于这种需求,最简单的是解决方案便是将这样的一组元素看成一个序列,用元素在序列里的位置和顺序,表示数据之间的某种关系。
这样的一组序列元素的组织形式,我们可以将其抽象为线性表。一个线性表示某类元素的一个集合,还记录着元素之间的一种顺序关系。线性表是最基本的数据结构之一,在实际程序中引用非常广泛,它还经常被用作更复杂的数据结构的实现基础。
两种模型储存线性表的实际储存方式:
- 顺序表 将元素顺序的存放在一起连续的储存区里 元素间的顺序关系由他们的储存顺序自然表示
- 链表 将元素存放在通过连接构造起来的一些列储存块中
顺序表的基本形式
图a表示的是顺序表的基本形式,数据元素本身连续储存,每个元素所占的储存单元大小固定相同,元素的下标是其逻辑地址,而是元素储存的物理地址,而元素的物理地址(实际内存地址)可以通过存储区的起始地址loc(e0)加上逻辑地址(第i个元素)与存储单元大小©的乘积计算而得,即:
Loc(ei) = loc(e0) + c*i
故 访问指定元素时无需从头遍历 通过计算可获得对应地址 其时间复杂度O(1)
如果元素的大小不统一,则须采用图b的元素外置的形式,将实际数据元素另行储存,而顺序表中各单元位置保存对应元素的地址信息(链接)。由于每个链接所需的储存量相同,可以计算出元素链接的储存位置。而后顺着链接找到实际储存的数据元素。
b)中的c不再是数据元素的大小 而是存储一个链接地址所需的存储量,这个量通常很小。
图b这样的顺序表也被称为对实际数据的索引,这是最简单的索引结构。
顺序表的结构和实现
顺序表的结构
一个完整的顺序表包括两个部分:
- 表中元素集合
- 为实现正确操作而需记录的信息 就是表中整体情况的信息,包括:
- 元素存储区的容量
- 当前表中已有的元素个数
顺序表中的两种基本实现方式
图a为一体式结构,存储信息的单元与元素存储区以连续的方式安排在一块存储区里,两部分数据的整体形成一个完整的顺序表对象。
一体式结构整体性比较强,易于管理。但是由于数据元素存储区是表对象的一部分,顺序表创建后,元素存储区就固定了。
图b为分离式结构,表对象里只保存于整个表有关的信息(容量和元素个数) 实际数据元素存放在另一个独立的元素存储区里,通过链接与基本表对象关联。
元素存储区替换
一体式结构由于顺序表信息区与数据区连续存储一起,所以若想更换数据区,则只能整体搬迁,即是整个顺序表(指的是顺序表的结构信息的区域)改变了。
分离式结构若想更换数据区,只需要将信息区中的数据区连接地址更新即可,该顺序表对象不变。
元素存储区扩充
采用分离式结构的顺序表,若将数据区更换为存储空间更大的区域,则可以在不改变表对象的前提下对其数据存储区进行了扩充,所有使用这个表的地方都不必修改。
扩充的两种策略:
- 每次扩充增加固定数目的存储位置,如每次扩充增加10个元素位置,这种策略可称为线性增长。
- 每次扩充容量加倍,如每次扩充增加一倍存储空间。
顺序表的操作
增加元素
增加元素 表中增加111。
a. 尾部加入元素 时间复杂度O(1)
b. 非保序的元素插入
c. 保序的元素插入
删除元素
a. 删除表尾元素 时间复杂度为O(1)
b. 非保序的元素删除(不常见) 时间复杂度O(1)
c. 保序的元素删除 时间复杂度O(n)
Python中的顺序表
Python中的list和tuple两种类型采用了顺序表的实现技术,都具有前面的顺序表的所有性质。
tuple是不可变类型,即不变的顺序表,因此不支持改变内部状态的任何操作,而其他方面,则与list的性质类似。
list的基本实现技术
Python标准类型list就是一种元素个数可变的线性表,可以加入和删除元素,并在各种操作中维持已有元素的顺序(就是保序)
- 基于下标(位置)的高效元素访问和更新,时间复杂度应该是O(1),为满足该特征,应该采用顺序表技术,表中元素保存在一块连续的存储区中。
- 允许任意加入元素,而且在不断加入元素的过程中,表对象的标识(函数id得到的值)不变。为满足该特征,就必须能更换元素存储区,并且为保证更换存储区时list对象的标识id不变,只能采用分离式实现技术。
- list就是一种采用分离式技术实现的动态顺序表。这就是为什么用list.append(x) (或 list.insert(len(list), x),即尾部插入)比在指定位置插入元素效率高的原因。
在Python的官方实现中,list实现采用了如下的策略:
- 在建立空表(或者很小的表)时,系统分配一块能容纳8个元素的存储区
- 在执行插入操作(insert或append)时,如果元素存储区满就换一块4倍大的存储区
- 如果此时的表已经很大(目前的阀值为50000),则改变策略,采用加一倍的方法。引入这种改变策略的方式,是为了避免出现过多空闲的存储位置