压缩存储针对特殊矩阵(如对称、三角等),只存有用数据并通过映射定位;对称矩阵仅存主对角线及下三角,一维数组长n(n+1)/2,行优先时ai(i≥j)对应k=i(i+1)/2+j。

二维数组本身不压缩,所谓“压缩存储”针对的是具有特定规律的特殊矩阵(如对称、三角、三对角、稀疏等),目的是减少冗余或零值占用的空间。核心思路是:只存有用数据,再通过数学映射实现快速定位。
对称矩阵:只存一半 + 对角线
适用于满足 a[i][j] == a[j][i] 的 n 阶方阵。实际只需保存主对角线及下(或上)三角区域。
- 一维数组长度为 n(n+1)/2,下标从 0 开始
- 行优先存储时,a[i][j](i ≥ j)对应一维下标 k = i(i+1)/2 + j
- 若 i
三角矩阵:存非零区 + 补一个常量
分上三角和下三角两类。以**下三角矩阵**为例:主对角线以下(含)元素任意,其余全为同一常量 c。
- 按行优先存下三角区(共 n(n+1)/2 个元素)
- 一维数组末尾额外存一个位置放常量 c
- a[i][j](i ≥ j)的下标 k = i(i+1)/2 + j;若 i
三对角矩阵:只存三条斜线
非零元素仅集中在主对角线及其上下两条对角线上,共 3n−2 个有效元素(n≥2)。
- 按行优先顺序,依次存每行的三个非零元(不足时补空位)
- a[i][j] 有值当且仅当 |i−j| ≤ 1;其在一维数组中位置可推导为 k = 2i + j − 1(下标从 0 起,需校验边界)
- 注意第 0 行只有两个元素(a[0][0], a[0][1]),最后一行也类似
稀疏矩阵:存非零元的位置与值
非零元素远少于总数,典型策略是记录“行、列、值”三元组。
- 顺序存储:用结构体数组保存每个非零元的 (i, j, val),按行主序排列
- 链式存储:十字链表,每个非零元同时链接同行下一个、同列下一个,支持高效插入与遍历
- 访问某元素 a[i][j] 时,需遍历查找匹配的三元组,时间复杂度 O(非零元个数)
压缩不是为了提速,而是省空间;所有方案都依赖精确的下标映射函数,确保逻辑访问与物理存储之间可逆转换。











