矩阵

本文介绍线性代数中一个非常重要的内容——矩阵（Matrix），主要讲解矩阵的性质、运算，以及矩阵乘法的一些应用。

向量与矩阵

在线性代数中，向量分为列向量和行向量。

在中国台湾地区关于“列”与“行”的翻译，恰好与中国大陆地区相反。在 OI Wiki 按照中国大陆地区的习惯，采用列（column）与行（row）的翻译。

线性代数的主要研究对象是列向量，约定使用粗体小写字母表示列向量。在用到大量向量与矩阵的线性代数中，不引起混淆的情况下，在手写时，字母上方的向量记号可以省略不写。

向量也是特殊的矩阵。如果想要表示行向量，需要在粗体小写字母右上方写转置记号。行向量在线性代数中一般表示方程。

引入

矩阵的引入来自于线性方程组。与向量类似，矩阵体现了一种对数据“打包处理”的思想。

例如，将线性方程组：

一般用圆括号或方括号表示矩阵。将上述系数抽出来，写成矩阵乘法的形式：

简记为：

即未知数列向量 x，左乘一个矩阵 A，得到列向量 b。这个式子可以认为是线性代数的基本形式。

线性代数主要研究的运算模型是内积。内积是先相乘再相加，是行向量左乘列向量，得到一个数的过程。

矩阵乘法是内积的拓展。矩阵乘法等价于左边矩阵抽出一行，与右边矩阵抽出一列进行内积，得到结果矩阵的对应元素，口诀“左行右列”。

当研究对象是右边的列向量时，矩阵乘法相当于对列向量进行左乘。在左乘的观点下，矩阵就是对列向量的变换，将矩阵乘法中右边矩阵的每一个列向量进行变换，对应地得到结果矩阵中每一个列向量。

矩阵可以对一个列向量进行变换，也可以对一组列向量进行“打包”变换，甚至可以对整个空间——即全体列向量进行变换。当矩阵被视为对整个空间变换的时候，也就脱离了空间，成为了纯粹变换的存在。

定义

对于矩阵 ，主对角线是指 的元素。

一般用 来表示单位矩阵，就是主对角线上为 1，其余位置为 0。

同型矩阵

两个矩阵，行数与列数对应相同，称为同型矩阵。

方阵

行数等于列数的矩阵称为方阵。方阵是一种特殊的矩阵。对于“ 阶矩阵”的习惯表述，实际上讲的是 阶方阵。阶数相同的方阵为同型矩阵。

研究方程组、向量组、矩阵的秩的时候，使用一般的矩阵。研究特征值和特征向量、二次型的时候，使用方阵。

主对角线

方阵中行数等于列数的元素构成主对角线。

对称矩阵

如果方阵的元素关于主对角线对称，即对于任意的 和 ， 行 列的元素与 行 列的元素相等，则将方阵称为对称矩阵。

对角矩阵

主对角线之外的元素均为 的方阵称为对角矩阵，一般记作：

式中的 是主对角线上的元素。

对角矩阵是对称矩阵。

如果对角矩阵的元素均为 ，称为单位矩阵，记为 。只要乘法可以进行，无论形状，任何矩阵乘单位矩阵仍然保持不变。

三角矩阵

如果方阵主对角线左下方的元素均为 ，称为上三角矩阵。如果方阵主对角线右上方的元素均为 ，称为下三角矩阵。

两个上（下）三角矩阵的乘积仍然是上（下）三角矩阵。如果对角线元素均非 ，则上（下）三角矩阵可逆，逆也是上（下）三角矩阵。

单位三角矩阵

如果上三角矩阵 的对角线全为 ，则称 是单位上三角矩阵。如果下三角矩阵 的对角线全为 ，则称 是单位下三角矩阵。

两个单位上（下）三角矩阵的乘积仍然是单位上（下）三角矩阵，单位上（下）三角矩阵的逆也是单位上（下）三角矩阵。

运算

矩阵的线性运算

矩阵的线性运算分为加减法与数乘，它们均为逐个元素进行。只有同型矩阵之间可以对应相加减。

矩阵的转置

矩阵的转置，就是在矩阵的右上角写上转置“T”记号，表示将矩阵的行与列互换。

对称矩阵转置前后保持不变。

矩阵乘法

矩阵的乘法是向量内积的推广。

矩阵相乘只有在第一个矩阵的列数和第二个矩阵的行数相同时才有意义。

设 为 的矩阵， 为 的矩阵，设矩阵 为矩阵 与 的乘积，

其中矩阵 中的第 行第 列元素可以表示为：

在矩阵乘法中，结果 矩阵的第 行第 列的数，就是由矩阵 第 行 个数与矩阵 第 列 个数分别 相乘再相加 得到的。这里的 相乘再相加，就是向量的内积。乘积矩阵中第 行第 列的数恰好是乘数矩阵 第 个行向量与乘数矩阵 第 个列向量的内积，口诀为 左行右列。

线性代数研究的向量多为列向量，根据这样的对矩阵乘法的定义方法，经常研究对列向量左乘一个矩阵的左乘运算，同时也可以在这里看出“打包处理”的思想，同时处理很多个向量内积。

矩阵乘法满足结合律，不满足一般的交换律。

利用结合律，矩阵乘法可以利用

在比赛中，由于线性递推式可以表示成矩阵乘法的形式，也通常用矩阵快速幂来求线性递推数列的某一项。

优化

首先对于比较小的矩阵，可以考虑直接手动展开循环以减小常数。

可以重新排列循环以提高空间局部性，这样的优化不会改变矩阵乘法的时间复杂度，但是会在得到常数级别的提升。

// 以下文的参考代码为例
inline mat operator*(const mat& T) const {
  mat res;
  for (int i = 0; i < sz; ++i)
    for (int j = 0; j < sz; ++j)
      for (int k = 0; k < sz; ++k) {
        res.a[i][j] += mul(a[i][k], T.a[k][j]);
        res.a[i][j] %= MOD;
      }
  return res;
}

// 不如
inline mat operator*(const mat& T) const {
  mat res;
  int r;
  for (int i = 0; i < sz; ++i)
    for (int k = 0; k < sz; ++k) {
      r = a[i][k];
      for (int j = 0; j < sz; ++j)
        res.a[i][j] += T.a[k][j] * r, res.a[i][j] %= MOD;
    }
  return res;
}

方阵的逆

方阵 的逆矩阵 是使得 的矩阵。

逆矩阵不一定存在。如果存在，可以使用

方阵的行列式

行列式是方阵的一种运算。

参考代码

一般来说，可以用一个二维数组来模拟矩阵。

struct mat {
  LL a[sz][sz];

  inline mat() { memset(a, 0, sizeof a); }

  inline mat operator-(const mat& T) const {
    mat res;
    for (int i = 0; i < sz; ++i)
      for (int j = 0; j < sz; ++j) {
        res.a[i][j] = (a[i][j] - T.a[i][j]) % MOD;
      }
    return res;
  }

  inline mat operator+(const mat& T) const {
    mat res;
    for (int i = 0; i < sz; ++i)
      for (int j = 0; j < sz; ++j) {
        res.a[i][j] = (a[i][j] + T.a[i][j]) % MOD;
      }
    return res;
  }

  inline mat operator*(const mat& T) const {
    mat res;
    int r;
    for (int i = 0; i < sz; ++i)
      for (int k = 0; k < sz; ++k) {
        r = a[i][k];
        for (int j = 0; j < sz; ++j)
          res.a[i][j] += T.a[k][j] * r, res.a[i][j] %= MOD;
      }
    return res;
  }

  inline mat operator^(LL x) const {
    mat res, bas;
    for (int i = 0; i < sz; ++i) res.a[i][i] = 1;
    for (int i = 0; i < sz; ++i)
      for (int j = 0; j < sz; ++j) bas.a[i][j] = a[i][j] % MOD;
    while (x) {
      if (x & 1) res = res * bas;
      bas = bas * bas;
      x >>= 1;
    }
    return res;
  }
};

看待线性方程组的两种视角

看待矩阵 A，或者变换 A，有两种视角。

第一种观点：按行看，观察 A 的每一行。这样一来把 A 看作方程组。于是就有了消元法解方程的过程。

第二种观点：按列看，观察 A 的每一列。A 本身也是由列向量构成的。此时相当于把变换 A 本身看成了列向量组，而 x 是未知数系数，思考 A 当中的这组列向量能不能配上未知数，凑出列向量 b。

例如，文章开头的例子变为：

解方程变为研究，是否可以通过调整三个系数 x，使得给定的三个基向量能够凑出结果的向量。

按列看比按行看更新颖。在按列看的视角下，可以研究线性无关与线性相关。

矩阵乘法的应用

矩阵加速递推

斐波那契数列（Fibonacci Sequence）大家应该都非常的熟悉了。在斐波那契数列当中，，。

如果有一道题目让你求斐波那契数列第 项的值，最简单的方法莫过于直接递推了。但是如果 的范围达到了 级别，递推就不行了，稳 TLE。考虑矩阵加速递推。

设 表示一个 的矩阵 。我们希望根据 推出 。

试推导一个矩阵 ，使 ，即 。

怎么推呢？因为 ，所以 矩阵第一列应该是 ，这样在进行矩阵乘法运算的时候才能令 与 相加，从而得出 。同理，为了得出 ，矩阵 的第二列应该为 。

综上所述： 原式化为

转化为代码，应该怎么求呢？

定义初始矩阵 。那么， 就等于 这个矩阵的第一行第一列元素，也就是 的第一行第一列元素。

注意，矩阵乘法不满足交换律，所以一定不能写成 的第一行第一列元素。另外，对于 的情况，直接输出 即可，不需要执行矩阵快速幂。

为什么要乘上 矩阵的 次方而不是 次方呢？因为 是不需要进行矩阵乘法就能求的。也就是说，如果只进行一次乘法，就已经求出 了。如果还不是很理解为什么幂是 ，建议手算一下。

下面是求斐波那契数列第 项对 取模的示例代码（核心部分）。

const int mod = 1000000007;

struct Matrix {
  int a[3][3];

  Matrix() { memset(a, 0, sizeof a); }

  Matrix operator*(const Matrix &b) const {
    Matrix res;
    for (int i = 1; i <= 2; ++i)
      for (int j = 1; j <= 2; ++j)
        for (int k = 1; k <= 2; ++k)
          res.a[i][j] = (res.a[i][j] + a[i][k] * b.a[k][j]) % mod;
    return res;
  }
} ans, base;

void init() {
  base.a[1][1] = base.a[1][2] = base.a[2][1] = 1;
  ans.a[1][1] = ans.a[1][2] = 1;
}

void qpow(int b) {
  while (b) {
    if (b & 1) ans = ans * base;
    base = base * base;
    b >>= 1;
  }
}

int main() {
  int n = read();
  if (n <= 2) return puts("1"), 0;
  init();
  qpow(n - 2);
  println(ans.a[1][1] % mod);
}

这是一个稍微复杂一些的例子。

我们发现， 和 有关，于是考虑构造一个矩阵描述状态。

但是发现如果矩阵仅有这三个元素 是难以构造出转移方程的，因为乘方运算和 无法用矩阵描述。

于是考虑构造一个更大的矩阵。

我们希望构造一个递推矩阵可以转移到

转移矩阵即为

矩阵表达修改

由于矩阵的结合律和分配律成立，单点修改可以自然地推广到区间，即推出矩阵后直接用线段树维护区间矩阵乘积即可。

下面将举几个例子。

的转移

的转移

若直接思考，下放操作和维护信息并不是很好想。但是矩阵可以轻松地表达。

定长路径统计

我们将这个图用邻接矩阵 （对于图中的边 ，令 ，其余为 的矩阵；如果有重边，则设 为重边的数量）表示这个有向图。下述算法同样适用于图有自环的情况。

显然，该邻接矩阵对应 时的答案。

假设我们知道长度为 的路径条数构成的矩阵，记为矩阵 ，我们想求 。显然有 DP 转移方程

我们可以把它看作矩阵乘法的运算，于是上述转移可以描述为

那么把这个递推式展开可以得到

要计算这个矩阵幂，我们可以使用快速幂（二进制取幂）的思想，在 的复杂度内计算结果。

定长最短路

我们仍构造这个图的邻接矩阵 ， 表示从 到 的边权。如果 两点之间没有边，那么 。（有重边的情况取边权的最小值）

显然上述矩阵对应 时问题的答案。我们仍假设我们知道 的答案，记为矩阵 。现在我们想求 的答案。显然有转移方程

事实上我们可以类比矩阵乘法，你发现上述转移只是把矩阵乘法的乘积求和变成相加取最小值，于是我们定义这个运算为 ，即

于是得到

展开递推式得到

我们仍然可以用矩阵快速幂的方法计算上式，因为它显然是具有结合律的。时间复杂度 。

限长路径计数/最短路

上述算法只适用于边数固定的情况。然而我们可以改进算法以解决边数小于等于 的情况。具体地，考虑以下问题：

我们简单修改一下这个图，我们给每一个结点加一个权值为 的自环。这样走的时侯就可以走自环，相当于原地走。这样就包含了小于等于 的情况。修改后再做矩阵快速幂即可。（即使这个图在修改之前就有自环，该算法仍是成立的）。

同样的方法可以用于求边数小于等于 的最短路，即加一个边权为 的自环。

习题

• 洛谷 P1962 斐波那契数列，即上面的例题，同题 POJ3070

• 洛谷 P1349 广义斐波那契数列， 矩阵需要变化一下

• 洛谷 P1939【模板】矩阵加速（数列）， 矩阵变成了 的矩阵，推导过程与上面差不多。

  本页面部分内容译自博文 Кратчайшие пути фиксированной длины, количества путей фиксированной длины 与其英文翻译版 Number of paths of fixed length/Shortest paths of fixed length。其中俄文版版权协议为 Public Domain + Leave a Link；英文版版权协议为 CC-BY-SA 4.0。