作业数据结构推导上下三角矩阵的压缩存储公式中K的表达式