[行列式与矩阵树定理]【学习笔记】

 为什么查基尔霍夫只能查到物理学家?


 

参考资料:

1.生成树的计数及其应用

2.http://blog.csdn.net/werkeytom_ftd/article/details/54914530


 

行列式

 

排列 Permutation

对换:相邻两项交换
对换会使逆序对的个数改变1
$\delta(i_1i_2...i_n)=(-1)^{t}$
$t$是逆序对的个数,可以将排列分为奇排列和偶排列

 

行列式 Determinant

$n$阶行列式:
$det(A)=\sum\limits_{(i_1i_2...i_n)}\delta(i_1i_2...i_n)a_{1,i_1}a_{2,i_2}...a_{n,i_n}=|A|$

就是每行每列只选一个元素乘起来的所有情况的和

我不对打矩阵我不画了...长得和矩阵一样只不过用$||$括起来

性质:

$1.\quad det(A)=det(A^T)$
证明:考虑定义式...
这告诉我们行列式的行和列是平等的,行满足列也满足


$2.\quad$两行互换,行列式变号
证明:两行互换后相当于排列中两个元素交换,逆序对必定改变奇数个,正负改变
证明:设交换的两个元素为$i,j$,则相当于对换了$2*(j-i)-1$次
推论:行列式两行相同时值为0


$3.\quad$一行乘上$k$,行列式乘上$k$
推论:行列式两行成比例或一行全0,值为0


$4.\quad$两个行列式只有一行不同,他们的行列式和等于不同的行相加后的行列式

证明:考虑定义式,把加的那一行展开
推论:将行列式的任意行乘以实数$k$,再相应地加到另一行上去,行列式的值不变
证明推论:拆成两个行列式的和,一个有两行成比例...
这样就可以高斯消元$get$


$5.\quad$每行每列和均为0的矩阵行列式为0。
证明:
高斯消元过程中这一性质仍然存在。
最后消出来,最后一行前$n-1$一定为$0$,又因和为$0$,所以最后一项也是$0$,出现全$0$行,行列式即为$0$。

 

计算行列式的值

$det(B)=(-1)^S det(B')=(-1)^S \prod\limits_{i=1}^n{b'_{i,i}}$

$B'$为$B$转换为上三角形式
证明:显然上三角形式的行列式的值为对角线乘起来....考虑行列式就是每行每列选一个,第一列只有选$a_{1,1}$有贡献并且这样就选了第一行剩下的不用选了,然后数学归纳法下去

 

$K$阶子式

选了k行和k列组成的行列式

主子式

$n-1$阶主子式,就是对于$r$,第r行、第r列同时去掉后得到的新行列式

 

Binet-Cauchy公式

$A\ p*q\quad B \ q*p$

$det(A*B)=$

$0\ ,\ p>q$

$det(A)*det(B)\ ,\ p=q$

q中选p个然后1..p和j1...jp分别作为行和列A和B的p阶子式相乘$\ ,\ p<q$

$det(AA^T)=(det(A))^2$


 

矩阵树定理 Kirchhoff Matrix-Tree

$1.\quad G$的度数矩阵D[G]是一个$n*n$的矩阵当$i \neq j$时,$d_{ij}=0$;当$i=j$时,$d_{ij}$等于$i$的度数;
$2.\quad G$的邻接矩阵A[G];

我们定义G的Kirchhoff矩阵(也称为拉普拉斯算子)$C[G]=D[G]-A[G]$,则Matrix-Tree定理可以描述为:

G的所有不同的生成树的个数等于其Kirchhoff矩阵$C[G]$任何一个$n-1$阶主子式的行列式的绝对值。

 

证明:

$1.\quad C[G]=0$ 因为每行每列和都是0,由推论

$2.\quad G$不连通,任一主子式$det=0$,证明考虑把每个连通块对角线排起来,每个连通分量是独立的图

$3.\quad G$是树,任一主子式$det=1$,证明考虑构造一个对角线为1的上三角行列式(其实我没认真想构造感觉正确)

 

构造图$G$关联矩阵$B$,用上面那个公式变形

直接copy论文啦,感觉说的很清楚

 

 

如果$B_r^x$存在环那么可以构造出一个行列和为$0$的子式,所以$det(B_r^x)=0$。

显然,可以看成是仅由所有的顶点和属于x的边构成的新图的Kirchhoff矩阵的一个n-1阶主子式。

根据图的Kirchhoff矩阵的性质,如果将所有属于x的n-1条边加入图中后形成一颗树,那么$det(B_r^xB_r^{xT})=1$;

而如果没有形成树,则必然存在一个环,那么 $det(B_r^x)=0$。

也就是说,我们考察边集所有大小为n-1的子集,如果这个子集中的边能够形成一颗树,那么我们的答案加1,否则不变。

这就恰好等于原图生成树的个数!

 

 

最后来自werkeytom_ftd的一个有趣的粟子

我们来常识用矩阵树定理解决一个简单问题。 
求n个点组成的无根带标号树有多少个。 
可以看做是无向完全图的生成树计数。 
它的基尔霍夫矩阵主对角线都是n-1,其余全都是-1。 
那余子式,也是一样,不过规模变成了$(n-1)*(n-1)$ 
现在求它的行列式 
让第一行加上每行,第一行变成全都是1。 
用第一行去加其余行,每个其余行除了在主对角线上是n全都变成0。 
于是最后显然变成了一个上三角矩阵,行列式为主对角线元素相乘。 
因此是$n^{n-2}$

 

posted @ 2017-02-20 19:41  Candy?  阅读(4328)  评论(8编辑  收藏