BZOJ 1016 [JSOI2008]最小生成树计数 ——Matrix-Tree定理
考虑从小往大加边,然后把所有联通块的生成树个数计算出来。
然后把他们缩成一个点,继续添加下一组。
最后乘法原理即可。
写起来很恶心
- #include <queue>
- #include <cmath>
- #include <vector>
- #include <cstdio>
- #include <cstring>
- #include <iostream>
- #include <algorithm>
- using namespace std;
- #define F(i,j,k) for (int i=j;i<=k;++i)
- #define D(i,j,k) for (int i=j;i>=k;--i)
- #define maxn 1005
- #define eps 1e-6
- const int md=31011;
- vector <int> v,to[maxn];
- queue <int> q;
- struct Edge{int u,v,w;}a[maxn];
- int n,m,fa[maxn];
- int b[maxn][maxn],inv[maxn];
- int vcnt,du[maxn],list[maxn],vis[maxn];
- bool cmp(Edge x,Edge y)
- {return x.w<y.w;}
- int gf(int k)
- {if (fa[k]==k) return k; else return fa[k]=gf(fa[k]);}
- int gauss(int n)
- {
- F(i,1,n) F(j,1,n) b[i][j]%=md;
- int ret=1;
- for (int i=1;i<n;++i)
- {
- for (int j=i+1;j<n;++j)
- while (b[j][i])
- {
- int t=b[i][i]/b[j][i];
- for (int k=i;k<n;++k)
- b[i][k]=(b[i][k]-b[j][k]*t+md)%md;
- for (int k=i;k<n;++k)
- swap(b[i][k],b[j][k]);
- ret=-ret;
- }
- if (b[i][i]==0) return 0;
- ret=ret*b[i][i]%md;
- }
- return abs((ret+md)%md);
- }
- int main()
- {
- scanf("%d%d",&n,&m);
- F(i,1,n) fa[i]=i;
- F(i,1,m){scanf("%d%d%d",&a[i].u,&a[i].v,&a[i].w);}
- sort(a+1,a+m+1,cmp);
- int now=1,ans=1;
- while (now<=m)
- {
- int l=now,r=now;
- vcnt=0;
- memset(du,0,sizeof du);
- F(i,1,n) to[i].clear();
- while (a[r+1].w==a[r].w) r++;
- now=r+1;
- F(i,l,r)
- {
- int fl=gf(a[i].u),fr=gf(a[i].v);
- to[fl].push_back(fr);
- to[fr].push_back(fl);
- if (fl!=fr) du[fl]++,du[fr]++;
- }
- memset(vis,0,sizeof vis);
- F(i,1,n)
- if (du[i]&&!vis[i])
- {
- v.clear();
- memset(b,0,sizeof b);
- memset(inv,0,sizeof inv);
- q.push(i);inv[i]=1;vis[i]=1;
- while (!q.empty())
- {
- int x=q.front();v.push_back(x);q.pop();
- for (int j=0;j<to[x].size();++j)
- if (!vis[to[x][j]])
- q.push(to[x][j]),inv[to[x][j]]=1,vis[to[x][j]]=1;
- }
- for (int j=0;j<v.size();++j) list[v[j]]=j+1;
- for (int j=0;j<v.size();++j)
- for (int k=0;k<to[v[j]].size();++k)
- if (inv[to[v[j]][k]])
- {
- b[list[v[j]]][list[v[j]]]++,b[list[v[j]]][list[to[v[j]][k]]]--;
- }
- ans*=gauss(v.size());
- ans%=md;
- }
- F(i,l,r)
- {
- int fl=gf(a[i].u),fr=gf(a[i].v);
- if (fl!=fr){fa[fl]=fr;}
- }
- }
- int cnt=0;
- F(i,1,n) if (fa[i]==i)
- {
- cnt++;
- if (cnt==2) {printf("0\n"); return 0;}
- }
- printf("%d\n",ans);
- }
BZOJ 1016 [JSOI2008]最小生成树计数 ——Matrix-Tree定理的更多相关文章
- BZOJ.1016.[JSOI2008]最小生成树计数(Matrix Tree定理 Kruskal)
题目链接 最小生成树有两个性质: 1.在不同的MST中某种权值的边出现的次数是一定的. 2.在不同的MST中,连接完某种权值的边后,形成的连通块的状态是一样的. \(Solution1\) 由这两个性 ...
- bzoj 1016 [JSOI2008]最小生成树计数——matrix tree(相同权值的边为阶段缩点)(码力)
题目:https://www.lydsy.com/JudgeOnline/problem.php?id=1016 就是缩点,每次相同权值的边构成的联通块求一下matrix tree.注意gauss里的 ...
- BZOJ 1016: [JSOI2008]最小生成树计数( kruskal + dfs )
不同最小生成树中权值相同的边数量是一定的, 而且他们对连通性的贡献是一样的.对权值相同的边放在一起(至多10), 暴搜他们有多少种方案, 然后乘法原理. ----------------------- ...
- [BZOJ 1016] [JSOI2008] 最小生成树计数 【DFS】
题目链接:BZOJ - 1016 题目分析 最小生成树的两个性质: 同一个图的最小生成树,满足: 1)同一种权值的边的个数相等 2)用Kruscal按照从小到大,处理完某一种权值的所有边后,图的连通性 ...
- [BZOJ]1016 JSOI2008 最小生成树计数
最小生成树计数 题目描述 现在给出了一个简单无向加权图.你不满足于求出这个图的最小生成树,而希望知道这个图中有多少个不同的最小生成树.(如果两颗最小生成树中至少有一条边不同,则这两个最小生成树就是不同 ...
- bzoj 1016: [JSOI2008]最小生成树计数【dfs+克鲁斯卡尔】
有一个性质就是组成最小生成树总边权值的若干边权总是相等的 这意味着按边权排序后在权值相同的一段区间内的边能被选入最小生成树的条数是固定的 所以先随便求一个最小生成树,把每段的入选边数记录下来 然后对于 ...
- 【BZOJ 1016】 1016: [JSOI2008]最小生成树计数 (DFS|矩阵树定理)
1016: [JSOI2008]最小生成树计数 Description 现在给出了一个简单无向加权图.你不满足于求出这个图的最小生成树,而希望知道这个图中有多少个不同的最小生成树.(如果两颗最小生成树 ...
- 1016: [JSOI2008]最小生成树计数
1016: [JSOI2008]最小生成树计数 Time Limit: 1 Sec Memory Limit: 162 MBSubmit: 6200 Solved: 2518[Submit][St ...
- @总结 - 7@ 生成树计数 —— matrix - tree 定理(矩阵树定理)与 prüfer 序列
目录 @0 - 参考资料@ @0.5 - 你所需要了解的线性代数知识@ @1 - 矩阵树定理主体@ @证明 part - 1@ @证明 part - 2@ @证明 part - 3@ @证明 part ...
随机推荐
- uvm_transaction——事物
文件: src/base/uvm_transaction.svh 类: uvm_transaction uvm_transaction继承自uvm_object,添加了timing和record ...
- SM2-DE
SM2单证书认证 下端 导入根证书以及通用证书[具有签名和加密证书的功能]和远端的证书[获取远端公钥信息] 1.配置证书域 crypto ca identity gernal exit 2.通过复制粘 ...
- jmeter并发定时器
jmeter并发定时器
- powershell 版本问题
Login-AzureRmAccount : 无法将“Login-AzureRmAccount”项识别为 cmdlet.函数.脚本文件或可运行程序的名称.请检查名称的拼写,如果包括路径,请确保路径正确 ...
- ubuntu 16.0 利用ant编译 hadoop-eclipse-plugins2.6.0
折腾了两天,抱着不放弃的精神,我终于编译出我自己所需的hadoop中在eclipse中的插件 在网上下载的可能因为版本不一致,在编译的时候出现各种各样的问题,包括你的eclipse版本和hadoop版 ...
- 打印两个有序链表的公共部分 【题目】 给定两个有序链表的头指针head1和head2,打印两个 链表的公共部分
简单题 package my_basic.class_3; public class Code_10_PrintCommonPart { public static class Node{ int v ...
- bootstrap下拉菜单(Dropdowns)
本章将重点讲解bootstrap下拉菜单(Dropdowns),下拉菜单是可切换的,是以列表格式显示链接的上下文菜单. <!DOCTYPE html><html><hea ...
- Bootstrap 默认/标准按钮
Bootstrap 默认/标准按钮 <!DOCTYPE html><html><head><meta http-equiv="Content-Typ ...
- vue 使用element-ui实现城市三级联动
<template> <div> <el-select v-model="prov" style="width:167px;margin-r ...
- 学c++有感
第一次学习这么课程的时候,感觉课堂和教材的内容基本上都能接受和理解,但真正实际动手编写程序又觉得一片空白无从下手,可谓是“欲起平之恨无力.”一开始编写程序时,总是出现错误,从而产生了恐惧感,认为自己不 ...