SpM 数据表示中第 0 行为空的情况

[zZzZ9zZ9]

假设SPM的第一行所有元素都为0，那么ptr[0]是多少？如果ptr[0]是0的话那不就还是包含了第一个元素？（虽然没有影响测试数据通过，但是感觉表示方法有bug）或者说测试样例里面都保证了SpM第一行一定有一个值？

[KEKE046]

是的，保证 SpM 第一行至少有一个值。这是本次 lab 的 spmm 格式的缺陷，第一行不能为空。
这样设计的原因是为了把 ptr 数组每个元素的值 fit 到 $2 \log_2 n$ 的位宽。README 中也说到：

hlcd-spmm-project/README.md

Line 29 in 76bed52

下面的图展示了 **COO** 和 **CSR** 格式的对比。**COO** 格式指将矩阵中所有的非零元素按 (row, col, data) 排列成一个列表。可以发现，row 数组里有大量冗余，表现是有很多连续且相同的元素。**CSR** 格式不记录 row 的数组，而是对行做索引。用一个 ptr 数组记录每一行的结束元素所在位置（更标准的是记录开始元素，但在这个 lab 里我们考虑结束元素）。

更标准的是记录开始元素，但在这个 lab 里我们考虑结束元素

[zZzZ9zZ9]

Thx!