HDU 4408 Minimum Spanning Tree 最小生成树计数

Minimum Spanning Tree

Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 32768/32768 K (Java/Others)

【Problem Description】

XXX is very interested in algorithm. After learning the Prim algorithm and Kruskal algorithm of minimum spanning tree, XXX finds that there might be multiple solutions. Given an undirected weighted graph with n (1<=n<=100) vertexes and m (0<=m<=1000) edges, he wants to know the number of minimum spanning trees in the graph.

【Input】

There are no more than 15 cases. The input ends by 0 0 0. For each case, the first line begins with three integers --- the above mentioned n, m, and p. The meaning of p will be explained later. Each the following m lines contains three integers u, v, w (1<=w<=10), which describes that there is an edge weighted w between vertex u and vertex v( all vertex are numbered for 1 to n) . It is guaranteed that there are no multiple edges and no loops in the graph.

【Output】

For each test case, output a single integer in one line representing the number of different minimum spanning trees in the graph. The answer may be quite large. You just need to calculate the remainder of the answer when divided by p (1<=p<=1000000000). p is above mentioned, appears in the first line of each test case.

【Sample Input】

【Sample Output】

【题意】

一张无向图，要求求出其中最小生成树的棵树。
【分析】

生成树计数可以使用Matrix-Tree定理解决，本题最主要的区别是有了一个最小生成树的额外条件。

首先考虑一下如何得到最小生成树。

Kruskal算法的基本思想是，按照边长排序，然后不断将短边加入集合，最终一步如果能成功把n-1条边都加入同一个集合，则找到了最小生成树。在维护集合时，可以使用并查集来快速处理。

如果把Kruskal的过程按照边长划分成多个阶段，实际上是处理了所有短边的连通性之后继续处理下一个长度的边的连通性，并依次继续处理剩下边的连通性。然后我们可以发现，不同长度的边之间的连通性互不影响！！！

假设存在n1条长度为c1的边，n2条长度为c2的边...则Kruskal首先处理c1边的连通性，然后处理c2边的连通性，对于c1边的连通性的处理可能有多种方案，即从n1条边中取出一定数量的边构成最大连通图，但是最终处理完之后的结果对于c2来说是完全一样的。因此算法就出来了，在Kruskal的基础上，使用Matrix-Tree定理处理每个阶段生成树的种数，最后将所有阶段的结果相乘即可。

具体实现为：

在Kruskal的基础上，每完成一个阶段（检查完一个长度），就将所有遍历过的点缩成一个点，然后用Matrix-Tree定理计算该点与下一组点组成的连通图中生成树的个数。最终把每一个阶段的结果相乘即可。

 /* ***********************************************
 MYID    : Chen Fan
 LANG    : G++
 PROG    : Counting_MST_HDU4408
 ************************************************ */
 
 #include <vector>
 #include <cstdio>
 #include <cstring>
 #include <iostream>
 #include <algorithm>
 #include <bitset>
 #define N 405
 #define M 4005
 
 using namespace std;
 
 typedef struct nod
 {
     int a,b,c;
 } node;
 node edge[M];
 
 bool op(node a,node b)
 {
     return a.c<b.c;
 }
 
 int n,m,o,fa[N],ka[N];
 long long ans,mod,gk[N][N],kir[N][N];
 
 bitset<N> flag;
 vector<int> gra[N];
 
 int getfather(int x,int father[])
 {
     if (father[x]!=x) father[x]=getfather(father[x],father);
     return father[x];
 }
 
 long long det(long long a[][N],int n) //Matrix-Tree定理求Kirchhoff矩阵
 {
     for (int i=;i<n;i++)
     for (int j=;j<n;j++) a[i][j]%=mod;
     long long ret=;
     for (int i=;i<n;i++)
     {
         for (int j=i+;j<n;j++)
         while (a[j][i])
         {
             long long t=a[i][i]/a[j][i];
             for (int k=i;k<n;k++) a[i][k]=(a[i][k]-a[j][k]*t)%mod;
             for (int k=i;k<n;k++) swap(a[i][k],a[j][k]);
             ret=-ret;
         }
         if (a[i][i]==) return ;
         ret=ret*a[i][i]%mod;
         //ret%=mod;
     }
     return (ret+mod)%mod;
 }
 
 void matrix_tree()
 {
     for (int i=;i<=n;i++) //根据访问标记找出连通分量
     if (flag[i])
     {
         gra[getfather(i,ka)].push_back(i);
         flag[i]=;
     }
     for (int i=;i<=n;i++)
     if (gra[i].size()>) //枚举连通分量
     {
         memset(kir,,sizeof(kir));
 
         int len=gra[i].size();
         for (int a=;a<len;a++)
         for (int b=a+;b<len;b++)
         {
             int la=gra[i][a],lb=gra[i][b];
             kir[b][a]-=gk[la][lb];
             kir[a][b]=kir[b][a];
             kir[a][a]+=gk[la][lb];
             kir[b][b]+=gk[la][lb];
         } //构造矩阵
 
         long long ret=det(kir,len);
         ret%=mod;
         ans=(ans*ret%mod)%mod;
 
         for (int a=;a<len;a++) fa[gra[i][a]]=i;
     }
     for (int i=;i<=n;i++) //连通图缩点+初始化
     {
         fa[i]=getfather(i,fa);
         ka[i]=fa[i];
         gra[i].clear();
     }
 }
 
 int main()
 {
     freopen("4408.txt","r",stdin);
 
     while (scanf("%d%d%lld",&n,&m,&mod)==)
     {
 
         if (n==&&m==&&mod==) break;
         for (int i=;i<=m;i++) scanf("%d%d%d",&edge[i].a,&edge[i].b,&edge[i].c);
         sort(&edge[],&edge[m+],op);
 
         for (int i=;i<=n;i++) gra[i].clear();
         for (int i=;i<=n;i++)
         {
             fa[i]=i;
             ka[i]=i;
         }
         flag.reset();
         memset(gk,,sizeof(gk));
         ans=;
         o=edge[].c;
         for (int i=;i<=m;i++)
         {
             int pa=getfather(edge[i].a,fa),pb=getfather(edge[i].b,fa);
             if (pa!=pb)
             {
                 flag[pa]=;
                 flag[pb]=; //访问标记
                 ka[getfather(pa,ka)]=getfather(pb,ka);
                 gk[pa][pb]++;
                 gk[pb][pa]++; //邻接矩阵
             }
             if (i==m||edge[i+].c!=o) //所有相同的边并成一组
             {
                 matrix_tree();
                 o=edge[i+].c;
             }
         }
 
         bool done=true;
         for (int i=;i<=n;i++)
         if(ka[i]!=ka[i-])
         {
             done=false;
             break;
         }
         if (!done) printf("0\n");
         else
         {
             ans%=mod;
             printf("%lld\n",ans);
         }
     }
 
     return ;
 }