数据结构与算法C5汇.pptVIP

第5章 数组与十字链表 数组中的元素一般同时属于多个线性表，故属于广义线性表。一般的高级程序设计语言都支持数组。但在高级程序设计语言中，重点是数组的使用，而我们这里重点是数组的内部实现，即高级程序设计语言或其他应用如何在计算机内部处理数组。其中主要问题是数组的存储方式与寻址。 十字链表多作为存储结构使用，其典型的应用是存储稀疏矩阵。由于其比较复杂，而且也代表了一类问题，故在这里单独介绍。 §5.1 数组 数组是一种十分常用的结构，大多数程序设计语言都直接支持数组类型。 数组的基本操作主要是元素定位，所以本节的主要内容是讨论数组的存储映射方法。对于一些特殊类型的数组，我们将在下节中专门介绍。 §5.1.1 数组的定义与运算 数组是由一组类型相同的数据元素构成，每个数据元素称为一个数组元素（简称元素），每个元素受n 个线性关系约束（n≥1），若它在第1～第n个线性关系中的序号分别为i1、i2……in, 则称它的下标为i1、i2……in，若该数组的名为A，则记下标为i1、i2……in,的元素为，称该数组为n维数组。 另一方面，可借助线性表的概念递归地定义： 数组定义为一个元素可直接按序号寻址的线性表 A=(A1, A2, …, Am)若Ai是简单元素（不是数组），则A是一维数组；若Ai是（k-1)维数组，则A是k维数组。这里，i=1,2,…,m. 而k是大于0的整数。 从此定义可直接看出，数组是从线性表的推广而来。 图 5?1为一个3维数组的元素关系示意图。 对一维数组的操作，也可以像线性表那样多种多样。对多维数组，由于是多个线性表的组合，所以情况会复杂些，此时，主要的操作通常是下列两种： 给定一组下标，读出相应的元素。 给定一组下标，修改相应的元素。 它们本质上只对应一种操作：寻址，即根据下标定位相应的元素，所以下面主要针对此问题讨论。 §5.1.2 数组的存储结构与寻址问题 数组是一种特殊的数据结构，一般要求元素的存储地址能根据它的下标（即逻辑关系）计算出来。所以，数组一般也只采用顺序存储结构。 讨论数组元素地址时，将数组的第1个元素的起始存储单元作为参考单元，参考单元的绝对地址称为该数组的首地址，数组其他元素的相对地址均相对于首元素的起始地址。设i1、i2、…、in为某n维数组中的一个元素的下标，则用Loc(i1, i2, …, in)表示此元素的相对地址。 对一维数组，与线性表类似，可使用顺序存储方式。但对多维数组，其已不属于线性结构的范畴，所以，不能直接使用顺序存储方式。但多维数组有其特殊性，具有线性结构的痕迹，它可唯一地转换为一维结构，反之亦然。从转换后的一维结构，可根据元素的存储位置推算出元素的逻辑关系（下标）。据此，可以将多维数组映射为一维结构，然后使用顺序存储方式。  §5.1.3 一维数组的存储与寻址 一维数组的每个元素只含一个下标，其实质上是线性表，存储方法与普通线性表的顺序存储方法完全相同，即将数组元素按它们的逻辑次序存储在一片连续区域内。设一维数组为 　　　　A=(a0, a1, …, an-1) 则它的元素ai的相对地址为 Loc(i)=i · c 这里，c表示每个元素占用的存储单元数目。 一般地，若数组下标范围为闭区间[l1, h1]内的整数，即 A=() 则元素ai的相对地址为 Loc(i)=(i-l1) · c §5.1.4 二维数组的存储 二维数组的每个元素只含2个下标，其已不是一般的线性表。 如果将二维数组的第1个下标理解为行号，第2个下标理解为列号，然后按行列次序排列各元素，则二维数组呈阵列形状。例如 a11 a12 … a1n a21 a22 … a2n 　　A= …… 　　　 am1 am2 … amn ? 是一个行号为1到m，列号为1到n的二维数组元素阵列。 对这类非线性结构的存储，需将多维关系映射为一维（线性）关系，即要确定多维到一维的映射。常用的映射方法有两种：按行与按列。 (一) 按行存储 按行存储的基本思想是：先行后列，即先存储行号较小的元素，行号相同者，先存储列号较小者