HDU-4635-Strongly connected

HDU-4635-Strongly connected

题目大意

给你n个点，m条边的简单有向图，问你最多能加多少边使得这个图不是强连通图（从任意一个节点可以到达其他任意的一个节点）。

解题思路

我们可以先用tarjan进行缩点，将能相互到达的一些点缩成一个，然后我们可以得到多个强连通图，我们可以枚举这些点，让其他所有的连通块成为一个强连通图，然后和这个图不能成为强连通。

代码

#include <bits/stdc++.h>
using namespace std;
#define ll long long
const int mx=100100;

ll cnt,m,n,sum;
int dfn[mx],low[mx];
int col[mx];
ll col_num[mx];
bool vis[mx];
stack<int>st;
vector<int>ve[mx];
int in[mx],out[mx];

void tarjon(int x){
	dfn[x]=low[x]=++cnt;
	vis[x]=1;st.push(x);
	
	for(int v:ve[x]){
		if(!dfn[v]){
			tarjon(v);
			low[x]=min(low[x],low[v]);
		}else if(vis[v]){
			low[x]=min(low[x],dfn[v]);
		}
	}
	if(low[x]==dfn[x]){
		int k;sum++;
		do{
			k=st.top();st.pop();
			vis[k]=0;
			col[k]=sum;
			col_num[sum]++;
		}while(k!=x);
	}
}
 
int main(){
	ios::sync_with_stdio(0);
	int t;cin>>t;
	for(int ca=1;ca<=t;ca++){
		cin>>n>>m;
		for(int i=0,x,y;i<m;i++){
			cin>>x>>y;
			ve[x].push_back(y);
		}
		for(int i=1;i<=n;i++){
			if(!dfn[i]) tarjon(i);
		}
		for(int i=0;i<m;i++){
			for(int j:ve[i]){
				if(col[i]!=col[j]){
					out[col[i]]++;
					in[col[j]]++;
				}
			}
		}
		ll ans=-1;
		ll tem;
		ll x;
		for(int i=1;i<=sum;i++){
// 这里我们只能枚举这些要不独立是一个图的要不是端点的连通块，不能选择
// 入度出度都不为 0 的连通块			
			if(!in[i]||!out[i]){
				x=col_num[i];
				tem=(x-1)*x+(n-x)*(n-x-1);
				tem=tem+(n-x)*x-m;
				ans=max(ans,tem); 
			}
		}
		cout<<"Case "<<ca<<": ";
		if(sum>1)
			cout<<ans<<"\n";
		else cout<<"-1\n";
		for(int i=1;i<=n;i++){
			ve[i].clear();
			dfn[i]=low[i]=0;
			vis[i]=0;
			col[i]=0;
		}
		for(int i=1;i<=sum;i++){
			in[i]=out[i]=0;
			col_num[i]=0;
		}
		cnt=sum=0;
	}
	return 0;
}