有关最小生成树:
1. 边权均不相同的无向图最小生成树唯一。
2. 同一个图不同最小生成树的边权重序列相同。
证明思路:所有边权均不相同的无向图最小生成树是唯一的证明_霁月难逢 彩云易散-CSDN博客_只要无向连通图中没有权值相同的边,则其最小生成树唯一
3. 最小生成树不仅可以得到最小的权值之和,其最大边权为生成树中最大边权最小的,由kruskal算法,显然最小边权也为最小的。
有关最短路:
1. 路径松弛性质
证明见:路径松弛性质_chuanyang6282的博客-CSDN博客
2. 跑最长路可以把边权全部取负然后跑最短路,两者等价。