数据结构第5章组和广义表.pptVIP

第五章 数组和广义表 数组描述 数组描述 关系集Row和Col表明：除数组A(2)周边元素外的其它任一个元素aij，有两个直接前驱ai-1j，aij-1,和两个直接后继ai+1j，aij+1 (周边元素的前驱或后继可不足两个)。n维数组也可按上述方法类似定义。 二维数组可如下描述: 多维数组是线性表的推广，而线性表是多维数组的特例。 5.1.1数组的抽象数据类型 数组的抽象数据类型 数组的存储映像 2.静态数组元素的地址计算 数组元素的地址计算 数组元素的地址计算 数组元素的地址计算 5.2 矩阵的压缩存储 特殊矩阵的压缩 特殊矩阵的压缩 特殊矩阵的压缩 5.3.1稀疏矩阵的压缩存储 1.三元组表 三元组表的转置 三元组表的转置 三元组表的转置 2.十字链表 十字链表 建立十字链表 建立十字链表 5.4广义表的定义及其操作 例5-5 广义表的例子 广义表的例子 5.5广义表的存储结构 广义表的存储 广义表的存储 广义表的存储 第五章小结 第五章习题 * 在线性表L=(a0 a1,……,an-1)中，元素ai是无结构的（称为原子或单元素），即ai本身不再是一个数据结构。本章的数组和广义表是线性结构的推广。在这种结构中，元素本身可以又是一个数据结构。本章讨论多维数组的表示、矩阵压缩存储、广义表的表示等问题。 5.1数组的定义及其操作 5.1.1 数组的定义 在算法语言中(如FORTRAN、PASCAL、C、Java等)都有数组类型。前面接触到的是一维数组，本节以C语言为例讨论多维数组，如多维数组的描述、存储映象、地址计算等问题。 设二维数组: 其中:m、n为行列数,aij为第i行、第j列的元素,0≤i≤m-1,0≤j≤n-1;元素个数为m×n。 二维数组可用形式化语言描述，即： A(2)=(D,R) 其中：D={aij|aij∈datatype,0≤i≤m-1, 0≤j≤n-1}; R={Row,Col} 行关系：Row={aij,aij+1|aij,aij+1∈D,0≤i≤m-1,0≤j≤n-2} 列关系：Col={aij,ai+1j|aij,ai+1j∈D,0≤i≤m-2,0≤j≤n-1} a00 a01 ……a0j …… a0n-1 …………………………………. ai0 ai1 …… aij ….… ain-1 …………………………. am-10 am-11 …am-1j … am-1n-1 A(2) = A[m][n] = A[0] … A[i] … A[m-1] = (A[0]………A[i]…….…A[m-1] )-----线性表形式 a00 a01 ……a0j …… a0n-1 …………………………………. ai0 ai1 …… aij ….… ain-1 …………………………. am-10 am-11 …am-1j … am-1n-1 A(2) = A[m][n] = 在算法语言中，数组一旦生成，其元素的存储空间就固定下来，故数组的运算一般不包括插入和删除这样的操作。 ADT Array{ D={aj1j2…jn|aj1j2…jn∈datatype，ji=0,…,bi-1其中i=1,2,…,n } n(n0)为数组维数，bi是第i维长度， ji是数组元素第i维下标。 R={R1,R2,…,Rn} 其中：Ri={aj1…ji…jn, aj1…ji+1…jn|0≤jk≤bk-1，1≤k≤n且k≠i，0≤ji≤bi-2，aj1…ji…jn, aj1…ji+1…jn∈D，i=1,2,…,n} P ArrayInit(A,n,d1，d2,......dn) 操作结果：若维数n和各维长度合法，则生成一个n维数组A[d1][d2].....[dn]（C语言中，1≤n≤8）。 ArrayDestroy(A) 初始条件：数组A存在。操作结果：撤销数组A。 ArrayGet(A,i1,...,in,e) 初始条件：数组A存在，e∈datatype。操作结果：若各下标合法，则将元素A[i1][i2],...,[in]的值传给变量 e。 ArrayAssign(A,i1,...,in,e) 初始条件：数组A存在，e∈datatype。 操作结果：若各下标合法，则将变量 e的值传给数组元素A[i1][i2],...,[in]。 }ADT Array； 5.2 数组的存储结构 由于计算机的存储空间