严格次小生成树学习笔记

前言

严格次小生成树，顾名思义，就是在联通图上选择一些边构成一棵树，使这棵树边权和严格次小。

---

第一步：求出最小生成树

要求严格次小生成树，我们就要先求出最小生成树（$Prim$和$Kruskal$等算法都可以，我用的是$Kruskal$），在求最小生成树的过程中，还要给每条使用过的边打一个标记，代码如下：

inline void Kruskal()//求最小生成树
{
   
	register int res=0,tot=1;//res记录最小生成树的边权和，tot记录已经在树上的点数
	for(sort(e+1,e+m+1,cmp),i=1;i<=m&&tot<n;++i)//先将边按权值排序，只要已经在树上的点数小于n，就不断枚举下一条边
    {
   
        static LL fx,fy;
        if((fx=getfa(e[i].from))^(fy=getfa(e[i].to))) f[fy]=fx,res+=e[i].val,++tot,e[i].used=1,v[e[i].from].push_back(i),v[e[i].to].push_back(i);//合并两个联通快，更新res和tot，并标记这条边已使用
    }	
}

---

最小生成树的主要思想

讲如何求严格次小生成树之前，还要先回顾一下最小生成树的主要思想。

比如说$Kruskal$，它的思想就是，贪心每次选择权值最小的一条边，判断这条边两边的点是否在同一个联通块内，也就是判断加上这条边之后是否会构成环。

---

从最小生成树的主要思想而引发得到的思路

首先，我们应该有一个比较显然的想法：如果我们要求出严格次小生成树，那么肯定就是用一条边去替换最小生成树上的一条边。

现在假设我们已经选好了一条边（这可以拿来枚举），那么应该替换掉那一条边呢？

添上一条边肯定会使原来的树上形成一个环，要让这棵树重新变回树，那么显然要删掉这个环上的一条边，而无论删掉环上的哪一条边，结果都是一棵树。

既然删哪条边都无所谓，那么由于贪心的思想，显然是尽量删掉边权较大的边。

又因为我们是求严格次小生成树，因此，只要删掉边权严格小于新加上的那条边的边权的边权最大的一条边。

---

如何确定这条边——倍增$LCA$

现在我们已经知道应该删掉的边是什么样的了，但是如何确定这条边到底是哪条边呢？

我们可以假设新加上的这条边的左右端点分别为$u$和$v$，那么，要删掉的边必然位于最小生成树上$u$到$v$的路径之间。也就是肯定位于$u$到$lca(u,v)$和$v$到$lca(u,v)$的其中一条路径上。

那么我们就可以考虑倍增$LCA$。

$L$