Python数据结构-顺序表

线性表是最基本的数据结构之一，它是某类元素的一个集合，还记录着元素之间的一种顺序关系。一组元素为一个序列，用元素在序列里的位置和顺序表示实际应用中的某种有意义的信息，或表示数据间的某种关系。
根据线性表的实际存储方式，可分为两种实现模型：
顺序表：
将元素顺序地存放在一块连续的存储区里，元素间的顺序关系由它们的存储顺序自然表示。
链表：
将元素存放在通过链接构造起来的一系列存储块中。

顺序表的形式

基本顺序表

数据元素本身连续存储，每个元素所占的存储单元大小固定相同。元素的下标是其逻辑地址，元素存储的物理地址（实际内存地址）可通过存储区的起始地址Loc (e0)加上逻辑地址（第i个元素）与存储单元大小（c）的乘积计算而得，即：

Loc(ei) = Loc(e0) + c*i

故，访问指定元素时无需从头遍历，通过计算便可获得对应地址，其时间复杂度为O(1)。

元素外置顺序表

元素大小不统一，则须将实际数据元素另行存储，而顺序表中各单元位置保存对应元素的地址信息（即链接）。由于每个链接所需的存储量相同，通过上述公式，可以计算出元素链接的存储位置，而后顺着链接找到实际存储的数据元素。

Loc(ei) = Loc(e0) + c*i

c不是数据元素大小，而是存储一个链接地址所需的存储量。

顺序表的结构与实现

一个顺序表的完整信息包括两部分，一部分是表中的元素集合，另一部分是为实现正确操作而需记录的信息，即有关表的整体情况的信息。
这部分信息主要包括：
1.元素存储区的容量
2.当前表中已有的元素个数

一体式结构

存储表信息的单元与元素存储区以连续的方式安排在一块存储区里，两部分数据的整体形成一个完整的顺序表对象。

优势：一体式结构整体性强，易于管理。
劣势：数据元素存储区域是表对象的一部分，顺序表创建后，元素存储区就固定了。若想更换数据区，只能整体搬迁，即改变整个顺序表对象（指存储顺序表的结构信息的区域）。

分离式结构

表对象里只保存与整个表有关的信息（即容量和元素个数），实际数据元素存放在另一个独立的元素存储区里，通过链接与基本表对象关联。

优势：若想更换数据区，只需将表信息区中的数据区链接地址更新即可，而该顺序表对象不变。

元素存储区扩充

采用分离式顺序表时，若将数据区更换为存储空间更大的区域，则可在不改变表对象的前提下对其数据存储区进行扩充。
只要程序的运行环境（计算机系统）还有空闲存储，这种表结构就不会因为满了而导致操作无法进行。
采用这种技术实现的顺序表为动态顺序表，其容量可以在使用中动态变化。

存储区扩充的两种策略

1.每次扩充增加固定数目的存储位置，如每次扩充增加10个元素位置，这种策略可称为线性增长。
优势：节省空间
劣势：扩充操作频繁，操作次数多

2.每次扩充容量加倍，如每次扩充增加一倍存储空间。
优势：减少扩充操作的执行次数
劣势：可能会浪费空间资源（以空间换时间）

顺序表的操作

增加元素

表尾端加入元素

时间复杂度为O(1)。

非保序的元素插入

时间复杂度为O(1)。

保序的元素插入

时间复杂度为O(n)。

删除元素

删除表尾元素

时间复杂度为O(1)

非保序的元素删除

时间复杂度为O(1)

保序的元素删除

时间复杂度为O(n)

Python中顺序表的实现

Python中的list和tuple两种类型采用了顺序表的实现技术，具有前面讨论的顺序表的所有性质。
tuple是不可变类型，即不变的顺序表，因此不支持改变其内部状态的任何操作。而其他方面，则与list的性质类似。

list的基本实现技术

Python标准类型list是一种元素个数可变的线性表，可以加入和删除元素，并在各种操作中维持已有元素的顺序（即保序）。
list是一种采用分离式技术实现的动态顺序表。

在Python的官方实现中，list实现采用了如下策略：
建立空表（或者很小的表）时，系统分配一块能容纳8个元素的存储区；
执行插入操作（insert或append）时，若元素存储区满，就换一块4倍大的存储区。但如果此时的表已经很大（目前的阀值为50000），则改变策略，采用加一倍的方法，以免出现过多空闲的存储位置。