CF1726D 题解

Edge Split。

一开始 nt 了，以为红边为一颗树，蓝边为剩余边，蓝边就不会有环了。

---

假设有 \(n\) 个点，\(m\) 条边，且这些边没有出现环，那么连通块的数量为 \(n - m\)，因为不存在环，所以依次增加 \(m\) 条边，每条边都是连接两个连通块，也就是每条边都会使连通块数量减 \(1\)。

那么理论最小值就是 \(n\times 2-m\)。

本题这个理论最小值是可以取到的。

证明：

让这个理论最小值取到，那么必定蓝边和红边都没有构成环。

红边为这些边的生成树，蓝边为剩余边。

那么当 \(m = n + 2\) 时，蓝边的边数为 \(3\)，有可能构成环。

假设构成了环。

• 我们随便选一条环上的边，并将其归为红边。
• 将红边环上的一边且不是上述的边归为蓝边。

这样就没有环。

因为一个环上至少有 \(3\) 条边。

【实现】

生成树可以用并查集实现，即判断一条边的两个端点是否在一个集合，如果在一个集合就是蓝边，否则是红边。

断环也可以并查集，即先将选得第一条边加入并查集，然后枚举红边，如果一条边的两个端点在一个集合，那么这条边就是可选边。

时间复杂度：\(\mathcal O(n\alpha(n))\)。

具体实现见代码。