关于最小生成树/次小生成树的相关结论。

1.对于最小生成树的任何一条边e，将它去掉后形成两个集合u和v，则e是u，v两集合间所有边中最小的（假设不是，则可以把e去掉换成一条更小的边，从而形成一棵更小的生成树，矛盾）

2.在最小生成树中的第K长边是所有生成树中第K长边的最短边。还不知道如何证明。

3.理解最小生成树算法的前导
我们先从一个点出发吧。
1.对于在连通图中的一个点，所有连接这个点的边中的权值最小边，必定是此图最小生成树中的一条边。
证明：比如，这个点是x，x到y的边最小，假设这条边不在最小生成树中，那就有类似x–>a–>y在最小生成树中（因为在生成树中任意两点之间都有通路，且唯一），然而x–>y比x–>a要小，包含x–>a–>y的树不是最小生成树，与题设矛盾。由此得证。

这个推论中的点替换成连通块依然成立。即2.如果某个连通图属于最小生成树，那么所有从外部连接到该图的边中的一条最短的边必然属于最小生成树。
也可以借此证明，3.对于任意一个图，他最小生成树中每种权值的边的数量是一定的。

这样prim和kruskal算法就好理解了。

当最小生成树被拆分成彼此独立的若干个连通分量的时候，所有能够连接任意两个连通分量的边中的一条最短边必然属于最小生成树。 这个也是把每个连通分量看做一个点就好了。也就是Kruskal的核心思想了！

4.次小生成树
如果一个连通图存在多棵最小生成树，要你删去此图中一些边，使得其最小生成树唯一，怎么确定这些被删去的边的权值和？
我们把确定最小生成树和删边操作同时进行。
首先我们在把边按权值分为几个集合。从权值最小的集合开始，我们先把这个集合中尚未并入MST的边找出来（也就是并查集判断这个边的两点是否连通），这些边的权值加到ans中；之后，还是在这个集合里，我们kruskal，ans减去并入MST的边的权值。然后move on，到下一个集合。注意这个MST得出来是其中一棵。
为什么ans只加那些端点没有联通的边呢？因为如果这条边端点连通，那么这条边不会存在于任何一棵最小生成树中。因为这两点间已经存在了比当前权值更小的通路。
而且，一个连通图的所有最小生成树的每一中权值边的数量是一定的。所以也不用考虑排列组合的事，直接让每一个集合内可以被替换的边相加，再减去MST的值就好。因为每一个集合选什么，对下一个集合是不影响的。
代码：

 		Arrays.sort(e);
        long ans=0;
        for(int l=0,r=0;l<m;l=r) {
            int w=e[l].w;
            r=l;
            while(r<m&&e[r].w==w) r++;
            for(int i=l;i<r;i++) {
                int u=e[i].u;
                int v=e[i].v;
                if(!(find(u)==find(v))) {
                    ans+=e[i].w;
                    //System.out.println(ans+" 1 "+w);
                }
            }
            for(int i=l;i<r;i++) {
                int u=e[i].u;
                int v=e[i].v;
                if(!(find(u)==find(v))) {
                    ans-=e[i].w;
                    //System.out.println(ans+" 2 "+w);
                    unit(u,v);
                }
            }