【luogu P6178】【模板】Matrix-Tree 定理(行列式)(数学)(树)

【模板】Matrix-Tree 定理

题目链接:luogu P6178

题目大意

给你一个无向图或有向图,然后让你求它有多少种以 1 为根的外向生成树。

思路

玄学玩意儿。

原理自己上去搜题解,我也说不清,就讲讲大概流程把。

我们弄一个矩阵 K。(ai,j 是邻接矩阵)(如果有重边就是边权相加)
Ki,i=j=1naj,i(外向树)
Ki,i=j=1nai,j(内向树)

Ki,j=ai,j(ij)

然后这个矩阵你弄个一个 n1 阶的主子式(如果是有根的就只能不要根的行列),然后用那个矩阵跑行列式就是答案了。

代码

#include<cstdio> #include<algorithm> #define ll long long #define mo 1000000007 using namespace std; int n, m, t, x, y; ll z, a[301][301]; ll work(int l, int r) {//行列式 ll ans = 1, zf = 1, tmp; for (int i = l; i <= r; i++) { int k = i; for (int j = i + 1; j <= r; j++) if (a[j][i] > a[k][i]) k = j; if (!a[k][i]) return 0; if (k != i) swap(a[i], a[k]), zf = -zf; for (int j = i + 1; j <= r; j++) { if (a[j][i] > a[i][i]) swap(a[j], a[i]), zf = -zf; while (a[j][i]) { tmp = a[i][i] / a[j][i]; for (int k = i; k <= r; k++) a[i][k] = (a[i][k] + a[j][k] * (mo - tmp) % mo) % mo; swap(a[i], a[j]); zf = -zf; } } ans = ans * a[i][i] % mo; } if (zf == -1) return (mo - ans) % mo; return ans; } int main() { scanf("%d %d %d", &n, &m, &t); for (int i = 1; i <= m; i++) { scanf("%d %d %lld", &x, &y, &z); a[x][y] = (a[x][y] - z + mo) % mo; a[y][y] = (a[y][y] + z) % mo; if (!t) a[y][x] = (a[y][x] - z + mo) % mo, a[x][x] = (a[x][x] + z) % mo;//无向边 } printf("%lld", work(2, n));//删去根所在的行列 return 0; }

__EOF__

本文作者あおいSakura
本文链接https://www.cnblogs.com/Sakura-TJH/p/luogu_P6178.html
关于博主:评论和私信会在第一时间回复。或者直接私信我。
版权声明:本博客所有文章除特别声明外,均采用 BY-NC-SA 许可协议。转载请注明出处!
声援博主:如果您觉得文章对您有帮助,可以点击文章右下角推荐一下。您的鼓励是博主的最大动力!
posted @   あおいSakura  阅读(46)  评论(0编辑  收藏  举报
编辑推荐:
· go语言实现终端里的倒计时
· 如何编写易于单元测试的代码
· 10年+ .NET Coder 心语,封装的思维:从隐藏、稳定开始理解其本质意义
· .NET Core 中如何实现缓存的预热?
· 从 HTTP 原因短语缺失研究 HTTP/2 和 HTTP/3 的设计差异
阅读排行:
· 分享一个免费、快速、无限量使用的满血 DeepSeek R1 模型,支持深度思考和联网搜索!
· 基于 Docker 搭建 FRP 内网穿透开源项目(很简单哒)
· ollama系列01:轻松3步本地部署deepseek,普通电脑可用
· 25岁的心里话
· 按钮权限的设计及实现
点击右上角即可分享
微信分享提示