图论&数学:矩阵树定理
运用矩阵树定理进行生成树计数
给定一个n个点m条边的无向图,问生成树有多少种可能
直接套用矩阵树定理计算即可
矩阵树定理的描述如下:
首先读入无向图的邻接矩阵,u-v G[u][v]++ G[v][u]++
度数矩阵: u-v D[u][u]++ D[v][v]++;
然后计算图G的基尔霍夫矩阵 C=D-G
接着去掉基尔霍夫矩阵的第i行和第i列(必须都是i,i取任意值)
计算剩下的子矩阵的行列式的值得绝对值即为生成树个数
然后对于有向图来说:
边 u->v G[u][v]++ 然后是D[v][v]++(有向图的度数矩阵指的是入度而不是出度)
这样根据上述步骤计算得来的是树形图的个数
在计算行列式的时候:
先用高斯消元消成上三角矩阵,再把对角线乘起来
(与乘法逆元相关的以后再展开)
下面介绍实现:
const int maxn=;
int A[maxn][maxn],B[maxn][maxn];
double a[maxn][maxn];
int T,n,m;
B是邻接矩阵,A是度数矩阵
a是基尔霍夫矩阵
我们在读入了n之后n--的目的是直接排除最后一行和最后一列将其变成余子式(是叫这个嘛??)
然后是计算行列式:
void gauss()
{
int now=;
for(int i=;i<=n;i++)
{
int j=now;
while(fabs(a[j][now])<eps&&j<=n) j++;
if(j==n+) {puts("");return;}
for(int k=;k<=n;k++) swap(a[now][k],a[j][k]);
for(int j=now+;j<=n;j++)
{
double t=a[j][now]/a[now][now];
for(int k=;k<=n;k++)
a[j][k]-=t*a[now][k];
}
now++;
}
double ans=;
if(n&) ans=-ans;
for(int i=;i<=n;i++) ans*=a[i][i];
printf("%.0lf\n",abs(ans));
}
这里的高斯消元是消成上三角矩阵,然后就方便计算det了
完整的实现如下:
#include<cstdio>
#include<cstring>
#include<cmath>
#include<algorithm>
#define eps 1e-8
using namespace std;
const int maxn=;
int A[maxn][maxn],B[maxn][maxn];
double a[maxn][maxn];
int T,n,m;
int read()
{
int x=,f=;char ch=getchar();
while(ch<''||ch>'') {if(ch=='-')f=-; ch=getchar();}
while(ch>=''&&ch<='') {x=x*+ch-'';ch=getchar();}
return x*f;
}
void gauss()
{
int now=;
for(int i=;i<=n;i++)
{
int j=now;
while(fabs(a[j][now])<eps&&j<=n) j++;
if(j==n+) {puts("");return;}
for(int k=;k<=n;k++) swap(a[now][k],a[j][k]);
for(int j=now+;j<=n;j++)
{
double t=a[j][now]/a[now][now];
for(int k=;k<=n;k++)
a[j][k]-=t*a[now][k];
}
now++;
}
double ans=;
if(n&) ans=-ans;
for(int i=;i<=n;i++) ans*=a[i][i];
printf("%.0lf\n",abs(ans));
}
int main()
{
T=read();
while(T--)
{
memset(A,,sizeof(A));
memset(B,,sizeof(B));
n=read();m=read();
n--;
for(int i=;i<=m;i++)
{
int u=read(),v=read();
u--;v--;
A[u][u]++;A[v][v]++;
B[u][v]++;B[v][u]++;
}
for(int i=;i<=n;i++)
{
for(int j=;j<=n;j++)
a[i][j]=A[i][j]-B[i][j];
}
gauss();
}
return ;
}
图论&数学:矩阵树定理的更多相关文章
- [spoj104][Highways] (生成树计数+矩阵树定理+高斯消元)
In some countries building highways takes a lot of time... Maybe that's because there are many possi ...
- BZOJ 4766: 文艺计算姬 [矩阵树定理 快速乘]
传送门 题意: 给定一个一边点数为n,另一边点数为m,共有n*m条边的带标号完全二分图$K_{n,m}$ 求生成树个数 1 <= n,m,p <= 10^18 显然不能暴力上矩阵树定理 看 ...
- bzoj 4596 [Shoi2016]黑暗前的幻想乡 矩阵树定理+容斥
4596: [Shoi2016]黑暗前的幻想乡 Time Limit: 20 Sec Memory Limit: 256 MBSubmit: 559 Solved: 325[Submit][Sta ...
- 【LOJ#6072】苹果树(矩阵树定理,折半搜索,容斥)
[LOJ#6072]苹果树(矩阵树定理,折半搜索,容斥) 题面 LOJ 题解 emmmm,这题似乎猫讲过一次... 显然先\(meet-in-the-middle\)搜索一下对于每个有用的苹果数量,满 ...
- 2019.01.02 bzoj2467: [中山市选2010]生成树(矩阵树定理)
传送门 矩阵树定理模板题. 题意简述:自己看题面吧太简单懒得写了 直接构建出这4n4n4n个点然后按照题面连边之后跑矩阵树即可. 代码: #include<bits/stdc++.h> # ...
- [CF917D]Stranger Trees[矩阵树定理+解线性方程组]
题意 给你 \(n\) 个点的无向完全图,指定一棵树 \(S\),问有多少棵生成树和这棵树的公共边数量为 \(k\in[0,n-1]\) \(n\leq 100\) 分析 考虑矩阵树定理,把对应的树边 ...
- 【bzoj4596】[Shoi2016]黑暗前的幻想乡 容斥原理+矩阵树定理
题目描述 给出 $n$ 个点和 $n-1$ 种颜色,每种颜色有若干条边.求这张图多少棵每种颜色的边都出现过的生成树,答案对 $10^9+7$ 取模. 输入 第一行包含一个正整数 N(N<=17) ...
- 【BZOJ5133】[CodePlus2017年12月]白金元首与独舞 矩阵树定理
[BZOJ5133][CodePlus2017年12月]白金元首与独舞 题面:www.lydsy.com/JudgeOnline/upload/201712/div1.pdf 题解:由于k很小,考虑用 ...
- CSU 1805 Three Capitals(矩阵树定理+Best定理)
http://acm.csu.edu.cn/csuoj/problemset/problem?pid=1805 题意: A和B之间有a条边,A和G之间有b条边,B和G之间有c条边.现在从A点出发走遍所 ...
随机推荐
- HDU 1250 Hat's Fibonacci(高精度)
Problem Description A Fibonacci sequence is calculated by adding the previous two members the sequen ...
- Where to go from here
Did you get through all of that content? Congratulations! You've learnt the fundamentals of algorith ...
- C# .net 获取外网ip
public string GetIP() { string strUrl = "http://www.ip138.com/ip2city.asp"; //获得IP的网址了 Uri ...
- PAT 1035 插入与归并
https://pintia.cn/problem-sets/994805260223102976/problems/994805286714327040 据维基百科的定义: 插入排序是迭代算法,逐一 ...
- PAT 1058 选择题
https://pintia.cn/problem-sets/994805260223102976/problems/994805270356541440 批改多选题是比较麻烦的事情,本题就请你写个程 ...
- 【Docker 命令】- login 命令
docker login : 登陆到一个Docker镜像仓库,如果未指定镜像仓库地址,默认为官方仓库 Docker Hub docker logout : 登出一个Docker镜像仓库,如果未指定镜像 ...
- opencv2.4.0版本不支持Mat的大小自动调整?
在opencv2.4.9中,resize(img,img,Size(850,550))是没问题的.到了2.4.0中,要新声明一个变量Mat img1;resize(img,img1,Size(850, ...
- BZOJ 1196 公路修建问题(二分+最小生成树)
题目要求求出图中的一颗生成树,使得最大的边权最小,且满足一级公路的个数>=k. 考虑二分最大边,问题就变为给出的图的生成树中,是否满足所有的边<=val,且一级公路的个数>=k. 所 ...
- IntellIJ IDEA 配置 Maven
一.配置Maven环境 1.下载apache-maven文件,选择自己需要的版本 2.解压1所下载文件,E:\apache-maven-3.5.4 3.配置Maven环境变量 a. MAVEN_HOM ...
- 【以前的空间】bzoj 1227 [SDOI2009]虔诚的墓主人
题解:hzw大神的博客说的很清楚嘛 http://hzwer.com/1941.html 朴素的做法就是每个点如果它不是墓地那么就可形成十字架的数量就是这个c(点左边的树的数量,k)*c(点右边的树的 ...