现在给出了一个简单无向加权图。你不满足于求出这个图的最小生成树,而希望知道这个图中有多少个不同的
最小生成树。(如果两颗最小生成树中至少有一条边不同,则这两个最小生成树就是不同的)。由于不同的最小生
成树可能很多,所以你只需要输出方案数对31011的模

  生成树的两个特点:

  1.可能有多个生成树,但是每种权值边出现的次数在每个树中是相同的。

  2.每一种生成树的每种权值边连接完成后形成的联通块状态相同。

  解法1:保证了权值相同的边不超过10条 所以我们可以先得出每种权值边的个数,再暴力dfs枚举每种可能性得出这种权值的所有情况,答案就是所有情况数的累乘。

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#define mod 31011
using namespace std;
int n, m, cnt, tot, ans = , sum;
int fa[];
struct edge {
int x, y, v;
} e[];
struct data {
int l, r, v;
} a[];
inline int read()
{
int x = ;
char ch = getchar();
while (ch < '' || ch > '') {
ch = getchar();
}
while (ch >= '' && ch <= '') {
x = x * + ch - '';
ch = getchar();
}
return x;
}
bool cmp(edge a, edge b)
{
return a.v < b.v;
}
int find(int x)
{
return x == fa[x] ? x : find(fa[x]);
}
void dfs(int x, int now, int k)
{
if (now == a[x].r + ) {
if (k == a[x].v) {
sum++;
}
return;
}
int p = find(e[now].x), q = find(e[now].y);
if (p != q) {
fa[p] = q;
dfs(x, now + , k + );
fa[p] = p;
fa[q] = q;
}
dfs(x, now + , k);
}
int main()
{
n = read();
m = read();
for (int i = ; i <= n; i++) {
fa[i] = i;
}
for (int i = ; i <= m; i++) {
e[i].x = read(), e[i].y = read(), e[i].v = read();
}
sort(e + , e + m + , cmp);
for (int i = ; i <= m; i++) {
if (e[i].v != e[i - ].v) {
a[++cnt].l = i;
a[cnt - ].r = i - ;
}
int p = find(e[i].x), q = find(e[i].y);
if (p != q) {
fa[p] = q;
a[cnt].v++;
tot++;
}
}
a[cnt].r = m;
if (tot != n - ) {
printf("");
return ;
}
for (int i = ; i <= n; i++) {
fa[i] = i;
}
for (int i = ; i <= cnt; i++) {
sum = ;
dfs(i, a[i].l, );
ans = (ans * sum) % mod;
for (int j = a[i].l; j <= a[i].r; j++) {
int p = find(e[j].x), q = find(e[j].y);
if (p != q && a[i].v) {
fa[p] = q;
a[i].v--;
}
}
}
printf("%d", ans);
return ;
}

  解法2:矩阵树

#include<iostream>
#include<algorithm>
#include<cstring>
#include<vector>
#include<cstdio>
#define p 31011
#define N 1003
using namespace std;
int a[][],c[N][N],n,m,vis[N],fa[N],U[N];
vector<int> V[N];
struct data{
int x,y,c;
bool operator<(const data &a)const{
return c<a.c;
}
}e[N];
int gauss(int n)
{
for (int i=;i<=n;i++)
for (int j=;j<=n;j++) a[i][j]%=p;
//for (int i=1;i<=n;i++,cout<<endl)
// for (int j=1;j<=n;j++) cout<<a[i][j]<<" ";
int ret=;
for (int i=;i<=n;i++) {
int num=i;
for (int j=i+;j<=n;j++)
if (abs(a[j][i])) num=j;
for (int j=;j<=n;j++) swap(a[num][j],a[i][j]);
if (num!=i) ret=-ret;
for (int j=i+;j<=n;j++)
while (a[j][i]) {
int t=a[j][i]/a[i][i];
for (int k=;k<=n;k++)
a[j][k]=(a[j][k]-t*a[i][k])%p;
if (!a[j][i]) break;
ret=-ret;
for (int k=;k<=n;k++) swap(a[i][k],a[j][k]);
}
ret=(ret*a[i][i])%p;
}
//cout<<ret<<endl;
return (ret%p+p)%p;
}
int find(int x,int f[N])
{
if (x==f[x]) return x;
else return find(f[x],f);
}
int main()
{
scanf("%d%d",&n,&m);
for (int i=;i<=m;i++) scanf("%d%d%d",&e[i].x,&e[i].y,&e[i].c);
sort(e+,e+m+);
for (int i=;i<=n;i++) vis[i]=,fa[i]=i;
int ans=; int last=-;
for (int i=;i<=m+;i++) {
if (e[i].c!=last||i==m+) {
for (int j=;j<=n;j++)
if (vis[j]) {
int r1=find(j,U);
V[r1].push_back(j);
vis[j]=;
}
for (int j=;j<=n;j++)
if (V[j].size()>) {
memset(a,,sizeof(a));
int len=V[j].size();
for (int k=;k<len;k++)
for (int l=k+;l<len;l++) {
int x=V[j][k]; int y=V[j][l]; int t=c[x][y];
a[k+][l+]-=t; a[l+][k+]-=t;
a[k+][k+]+=t; a[l+][l+]+=t;
}
ans=ans*gauss(len-)%p;
for (int k=;k<len;k++) fa[V[j][k]]=j;
}
for (int j=;j<=n;j++) {
U[j]=fa[j]=find(j,fa);
V[j].clear();
}
last=e[i].c;
if(i==m+) break;
}
int x=e[i].x; int y=e[i].y;
int r1=find(x,fa); int r2=find(y,fa);
if (r1==r2) continue;
U[find(r1,U)]=find(r2,U); vis[r1]=; vis[r2]=;
c[r1][r2]++; c[r2][r1]++;
}
int flag=;
for (int i=;i<=n;i++)
if (find(i,U)!=find(i-,U)) flag=;
ans=(ans*flag%p+p)%p;
printf("%d\n",ans);
}

BZOJ 1016 生成树计数的更多相关文章

  1. BZOJ 1016 最小生成树计数

    Description 现在给出了一个简单无向加权图.你不满足于求出这个图的最小生成树,而希望知道这个图中有多少个不同的最小生成树.(如果两颗最小生成树中至少有一条边不同,则这两个最小生成树就是不同的 ...

  2. bzoj 1494 生成树计数

    坑了好多天的题,终于补上了 首先发现 \(i\) 这个点和 \(i-k\) 之前的点没有边,所以 \(i-k\) 之前的点肯定联通,只要处理中间 \(k\) 个点的联通状态就好了.我们用最小表示法,\ ...

  3. BZOJ 1016 最小生成树计数(矩阵树定理)

    我们把边从小到大排序,然后依次插入一种权值的边,然后把每一个联通块合并. 然后当一次插入的边不止一条时做矩阵树定理就行了.算出有多少种生成树就行了. 剩下的交给乘法原理. 实现一不小心就会让程序变得很 ...

  4. BZOJ 1002 生成树计数&高精度

    给你定义一种特殊的图 这种图总共有n个节点 假设编号为0~n-1 首先1~n-1排成环形 每个点与相邻的两个点有边 其次这n-1个节点每个和0节点有一条边 每次询问你一个n 要回到当前n节点的特殊图有 ...

  5. BZOJ 1494 生成树计数(生成树计数-矩阵)

    题目链接:http://www.lydsy.com/JudgeOnline/problem.php?id=1494 题意: 思路: int SIZE; struct matrix { i64 a[N] ...

  6. BZOJ 1016 最小生成树计数 【模板】最小生成树计数

    [题解] 对于不同的最小生成树,每种权值的边使用的数量是一定的,每种权值的边的作用是确定的 我们可以先做一遍Kruskal,求出每种权值的边的使用数量num 再对于每种权值的边,2^num搜索出合法使 ...

  7. [BZOJ 1016] [JSOI2008] 最小生成树计数 【DFS】

    题目链接:BZOJ - 1016 题目分析 最小生成树的两个性质: 同一个图的最小生成树,满足: 1)同一种权值的边的个数相等 2)用Kruscal按照从小到大,处理完某一种权值的所有边后,图的连通性 ...

  8. BZOJ.1016.[JSOI2008]最小生成树计数(Matrix Tree定理 Kruskal)

    题目链接 最小生成树有两个性质: 1.在不同的MST中某种权值的边出现的次数是一定的. 2.在不同的MST中,连接完某种权值的边后,形成的连通块的状态是一样的. \(Solution1\) 由这两个性 ...

  9. @总结 - 7@ 生成树计数 —— matrix - tree 定理(矩阵树定理)与 prüfer 序列

    目录 @0 - 参考资料@ @0.5 - 你所需要了解的线性代数知识@ @1 - 矩阵树定理主体@ @证明 part - 1@ @证明 part - 2@ @证明 part - 3@ @证明 part ...

随机推荐

  1. webshell劫持工具【全站劫持】

    演示视频下载地址:https://share.weiyun.com/53hPGYj 需要联系QQ:1743685523 ---------------------------------------- ...

  2. Docker 面试题

    Docker 面试题 Docker? Docker是一个容器化平台,它以容器的形式将您的应用程序及其所有依赖项打包在一起,以确保您的应用程序在任何环境中无缝运行. CI(持续集成)服务器的功能是什么? ...

  3. 【并行计算-CUDA开发】CUDA shared memory bank 冲突

    CUDA SHARED MEMORY shared memory在之前的博文有些介绍,这部分会专门讲解其内容.在global Memory部分,数据对齐和连续是很重要的话题,当使用L1的时候,对齐问题 ...

  4. 【VS开发】使用CTabView分割多页卡窗口

    一般书中介绍的是使用CSplitterWnd来拆分窗口实现多视图,CSplitterWnd中的CreateClient可以保存其创建的pCreateContext指针,以便子视图共享Document. ...

  5. SQL ------ JDBC 删除指定的某条记录

    package demo; import java.io.IOException; import java.sql.Connection; import java.sql.DriverManager; ...

  6. vue加scoped后无法修改样式(无法修改element UI 样式)

    有的时候element提供的默认的样式不能满足项目的需要,就需要我们队标签的样式进行修改,但是发现修改的样式不起作用 第一种方法 原因:scoped 解决方法:去掉scoped 注意:此时该样式会污染 ...

  7. python 输出对齐

    几种不同类型的输出对齐总结: 先看效果: 采用.format打印输出时,可以定义输出字符串的输出宽度,在 ':' 后传入一个整数, 可以保证该域至少有这么多的宽度. 用于美化表格时很有用. >& ...

  8. 浅析C语言中printf(),sprintf(),scanf(),sscanf()的用法和区别

    printf语法: #include <stdio.h>int printf( const char *format, ... ); printf()函数根据format(格式)给出的格式 ...

  9. Redis(1.11)Redis4.0.11 cluster 分布式集群搭建

    概念与了解:Redis(1.7)Redis高可用架构(理论篇) [0]试验环境 结构图如下: (这里试验没有那么多机器,就用3台机器搭建试验) redis1是redis集群的一个节点A,上面运行了两个 ...

  10. 后缀数组 LCP--模板题

    题意: 给你S串和T串,用T串的所有前缀去匹配S串(匹配值是最长公共子串). 问你总值相加是多少. 思路: 先把两个S,T串倒过来,再拼接 S#T 合成一串,跑一下后缀数组 在排序好的rank里计算每 ...