Matrix-Tree定理

Matrix-Tree定理,又称Kirchhoff矩阵-树定理,是计算图的生成树数量的重要工具。定理指出,图G的所有不同生成树的数量等于其Kirchhoff矩阵(D[G] - A[G])的任意n-1阶主子式的行列式的绝对值。该理论在图论和网络分析中有广泛应用。
摘要由CSDN通过智能技术生成

定理描述:

Matrix-Tree定理(Kirchhoff矩阵-树定理)是解决生成树计数问题最有力的武器之一。首先要明确几个概念:

1.G的度数矩阵D[G]是一个n*n的矩阵,并且满足:当i!=j时,d[i][j]=0,当i=j时,d[i][i]等于v[i]的度数。

2.G的邻接矩阵A[G]也是一个n*n的矩阵,并且满足:如果v[i],v[j]之间有直接边连接,则a[i][j]=1,否则为0.

我们定义的Kirchhoff矩阵(也称为拉普拉斯算子)C[G]=D[G]-A[G],则Matrix-Tree定理可描述为:图G的所有不同的生成数的个数等于其Krichhoff矩阵C[G]任何一个n-1阶主子式的行列式的绝对值。所谓n-1阶主子式,就是对r(1<=r<=n),将C[G]的第r行、第r列同时去掉后得到的新矩阵,用Cr[G]表示。

具体证明见维基百科或者国家集训队论文生成树的计数及其应用

举个栗子,SPOJ104

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
#include <cmath>
using namespace std;

const int ma
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值