[模板] 矩阵树定理

题目描述:

给一个无向图,求图上生成树的数量.

题目分析:

矩阵树定理就是用于解决图上的生成树的计数问题的.
先构造两个矩阵
A为邻接矩阵 若 u v 有边 A[u][v]++ A[v][u]++
B为度数矩阵 若 u v 有边 则 B[u][u]++ B[v][v]++
最后构造矩阵 C=B-A
删去矩阵C任意元素 Ci,j C i , j 所在的行列
求这个矩阵的行列式的绝对值即为答案!
没有取模,有取模的高斯消元不太一样…
具体介绍等我学明白了,再写一篇博客吧…

题目链接:

SPOJ 104 Highways

Ac 代码:

#include <cstdio>
#include <iostream>
#include <algorithm>
#include <cmath>
#include <cstring>
#define ll long long
const int maxm=20;
ll C[maxm][maxm],d[maxm];
int n,m;
inline ll Matrix_Tree(ll a[][maxm])
{
    ll ret=1;
    for(int i=2;i<=n;i++)
    {
        for(int j=i+1;j<=n;j++)
         while(a[j][i])
         {
            ll t=a[i][i]/a[j][i];  
            for(int k=i;k<=n;k++)  
             a[i][k]=(a[i][k]-a[j][k]*t);  
            for(int k=i;k<=n;k++)  
             std::swap(a[i][k],a[j][k]);  
            ret=-ret;  
         }
         if(!a[i][i]) return 0;
         ret=ret*a[i][i];
    }
    return ret<0?-ret:ret;
}
inline void work()
{
    memset(C,0,sizeof(C));
    memset(d,0,sizeof(d));
    scanf("%d%d",&n,&m);
    for(int i=1;i<=m;i++)
    {
        int u,v;
        scanf("%d%d",&u,&v);
        C[u][v]=-1;
        C[v][u]=-1;
        d[u]++,d[v]++; 
    }
    for(int i=1;i<=n;i++)
     C[i][i]=d[i];
    printf("%lld\n",Matrix_Tree(C));
}
int main()
{
    int t;
    scanf("%d",&t);
    while(t--)
     work();
    return 0;
}
  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
矩阵定理是一种基于图的行列式计算算法,可以用来判断两个图是否同构。下面是使用矩阵定理判断两个图是否同构的具体流程: 1. 对于两个图G1和G2,先计算它们的拉普拉斯矩阵L1和L2。 2. 对于拉普拉斯矩阵L1和L2,分别选择一个相同的大小的行列子矩阵,称为L1'和L2'。 3. 计算L1'和L2'的行列式,如果它们相等,则认为G1和G2同构。否则,认为它们不同构。 下面是使用C语言代码实现矩阵定理判断两个图是否同构的示例: ``` #include <stdio.h> #include <stdlib.h> #include <string.h> // 定义矩阵大小 #define MAX_N 100 #define MAX_M 5000 // 定义拉普拉斯矩阵 int L1[MAX_N][MAX_N], L2[MAX_N][MAX_N]; // 定义行列式计算函数 int determinant(int n, int mat[MAX_N][MAX_N]) { int det = 1; for (int i = 0; i < n; i++) { for (int j = i + 1; j < n; j++) { while (mat[j][i]) { int t = mat[i][i] / mat[j][i]; for (int k = i; k < n; k++) { mat[i][k] = (mat[i][k] - t * mat[j][k]); // 交换i,j两行 int temp; temp = mat[i][k]; mat[i][k] = mat[j][k]; mat[j][k] = temp; } det = -det; } } det *= mat[i][i]; } return det; } int main() { // 读入两个图 int n, m1, m2; scanf("%d%d%d", &n, &m1, &m2); memset(L1, 0, sizeof(L1)); memset(L2, 0, sizeof(L2)); for (int i = 0; i < m1; i++) { int u, v; scanf("%d%d", &u, &v); L1[u - 1][u - 1]++; L1[v - 1][v - 1]++; L1[u - 1][v - 1]--; L1[v - 1][u - 1]--; } for (int i = 0; i < m2; i++) { int u, v; scanf("%d%d", &u, &v); L2[u - 1][u - 1]++; L2[v - 1][v - 1]++; L2[u - 1][v - 1]--; L2[v - 1][u - 1]--; } // 计算行列式 int k = n / 2; int det1 = determinant(k, L1); int det2 = determinant(k, L2); // 判断是否同构 if (det1 == det2) { printf("Same\n"); } else { printf("Different\n"); } return 0; } ``` 在上面的代码中,我们先输入两个图的节点数、边数和边的信息,然后构造它们的拉普拉斯矩阵。接着,我们选择相同大小的行列子矩阵,用行列式计算函数计算它们的行列式,最后比较两个行列式是否相等,从而判断它们是否同构。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值