已知两个稀疏矩阵a和b以三元组顺序表进行存储，编写算法实现a+b、a-b，算法的时间复杂度要尽量的低。

### 回答1：
可以使用稀疏矩阵的三元组顺序表存储方式，分别遍历两个矩阵的非零元素，将它们的值相加或相减，再存储到一个新的稀疏矩阵中。具体实现可以按照以下步骤：

1. 定义一个新的稀疏矩阵c，初始化为空矩阵。

2. 分别遍历矩阵a和b的非零元素，将它们的行列下标和值存储到三元组中。

3. 对于每个三元组，判断它在c中是否已经存在相同的行列下标，如果存在，则将它们的值相加或相减，否则直接将该三元组插入到c中。

4. 遍历完a和b的所有非零元素后，c中存储的就是a+b或a-b的结果。

算法的时间复杂度取决于矩阵a和b中非零元素的个数，设a和b的非零元素个数分别为m和n，则算法的时间复杂度为O(m+n)。

### 回答2：
稀疏矩阵是指其中非零元素的数量远远少于矩阵总元素数量的矩阵。为了节省空间，我们通常使用三元组顺序表来存储稀疏矩阵。在这种存储方式下，我们用三个数组来表示稀疏矩阵的非零元素，分别是行下标数组、列下标数组和值数组。因此，对于一个m×n的稀疏矩阵，其三元组顺序表可以表示为一个长度为t的一维数组TRI，第i个非零元素的行下标、列下标和值依次存储在TRI中的第3i-2、3i-1和3i个位置上。

接下来，我们考虑如何用三元组顺序表来实现矩阵的加、减法。

矩阵加法a+b的实现：首先，我们需要确认a和b的维度是否相同。如果a和b的尺寸不一致，则无法进行加法运算，直接返回空矩阵。如果a和b的尺寸相同，则可以按照下面的步骤进行加法运算：

1. 定义一个t1+t2长度的数组TR1，用来存储a+b的三元组顺序表。
2. 初始化指针pa和pb为a和b的三元组顺序表的起始位置，pt为TR1数组的起始位置。
3. 依次比较pa、pb指向的非零元素的行下标和列下标的大小，如果a和b中有相同下标，则将它们的值相加，并存储在TR1中，同时向后移动pa和pb指针；否则，将具有较小下标的元素存储在TR1中，并向后移动它的指针。
4. 如果pa指针已经扫描完了a的所有非零元素，则将pb后面的所有元素存储到TR1中，反之亦然。
5. 返回TR1数组表示的稀疏矩阵。

矩阵减法a-b的实现：与矩阵加法类似，a-b的实现也需要满足a和b具有相同的维度。具体实现步骤如下：

1. 定义一个t1+t2长度的数组TR1，用来存储a-b的三元组顺序表。
2. 初始化指针pa和pb为a和b的三元组顺序表的起始位置，pt为TR1数组的起始位置。
3. 依次比较pa、pb指向的非零元素的行下标和列下标的大小，如果a和b中有相同下标，则将它们的值相减，并存储在TR1中，同时向后移动pa和pb指针；否则，将具有较小下标的元素存储在TR1中，并向后移动它的指针。
4. 如果pa指针已经扫描完了a的所有非零元素，则将pb后面的所有元素取相反数，并存储到TR1中，反之亦然。
5. 返回TR1数组表示的稀疏矩阵。

以上就是矩阵加、减法的实现过程。由于我们采用了三元组顺序表的存储方式，可以大大节省空间。在实现过程中，我们尽可能的使用了指针而不是遍历数组来查找元素，从而达到了较低的时间复杂度。

### 回答3：
1. 稀疏矩阵三元组顺序表的结构设计：
先定义一个结构体来表示稀疏矩阵的三元组，包括行号、列号和元素值三个成员。

struct SparseMatrix {
int row; //行号
int col; //列号
int val; //元素值
};

接下来再定义一个矩阵的顺序表，包括行数、列数和元素个数三个成员。其中，用一个数组来存储稀疏矩阵的三元组。

struct SpLinkedList {
int row; //行数
int col; //列数
int num; //元素个数
SparseMatrix * a; //存储三元组的数组
};

2. 算法实现：
a+b：首先判断两个矩阵是否能相加，即行数和列数是否相同。如果能相加，则使用归并排序的思想将两个矩阵的三元组合并成一个新的三元组顺序表。合并过程中，如果行号和列号相同，则将对应的元素值相加。

a-b：同样需要判断两个矩阵能否相减。具体实现与a+b的算法类似，只是在合并过程中，如果行号和列号相同，则将a矩阵对应的元素值减去b矩阵对应的元素值。

3. 时间复杂度分析：
对于a+b和a-b的算法实现，时间复杂度主要取决于合并两个三元组顺序表的过程。假设两个矩阵的元素个数分别是m和n，那么合并两个矩阵的时间复杂度是O(m+n)。因此，整个算法的时间复杂度为O(m+n)。该算法的时间复杂度较低，比较适合处理大规模的稀疏矩阵。