最小生成树

最小生成树

最小生成树的性质

1.一棵生成树从p点出发，遍历完每个点之后再回到p点，那么生成树中的每条边至少被经过两次，设生成树中第i个点的度数的di，那么第i个点至少会被经过di次。（安慰奶牛）

2.一个图的最小生成树不唯一。它的每一个最小生成树中，每个点对之间的边都是一一对应的（即边长相同）。因此，一个图中的最小生成树的最大边长和最小边长是固定的。（Poj 3522）

3.（最小瓶颈路：点u到点v之间的一条路径，使得该条路径上最长边的权值最小，输出该条边的权值）显然，最小瓶颈路一定在最小生成树上（可以用反证法证明）。第一条将包含u的生成树和包含v的生成树连通的边就是这条边。

Kruskal – MST

原理就是给你一堆边，然后每次都从这堆边里面选出最短的那条边加入生成树，当然前提是这条边的两个端点不在一个生成树里面。算法本身的时间复杂度是O(E)，它耗时是耗在排序上面：O(E*logE)。

代码

int fa[N];
struct node{
    int u,v,w;
    bool operator<(const node &a)const
        {return w>a.w;}
};
priority_queue<node>q;
int getfa(int x){
    if(x!=fa[x])fa[x]=getfa(fa[x]);
    return fa[x];
}
int MST(int n){
    int cnt=0,Ans=0;
    while(cnt<n-1){
         if(q.empty())return -1;
        node t=q.top();q.pop();
        int x=getfa(t.u),y=getfa(t.v);
        if(x!=y)fa[y]=x,Ans+=t.w,cnt++;
    }
    return Ans;
}

次小生成树

恰好比最小生成树的权值大的那一个生成树。

首先，求出最小生成树T；然后，依次枚举不在T中的边E，显然，加上了这条边之后该图将存在环；接着，删除环中除E以外的最长边（删除最长边的原因是使得delta尽可能小）。如此，枚举完剩余的所有边之后，就能够求出次小生成树。

时间复杂度：O(N^2)+O(E)+O(MST)

注意

判断是否存在最小生成树：

如果加入生成树的边不足n-1，堆却已经空了，说明不存在一个最小生成树；如果图不连通，那么加入生成树的边也不会达到n-1，就会出现在循环内堆空的情况。一定不要直接扫一遍看所有Fa[i]是否相等，这是多么智障的做法。（我是zz）