矩阵树定理||高斯消元求行列式

参考链接-博客园
参考链接-oiwiki

定理部分并没有什么原创内容，全是阅读上面两篇文章做的笔记。

矩阵树定理

$Kirchhoff$ 矩阵树定理（简称矩阵树定理）解决了一张图的生成树个数计数问题。
矩阵树定理有很多形式，以下内容是一些声明。

应用矩阵树定理的图允许重边，但是不允许自环。

以下内容是照抄oiwiki的

无向图情况：

设$G$是一个有$n$个顶点的无向图。定义度数矩阵$D(G)$为：

$$D_{ii}(G)=deg(i),D_{ij}(G)=0,i\ne j$$
设$\#e(i,j)$为点$i$与点$j$相连的边数，并定义邻接矩阵$A$为：
$$A_{ij}(G)=A_{ji}(G)=\#e(i,j),i\ne j$$
定义$Laplace$矩阵（又称$Kirchhoff$矩阵）$L$为：
$$L(G)=D(G)-A(G)$$

记图$G$的生成树个数为$t(G)$。

有向图情况

设$G$是一个有$n$个顶点的有向图。定义出度矩阵$D^{out}(G)$为:
$$D_{ii}^{out}(G)=de{g}^{out}(i),D_{ij}^{out}=0,i\ne j$$
类似地定义入度矩阵$D^{in}(G)$为：
$$D_{ii}^{in}(G)=de{g}^{in}(i),D_{ij}^{in}=0,i\ne j$$
设$\#e(i,j)$为点$i$指向点$j$的有向边数，并定义邻接矩阵$A$为$$A_{ij}(G)=\#e(i,j),i\ne j$$
定义出度$Laplace$矩阵$L^{out}$为：$$L^{out}(G)=D^{out}(G)-A(G)$$
类似地可以定义入度$Laplace$矩阵$L^{in}$为：
$$L^{in}(G)=D^{in}(G)-A(G)$$
记图$G$的以$r$为根的根向树形图（内向生成树）个数为$t^{root}(G,r)$,
叶向树形图（外向生成树）个数为$t^{leaf}(G,r)$

定理叙述

1.无向图行列式形式

对于任意的i，都有$$t(G)=\det L(G)\left(\genfrac{}{}{0ex}{}{1,2,\cdots ,i-1,i+1,\cdots ,n}{1,2,\cdots ,i-1,i+1,\cdots ,n}\right)$$
其中记号$L(G)\left(\genfrac{}{}{0ex}{}{1,2,\cdots ,i-1,i+1,\cdots ,n}{1,2,\cdots ,i-1,i+1,\cdots ,n}\right)$表示矩阵$L(G)$的第$1,\cdots ,i-1,i+1,\cdots ,n$行与第$1,\cdots ,i-1,i+1,\cdots ,n$列构成的子矩阵。
即，无向图的$Laplace$矩阵的所有$n-1$阶主子式相等

即删掉$L(G)$第$i$行和第$i$列 剩下的矩阵的行列式都相等，为$t(G)$

2.无向图特征值形式

对于一个$n$阶方阵$A$，若$x$为一个$n$维非零向量，$\lambda$满足$$Ax=\lambda x$$
则称$\lambda$为方阵$A$的特征值
设${\lambda }_1,{\lambda }_2,\cdots ,{\lambda }_{n-1}$为无向图$G$的$Laplace$矩阵的$n-1$个非零特征值，那么$$t(G)=\frac{1}{n}{\lambda }_1{\lambda }_2\cdots {\lambda }_{n-1}$$

3.有向图根向形式

对于任意的$k$,都有$$t^{root}(G,k)=\det L^{out}(G)\left(\genfrac{}{}{0ex}{}{1,2,\cdots ,k-1,k+1,\cdots ,n}{1,2,\cdots ,k-1,k+1,\cdots ,n}\right)$$

4.有向图叶向形式

对于任意的$k$,都有$$t^{leaf}(G,k)=\det L^{in}(G)\left(\genfrac{}{}{0ex}{}{1,2,\cdots ,k-1,k+1,\cdots ,n}{1,2,\cdots ,k-1,k+1,\cdots ,n}\right)$$

5.BEST定理

具有欧拉回路的图称为欧拉图。
设$G$是有向欧拉图，那么$G$中不同欧拉回路总数$ec(G)$是
$$ec(G)=t^{root}(G,k)\prod _{v\in V}(deg(v)-1)!$$
注意，对欧拉图$G$的任意两个顶点$k,k^{\prime }$，都有$t^{root}(G,k)=t^{root}(G,k^{\prime })$
且欧拉图G的所有顶点的入度和出度相等

行列式的求解

用高斯消元消出上三角矩阵，则有对角线上的值的乘积等于行列式的值。
由于模意义下不能有小数，通常需要用辗转相除法求解

具体代码见例题
1.小z的房间
2.轮状病毒
3.HDU2481 Toy
线代水平过低 并不会用Laplace矩阵求那个递推式