图论的割顶、桥和强连通分量资料.ppt

* * 参考文献 王树禾《离散数学引论》 刘汝佳/黄亮《算法艺术与信息学竞赛》 吴文虎/王建德《图论的算法与程序设计》 * * MST另类算法证明 我们通过kruskal算法的正确性来证明该算法的正确性 设该算法得到的MST’为T’，它不是原图的最小生成树T，则存在一条边e，有e∈T’且e∈T。由于T’不可再调整，所以在T’中添加e之后，e是所成环上的最大边。因而在做kruskal算法时候，该环上的所有边在e之前都会被事先考虑是否加入MST中，而在考虑是否加入e这条边的时候，该环上的所有点都已经连通了，所以e一定不会被加入MST中。推出矛盾。 * * 最小环改进算法的证明 一个环中的最大结点为k(编号最大)，与他相连的两个点为i,j，这个环的最短长度为g[i][k]+g[k][j]+i到j的路径中,所有结点编号都小于k的最短路径长度 根据floyd的原理，在最外层循环做了k-1次之后，dist[i][j]则代表了i到j的路径中，所有结点编号都小于k的最短路径 综上所述，该算法一定能找到图中最小环 * * 定理1的证明 设dfn[a]dfn[b],在DFS的活动中心，即算法中的v，只沿父子边移动。若a不是b的祖先，但由dfn[a]dfn[b]可知，a比b先“生”，即活动中心移至b之前，已从a移到a的某个前辈。然而，由算法可知，仅当与a关联的边皆被用过后才倒行至其父，这说明e已被用过，