The Unique MST 次小生成树

本文深入探讨了最小生成树和次小生成树的概念,通过具体实例讲解了如何利用Kruskal算法构建最小生成树,并进一步寻找次小生成树。文章详细介绍了通过DFS遍历和边的替换策略来判断次小生成树是否存在,同时提供了完整的代码实现。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

传送门

分析

这道题的题意是求一张图中的最小生成树和次小生成树,然后判断是否相等

首先我们来了解一下什么是次小生成树,次小生成树的意思就是和最小生成树最少要有一条边不一样的生成树,所以,我们可以先构建最小生成树,将用到的边进行标记,最后得倒一棵生成树,在树中dfs以求出任意两点之间的最长距离,然后引入未进行标记的边已替换最小生成树中的边,假设最小生成树为sum,则替换完之后为
sum - d[a][b] + w

将每一条没有标记的边加入,找最小值即可

最后只要最小值和之前求的最小生成树相同即可

其实换而言之就是找一条未标记边代替代替最小生成树中的边,所以只要有一条边的距离和最小生成树中两点距离相同即可

PS:这道题数据有点水,我kruskal忘了给边sort居然也过了。。。

代码

#include <cstring>
#include <iostream>
#include<algorithm>

using namespace std;

const int N = 110,M = N * N;
int h[N],ne[M],e[M],w[M],idx;
int q[N];
int d[N][N];
int n,m;

struct Edge{
	int a,b,w;
	bool f;
	bool operator< (const Edge &t) const{
        return w < t.w;
    }
}E[M];

void add(int a,int b,int c){
	w[idx] = c,ne[idx] = h[a],e[idx] = b,h[a]  =idx++;
}

int find(int x){
	if(x != q[x]) q[x] = find(q[x]);
	return q[x];
}

void dfs(int u,int fa,int maxd,int x){
	d[u][x] = maxd;
	for(int i = h[u];~i;i = ne[i]){
		int j = e[i];
		if(j == fa) continue;
		int t = maxd;
		t = max(t,w[i]);
		dfs(j,u,t,x);
	}
}

int main(){
	int T;
	scanf("%d",&T);
	while(T--){
		scanf("%d%d",&n,&m);
		for(int i = 1;i <= n;i++) q[i] = i;
			memset(h,-1,sizeof h);
		for(int i = 0;i < m;i++){
			scanf("%d%d%d",&E[i].a,&E[i].b,&E[i].w);
			E[i].f = false;
		}
		int sum = 0;
		sort(E,E + m);
		for(int i = 0;i < m;i++){
			int a = E[i].a,b = E[i].b,w = E[i].w;
			int pa = find(a),pb = find(b);
			if(pa != pb){
				E[i].f = true;
				sum += w;
				q[pa] = pb;
				add(a,b,w);
				add(b,a,w);
			}
		}
		for(int i = 1;i <= n;i++) dfs(i,-1,0,i);
			int res = 0x3f3f3f3f;
		bool flag  = false;
		for(int i = 0;i < m;i++){
			if(E[i].f) continue;
			int a = E[i].a,b = E[i].b,w = E[i].w;
			if(d[a][b] == w){
				flag = true;
				break;
			}
		}
		if(flag) puts("Not Unique!");
		else printf("%d\n",sum);
	}
	return 0;
}
### 最小生成树的唯一性 #### 权重不同的情况 当带权无向连通图 \( G \) 中每条边的权重都不相同时,最小生成树(MST)是唯一的。这是因为,在这种情况下,每次选择最短路径时都只有一种可能的选择[^2]。 #### 连通分量的影响 对于给定的 \( n \) 个点和 \( m \) 条边的情况,如果该图不是完全连通的,则会存在多个连通分量。此时无法形成单一的最小生成树;相反,每个连通分量内部会有自己的最小生成树。因此,整个图形不存在全局意义上的“唯一”的最小生成树[^1]。 #### 边数量等于顶点数减一的情形 若一个图恰好拥有 \( |V| - 1 \) 条边,并且这些边能够连接所有的顶点而不形成环路,则此图为一棵树结构,其本身就是唯一的最小生成树。 #### 同样权重多条边的存在 然而,当存在两条或多条具有相同权重的不同边时,可能会有不同的组合方式来构建同样总权重下的最小生成树。这意味着即使总的最小生成树权重保持不变,具体的树形态也可能有所不同[^5]。 ```python def is_unique_mst(graph_edges, vertices_count): """ 判断给定图是否存在唯一的最小生成树 参数: graph_edges (list of tuples): 图中所有边及其权重 [(u,v,w),...] vertices_count (int): 节点数目 返回: bool: True 表示 MST 是唯一的; False 表示 不唯一 或者 存在多个连通块. """ # 实现判断逻辑... pass ```
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值