牛客练习赛 56 E. 小雀和他的王国（树的直径 + tarjan边双通缩点模板）

很明显，只有桥被删才有影响，用tarjan将每个边双通缩一下点，剩下的边就是桥。

对新的点进行重新建图，得到的一定是一棵树

题目转化为如何在树上加一条边使得构成的环尽可能大，在两点间加一条边只会影响一条链，显然在树的直径的两端加一条边构成的环最大。答案是剩下的非环边 / (m + 1)。

求树的直径长可以用dp。

可能存在有重边可以自环的情况，特判一下。

---

#include<bits/stdc++.h>
using namespace std;
#define lowbit(i) (i & (-i))
#define pii pair<int,int>
#define fir first
#define sec second
const int maxn = 2e5 + 10;
const int mod = 1e9 + 7;
vector<pii> g[maxn];
vector<int> h[maxn];
int n,m;
int fpow(int a,int b) {
	int r = 1;
	while(b) {
		if(b & 1) r = 1ll * r * a % mod;
		a = 1ll * a * a % mod;
		b >>= 1;
	}
	return r;
}

int u[maxn],v[maxn],p[maxn];
int dfn[maxn],low[maxn],belong[maxn],cnt,sta[maxn],top,sz;
int find(int x) {
	return p[x] == x ? x : p[x] = find(p[x]);
}
void tarjan(int u,int id) {
	dfn[u] = low[u] = ++cnt;
	sta[++top] = u;
	for(auto it : g[u]) {
		if(it.sec == id) continue;
		if(!dfn[it.fir]) tarjan(it.fir,it.sec);
		low[u] = min(low[u],low[it.fir]);
	}
	if(dfn[u] == low[u]) {
		sz++;
		do{
			belong[sta[top]] = sz;
		}while(sta[top--] != u);
	}
}

int dp[maxn],tp[maxn],ans;
void dfs(int u,int fa) {
	for(auto it : h[u]) {
		if(it == fa) continue;
		dfs(it,u);
		if(dp[it] + 1 > dp[u]) {
			tp[u] = dp[u];
			dp[u] = dp[it] + 1;
		} else if(dp[it] + 1 > tp[u]) {
			tp[u] = dp[it] + 1;
		}
	}
	ans = max(ans,dp[u] + tp[u]);
}

int main() {
	scanf("%d%d",&n,&m);
	for(int i = 1; i <= m; i++) {
		scanf("%d%d",&u[i],&v[i]);
		g[u[i]].push_back(pii(v[i],i));
		g[v[i]].push_back(pii(u[i],i));
	}
	tarjan(1,0);
	for(int i = 1; i <= n; i++)
		g[i].clear();
	for(int i = 1; i <= sz; i++)
		p[i] = i;
	for(int i = 1; i <= m; i++) {
		int x = belong[u[i]],y = belong[v[i]];
		int fx = find(x),fy = find(y);
		if(fx == fy) continue;
		p[fy] = fx;
		h[x].push_back(y);
		h[y].push_back(x);
	}
	dfs(1,0);
	int res = 1ll * (sz - 1 - ans) * fpow(m + 1,mod - 2) % mod;
	printf("%d\n",res);
	return 0;
}