既可加边也可删边的动态最小生成树

最新推荐文章于 2022-07-20 20:22:27 发布

Liameitimie

最新推荐文章于 2022-07-20 20:22:27 发布

阅读量2.4k

点赞数 5

文章标签：数据结构 acm竞赛

本文链接：https://blog.csdn.net/Liameitimie/article/details/119847315

版权

本文介绍了如何在可以加边和删边的图中动态维护最小生成树。通过Kruskal算法的思路，当新边连接的两点已联通，会形成环并需要删除环中权值最大的边。利用Link-Cut Tree（LCT）数据结构，可以高效地进行加边和删边操作，并处理询问。在既有加边又有删边的操作中，通过撤销最近的边来达到动态维护的效果，整体复杂度为O(qlogqlogn)。文章提供了相关代码实现。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

动态mst

动态mst是在可以加边的图中动态地维护这个图的最小生成树，例如下面的问题

给定一个图，每次会加入一条边，每次加入边后输出最小生成树的值
（或给出两个点x,y，输出最小化的联通两点需要边的最大值）

回忆 $k r u s k a l$ 求最小生成树的过程，我们是将所有边按边权排序后，再一个个将边插入，维护当前的最小生成树，设当前插入的边连接 $x, y$ 两点

若 $x, y$ 未联通，直接加入
若 $x, y$ 已联通，插入这条边后必然会形成一个环，且这条边一定是这个环中值最大的边，删去这个边更优，所以不加入

而动态维护最小生成树的操作原理也类似，假设当前插入边连接 $x, y$ 两点，边权为 $w$

若 $x, y$ 未联通，直接加入
若 $x, y$ 已联通，插入这条边后必然会形成一个环，我们应该删掉这个环中权值最大的一条边

具体地说，我们在一直维护一颗树，每次进来一个边连接 $x, y$ ，权值为 $w$
先看 $x, y$ 是否联通，如果未联通，就将这条边加入维护的树；
如果已联通，先找到 $x, y$ 路径上权最大的边 $e_{max}$ ，值为 $w_{max}$ ：

若 $w_{max}\leq w$ , 则新进来的边值是环中最大的，不插入
若 $w_{max}> w$ , 则先删除 $e_{max}$ ，再将新进来的边加入

不难发现，只要保证先删边再加边就能保证我们一直在维护一个树（或者森林），我们需要在这颗树上删边和加边，还需要找到一条链上最大的边权，这样就可以想到用 $link\_cut\:tree$ 来维护这颗树

这里不会 $l c t$ 的同学也可以继续看下去，当然先去看看 $l c t$ 也没问题，这里稍微提一下：
$l c t$ 是用 $s p l a$

最低0.47元/天解锁文章