生成树计数

问题即:给定一n个点的无向图,求其生成树的个数。
我们需要用到Matrix-tree定理,又叫Kirchhoff矩阵定理,于1847年首次被基尔霍夫先生证明,后来被广泛应用于生成树的计数问题。

定义:图G的基尔霍夫矩阵C[G]=D[G]-A[G].
其中,D[G]为此无向图G的度数矩阵,A[G]为此图的邻接矩阵.

度数矩阵:
表示的是点的度(类比有向图中的出、入度);
对于i行j列的矩阵来说,只用当i==j时才有度(仅仅此时表示第i(j)个点),其余情况均为0。

邻接矩阵:
对于此矩阵 aij 表示顶点i 到 顶点j 之间的弧度(即有几条路)。

如图:G是一个由5个点组成的无向图。
这里写图片描述

其度数矩阵为:
2 0 0 0 0
0 3 0 0 0
0 0 3 0 0
0 0 0 2 0
0 0 0 0 2

邻接矩阵为:
0 1 1 0 0
1 0 1 1 0
1 1 0 0 1
0 1 0 0 1
0 0 1 1 0

相减即为基尔霍夫矩阵:
2 -1 -1 0 0
-1 3 -1 -1 0
-1 -1 3 0 -1
0 -1 0 2 -1
0 0 -1 -1 2

那么,Matrix-Tree定理即为:
对于一个无向图G,它的生成树个数等于其基尔霍夫矩阵任何一个n-1阶主子式的行列式的绝对值。
其中,n-1阶主子式即为,对于任意一个r,将基尔霍夫矩阵的第r行和第r列同时删去的新矩阵。

对于刚刚的例子,假设r取成2,最终结果为11。

  • 0
    点赞
  • 2
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值