怎么证明权重不相同的加权无向图的最小生成树是唯一的（图论）

转自:https://blog.csdn.net/liangzhaoyang1/article/details/51602926

设G是所有边权均不相同的无向联通图。

证明一：

首先，易证图G中权值最小的边一定是最小生成树中的边。(否则最小生成树加上权值最小的边后构成一个环，去掉环中任意一条非此边则形成了另一个权值更小的生成树)。

之后用反证法，假设G存在俩个不同的最小生成树

①.设G的俩个不同的最小生成树T1 T2，设这俩颗生成树的并集为子图G1，G1为连通图且T1 T2显然为G1的最小生成树，由首先可得知俩颗生成树至少包含一条公共边，将G1中两颗生成树的公共边删去，得到子图G2。G2由一个或多个连通分量组成，其中至少有一个连通分量的最小生成树不唯一（否则若所有连通分量的最小生成树唯一，则将删掉的公共边加上，则T1等于T2，这与假设相矛盾）。

②.对其中一个最小生成树不唯一的连通分量设为H，若H中点数>2，重复①的操作。否则H中只有俩个点，由于所有边权值不同，显然最小生成树唯一，这与①中的最后一句相矛盾。

综上，所有边权均不相同的无向图最小生成树是唯一的。

证明二：

设T，T’为G的俩个最小生成树，设T的边集E(T)={e1,e2,...,em}，T'的边集E(T')={e'1,e'2,...,e'm}。

设ek满足ek≠e'k且k最小，由于所有边权值不同，不妨假设weight(ek)<weight(ek')，则将ek加入到T'，T'中构成环，易知环中不包含e'1,e'2,...,e'k-1(否则在T中有包含ek的环)，将环中任意非ek边删掉后得到了权值更小的生成树，这与T‘为最小生成树相矛盾，故G最小生成树唯一。

还有一个更强的结论：同一个图不同最小生成树的边权重序列相同。

转载于:https://www.cnblogs.com/schips/p/10659998.html

怎么证明权重不相同的加权无向图的最小生成树是唯一的（图论）相关推荐

加权无向图与最小生成树（Prim算法和Kruskal算法）
目录 0 引入 1 图的最小生成树定义及相关约定 2 最小生成树原理 2.1 性质 2.2 切分定理 3 贪心思想 4 Prim算法 4.1 算法步骤 4.2 API设计 4.3 Java代码演示 5 ...
数据结构之图：加权无向图与寻找最小生成树，Python——27
加权无向图与prim算法和Kruskal算法寻找最小生成树加权无向图的介绍引入加权无向图是一种为每条边关联一个权重值或是成本的图模型.这种图能够自然地表示许多应用.在一副航空图中,边表示航线 ...
【九度OJ】1008【加权无向图最短路径】
在网上查了一下,加权无向图最短路解法DFS和Dijkstra多一些,一般不用BFS 我选择用DFS,用时380MS,看了一下其他人的,最好的是240MS,用的是Dijkstra.都是采用邻接矩阵存储图 ...
并查集与贪心算法的应用之求解无向图的最小生成树
一,介绍本文介绍使用Kruskal算法求解无向图的最小生成树.Kruskal是一个贪心算法,并且使用了并查集这种数据结构. 关于并查集的介绍,参考:数据结构--并查集的原理及实现二,构造一个无向图 ...
java求最小生成树的权重_给定有权无向图的邻接矩阵如下，求其最小生成树的总权重，代码。...
#include using namespace std; #define INF 0x3f3f3f3f const int maxn = 117; int m[maxn][maxn]; int vi ...
无向图的最小生成树（prim算法）
引子: 假设整个无向图中的点记为A,最小生成树中的点记为T,其他点记为Q(也就是Q= A-T),T与Q相连的边记为B 算法构造过程: 1.初始化:首先将一个点(随意一个)加入最小生成树中 2.在所有Q ...
无向图的最小生成树（克鲁斯卡尔算法 Kruskal）
引子: 克鲁斯卡尔算法的作用是:构建图的最小生成树. 克鲁斯卡尔算法 Kruskal的构造过程: 1.初始化图:n个顶点,n个连通分量(如果两个顶点的连通分量相同,表示两点在同一个连通图中).把所有的 ...
可由线性表示且表达式唯一_证明y可由b1.b2--bn线性表出且表示法唯一
如果向量组(a1,a2,a3.an)可以由向量组(b1,b2,b3...bn)线性表示证明: 前者的秩小于后者的秩向量组a1,a2,---ak可用向量组b1,b2---bL线性表示所以存在矩阵P, ...
c 语言寻找最小生成树,求助，关于求无向图的最小生成树代码
该楼层疑似违规已被系统折叠隐藏此楼查看此楼 #include #include #include #define INFINITY 30000//权值最大值 #define max_vertex_n ...

怎么证明权重不相同的加权无向图的最小生成树是唯一的（图论）

怎么证明权重不相同的加权无向图的最小生成树是唯一的（图论）相关推荐

最新文章

热门文章

怎么证明权重不相同的加权无向图的最小生成树是唯一的 （图论）

怎么证明权重不相同的加权无向图的最小生成树是唯一的 （图论）相关推荐

最新文章

热门文章

怎么证明权重不相同的加权无向图的最小生成树是唯一的（图论）

怎么证明权重不相同的加权无向图的最小生成树是唯一的（图论）相关推荐