Gym - 101480J[判環+Hash]

題目鏈接:https://vjudge.net/problem/Gym-101480J

 

解題思路:

因爲度最多爲3所以流量最多不超過3

對於在同一個連通塊上:flow ==1

對於在同一個環上(可以看做有向圖強連通):flow == 2

對於某一個點對，刪除任意一條邊他們還是在同一個環上，說明去掉一個流量他們的流量還是2，所以這種情況:flow == 3

對於第三種情況可以枚舉每條邊，然後跑tarjan，再給他們Hash一下，保證只有每次都相同最後的結果纔是一樣的。

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
const int mx = 3e3 + 10;
const ull base = 113;
int n,m,tot,head[mx];
ull be[mx];
int dfn[mx],id[mx],q[mx],is,siz;
bool vis[mx],no[mx*2];
struct node
{
	int v,nxt;
}e[mx*5];
void add(int u,int v){
	e[tot] = {v,head[u]};
	head[u] = tot++;
	e[tot] = {u,head[v]};
	head[v] = tot++;
}
void dfs(int u,int c){
	if(be[u]) return ;
	be[u] = c;
	for(int i=head[u];~i;i=e[i].nxt)
	dfs(e[i].v,c);
}
void tarjan(int u,int fa){
	dfn[u] = id[u] = ++is;
	vis[u] = 1;
	q[++siz] = u;
	for(int i=head[u];~i;i=e[i].nxt){
		if(i==(fa^1)||no[i>>1]) continue;
		int v = e[i].v;
		if(!dfn[v]){
			tarjan(v,i);
			id[u] = min(id[u],id[v]);
		}else if(vis[v])
		id[u] = min(id[u],dfn[v]);
	}
	if(id[u]==dfn[u]){
		do{
			vis[q[siz]] = 0;
			be[q[siz]] = be[q[siz]]*base + u; 
		}while(q[siz--]!=u);
	}
}
void cal(int& ans){
	for(int i=1;i<=n;i++){
		for(int j=i+1;j<=n;j++)
		if(be[i]==be[j]) ans++;
		be[i] = 0;
	}	
}
int main(){
	scanf("%d%d",&n,&m);
	int u,v;
	memset(head,-1,sizeof(head));
	for(int i=0;i<m;i++){
		scanf("%d%d",&u,&v);
		add(u,v);
	}
	for(int i=1,c=0;i<=n;i++)
	if(!be[i]) dfs(i,++c);
	int ans = 0;
	cal(ans);
	for(int i=1;i<=n;i++) if(!dfn[i])
	tarjan(i,-1);
	cal(ans);
	for(int i=0;i<m;i++){
		no[i] = 1,is = 0;
		for(int j=1;j<=n;j++) dfn[j] = 0;
		for(int j=1;j<=n;j++) if(!dfn[j])
		tarjan(j,-1);	
		no[i] = 0;
	}
	cal(ans);
	printf("%d\n",ans);
    return 0;
}