这里主要是涉及 Takahashi et al (1971) 的稀疏矩阵求逆算法，但是没有找到最初的文献或书籍。

Erisman_1975

引言

新算法有两个基本的优势，一是不会计算 ，这可以利用矩阵的稀疏性；二是他会在逆矩阵的元素间产生新的依赖关系，从而可以有效计算这些元素的子集。举个例子，对称矩阵逆矩阵的对角元素的计算可能只需要分解矩阵的非零元素在逆矩阵中的值。

算法

假设 是一个 的非奇异矩阵，并且已经分解为 。

假设 矩阵的逆矩阵为 ，Takahashi 给出下面两个公式

证明过程很简单，略过。注意这里 和 是严格上三角和严格下三角矩阵。通过公式 (2) 可以获得 的上三角矩阵的元素（因为 为下三角矩阵，因此 的上三角矩阵元素均在 中) 。同理，通过公式 (3) 获得下三角矩阵的元素。因此在计算过程中，我们不需要使用 和 。因此这两个公式提供了一种使用之前计算的 矩阵和 矩阵， 矩阵来计算 的方式。其中我们利用矩阵的稀疏性减少计算量。

对于对称的 矩阵，此时我们有 ，因此上面的两个公式可以替换为下面这一个公式。

这里我们同样需要利用 矩阵的对称性，即只计算上三角矩阵的元素。

为了形成依赖关系，定义相邻矩阵 更加方便，其中

那么 具有 的的稀疏特征。注意 中的对角线元素均为 1。

根据消元图的性质，对于任意 ，如果 ， ，那么 。

定理 1：任何一个满足 的 均可以通过 ， 和满足 的 的元素进行计算。

证明：假设 ，那么根据公式 (2) ，我们有

如果 ，那么 我们就需要 。但是 和 ，根据 矩阵的性质，我们有 。因此 也满足定理 1 的条件 (也就是说，对于上三角矩阵的元素，其计算首先需要其所在列下方非零元素的 值)。对于 也有类似的结果，即此时计算 我们需要 的 。对于 ，使用公式 (2) ，我们有（ 仍为单位下三角矩阵）

对于每一个非零元素 ，则有 ，并且 也满足定理中的条件。

但是，计算 不会用到满足 的 的全部元素，只会用到一部分元素。

推论： 矩阵中相应于在 的非零位置元素的子集可以直接通过 , 及 中这个子集中的其它元素计算得到。

证明：在定理1中设 ，得证。

为了计算 矩阵中相应于在 的非零位置元素的任何子集，上面的定理均提供一种计算方法。为了计算 ，需要从 位置开始，一直向上计算得到 。需要注意的是，这个定理提供了获得 必须事先得到的一个充足的集合，但是我们可能不会需要计算其中的全部元素。举个例子，如果 具有以下的格式

这里可以证明 的计算只需要 , , 和 (不知道怎么证明的)。

为了计算 的 ，经过修改 矩阵之后可以再应用这个定理。此时我们需要设置 ，并利用对 矩阵的假设（对于任意 ，如果 ， ，那么 ），在 矩阵可能需要生成其它非零元素。

计算次数

这里我们比较这个算法和通常的求逆算法的时间复杂度。

设 是 矩阵的第 行的非零元素的数目， 是 矩阵第 列的非零元素数目。那么根据公式 (2) 计算 的上三角元素的计算次数为 ，根据公式 (3) 计算 的下三角矩阵的计算次数为 。

因为 矩阵的对角线元素可以通过公式 (2) 或者 公式 (3) 来计算，最有效的方式的计算次数为 。

我们采用通常的向前替换求解的方式来计算 （每次右手项均只有一个非零元素，得到的解是 的一列），假设这一步会生成一个满的下三角矩阵，其计算次数为 （实际计算次数小于这个数）。我们对每一个向量采用一个完全的向后替换求解 ( ，因此 )，其计算次数为 ，因此使用公式 (2) 和 公式 (3) 对于稀疏矩阵节约的计算量是明显的（我没感觉到啊）。

对于密集矩阵而言，，此时两种方式的计算次数均为 。

Misztal_1993

引言

对于动物育种模型，REML 是用于估计方差组分的算法，其中获得 REML 估计值的两个主流方法是 EM 和 DF 方法。EM 方法需要似然函数的一阶导，因此需要稀疏矩阵逆矩阵的相应元素。

DF 方法不需要求逆，但是 DF 具有更差的数值性质，其可能不会找到全局最优解，因为这个算法不能区分斜率较小的区域的点。因此 Press 建议 DF 算法收敛之后需要再次运行。对于多性状模型，DF REML 算法的表现更为糟糕。当使用不同的初始值时，DF 算法的某些解可能相差 20% 以上。虽然没有程序证明 EM 算法没有这个问题，但是对于简单的数据 EM 算法比 DF 算法会收敛到一个更加准确的结果。

本文是想证明，如果使用稀疏矩阵求逆，EM 和 DF 算法的计算量是相似的。

数据和方法

设 是MME 的系数矩阵，设 是其逆矩阵。出于一般化考虑， 假设是满秩的。在 EM 算法中，迹具有以下形式

其中 是随机向量 的协方差矩阵的逆矩阵， 定义为 中对应这个随机向量的子矩阵。在这个式子中，求和的上限是 q(a) ，即效应 a 的水平数目。为了计算迹，这里我们只需要 上/下三角中对应 的非零元素位置的元素。因为所有需要的 中的元素均在 矩阵中，因此我们只需要知道所有 矩阵中的非零元素位置的逆矩阵元素（上三角或下三角），我们就可以计算这个迹。

对于直接求解方法， 首先会重排来减少 fill-ins 的数目，然后这个矩阵会经过 cholesky 分解，得到

DF 方法需要的行列式可以直接通过 矩阵对角线元素的乘积得到。

的逆矩阵元素可以通过 Takahashi 公式得到

因为矩阵对称， 中的元素可以不需要对 进行求逆得到。进一步，相应于 矩阵非零元素位置的 矩阵的元素的计算不需要使用 矩阵其它位置的元素。相应于 矩阵非零元素位置的 矩阵的元素集合也称为 “sparse inverse” ，下面翻译为稀疏逆。根据 Takahashi 公式，稀疏逆元素可以通过下面的公式得到 (右手项涉及 C 矩阵元素均可以从第 i 列得到。)

其中 ， 。因为在 中存在 fill-ins，稀疏逆 比 具有更多的非零元素。

为了高效应用该算法，稀疏逆需要存储和获取 矩阵的一个维度， 矩阵的两个维度（为啥？）。因此，稀疏逆计算消耗的内存比数值分解高两到三倍，因为数值分解过程只需要存储和获取 矩阵的一个维度。稀疏逆相比于数值分解的计算次数的倍数小于等于 3，这取决于 的稀疏结构。

逆矩阵的某些元素也可以通过稀疏向量方法得到，但是 Takahashi 的方法更快，因此这里不考虑其它方法。

举例

考虑下面的重排后的矩阵

分解后得到

其行列式为

按照上面的算法计算稀疏逆

其中 <> 表示没有计算。

数值测试

使用实际数据比较数值分解和计算稀疏逆使用内存和计算时间的比较。

结果和讨论

计算稀疏逆在内存和计算时间上，基本上是数值分解消耗的 2-3 倍

使用稀疏逆方法，EM 和 DF 方法单次迭代的计算消耗是相似地，因此总计算量取决于迭代次数。因此在 EM 和 DF 的选择上，我们可以优先考虑数值性质，而不是计算量。

附录

稀疏逆和数值分解的计算量。

设 是 矩阵第 行的非零元素数目，将 矩阵分解为 和 的计算次数为 (Duff, 1989)

一旦分解完成之后，根据 Dempster (1977)，计算稀疏逆的计算次数为

因此对于较大的 和 ，分解和求逆的总耗时为 。

不满秩的 W 矩阵

如果 矩阵不满秩，我们考虑其广义逆。

1. 如果矩阵 分解为 ，则 是 矩阵的一个自反身广义逆。

   这里容易证明满足 MP 逆的前两个方程。

2. 如果 ， 和 为正交矩阵，则 是 的一个自反身广义逆。

   同样，代入 MP 逆的前两个方程即可证明。

这里 矩阵不满秩的广义逆矩阵选择为 ，则满足下面的两个公式，证明过程略。

因此，根据这两个公式同样可以得到其广义逆的稀疏逆，只是对角元素计算公式改为

参考文献

1. Erisman A M, Tinney W F. On computing certain elements of the inverse of a sparse matrix[J]. Communications of the ACM, 1975, 18(3): 177-179.

2. Misztal I, Perez-Enciso M. Sparse matrix inversion for restricted maximum likelihood estimation of variance components by expectation-maximization[J]. Journal of dairy science, 1993, 76(5): 1479-1483.