抄书笔记:格子路径和行列式.
我们考察行列式的一种表示法,让 $ M=(m_{i,j}) $ 是一个 $ n\times n $ 的实矩阵,
$$
\det M = \sum_\sigma \text{sign}~\sigma~m_{1\sigma(1)}m_{2\sigma(2)}\cdots m_{n\sigma(n)}, \tag{1}
$$
这里 $ \sigma $ 跑遍 $ \{1,2,\cdots,n\} $ 上的所有排列 , 并且 $\sigma$ 的 sign 是 1 或 -1, 取决于 $ \sigma $ 是偶排列还是奇排列.
我们可以把它看成一张带权有向图, 让点 $ A_1,\cdots,A_n $ 表示 $ M $ 的行, $ B_1,\cdots,B_n $ 表示列. 对每一对 $ i,j $ 连一条从 $ A_i $ 到 $ B_j $ 的权值为 $ m_{i,j} $ 的边.
![1](C:\Users\zfang\Desktop\1.png)
那么 (1) 可以被这么看:
- 左边表示路径矩阵 $ M $ 的行列式,其中 $ (i,j) $-格 是 $ A_i $ 到 $ B_j $ 的直接路径的权.
- 右边表示从 $ \mathcal A=\{A_1,\cdots,A_n \} $ 到 $ \mathcal B = \{B_1,\cdots, B_n\} $ 的有符号带权<u>顶点不相交路径系</u>. 这样一个路径系 $\mathcal P_\sigma$ 被路径
$$
A_1 \rightarrow B_{\sigma(1)}, \cdots, A_n \rightarrow B_{\sigma(n)},
$$
给出, 并且权是各个单独路径的积:
$$
w(\mathcal P_\sigma)=w(A_1\rightarrow B_{\sigma(