生成树相关问题

最小生成树的性质：

1.切割性质：若所有边权值都不相同。设S是既非空集也非全集的V的子集，边e是满足顶点分别在S和V-S集合中的所有边中权值最小的一个，则G中的所有最小生成树都包含e。

证明：设<u,v>是连接S和V-S集合所有边权最短的边。若存在MST不包含<u,v>，连接<u,v>，形成一个环，环上至少有一条不是<u,v>的边能够连接集合V和S-V，其权值比<u,v>大，用<u,v>替换后，MST变小，矛盾！因此所有MST都有<u,v>边。

2.回路性质：若所有边权值都不相同。设C是G中的任意回路，边e是C上权值最大的边，则G中所有的最小生成树都不包含e。

证明：若存在MST包含C环上的最大权值边<u,v>，删除<u,v>后，变成两个连通块S和T，C环上u->v不经过<u,v>边的路径中至少有一条边横跨S和T连通块，用该边替换<u,v>后，MST变小，矛盾！因此所有的MST都没有边<u,v>。

证明思想：1.反证法：先假设存在满足某性质的MST，证明经过替换后MST可以变小 2.替换方式：1）先添边成环，再从环中删边。

2）先删边成块，再从连接两个连通块的边中选一条边加入。

最小生成树的变题

1.增量最小生成树：动态添边，求最小生成树 O(N*Q) N：顶点数、Q：添边数

添加边<u,v>后，找到原MST中u->v路径上的最长边<