Solution
先
t
a
r
j
a
n
tarjan
tarjan 求点双。
对于每一个连通块,如果其中没有割点,则说明需要在其中建立两个出口;只有一个割点,那么就需要在非割点处选一个建立出口;如果有大于等于两个割点,则不需要建立出口
Code
#include <cstdio>
#include <cstring>
#include <stack>
#include <vector>
#include <algorithm>
using namespace std;
#define N 1010
#define ll long long
int n,m,k,dcc=0,num=0,tot=0,h[N],cut[N],low[N],dfn[N];
vector<int>a[N];
stack<int>q;
struct node{int to,next;}mp[N];
inline void insert(int x,int y){
mp[++num].to=y;mp[num].next=h[x];h[x]=num;
mp[++num].to=x;mp[num].next=h[y];h[y]=num;
}
inline void tarjan(int x,int fa){
dfn[x]=low[x]=++tot;q.push(x);int sz=0;
for(int i=h[x];i;i=mp[i].next){
int y=mp[i].to;if(y==fa) continue;
if(!dfn[y]){
tarjan(y,x);
low[x]=min(low[x],low[y]);
sz++;
if(!fa){
++dcc;
while(1){
int z=q.top();q.pop();
a[dcc].push_back(z);
if(z==y) break;
}a[dcc].push_back(x);continue;
}if(low[y]>=dfn[x]){
++dcc;
while(1){
int z=q.top();q.pop();
a[dcc].push_back(z);
if(z==y) break;
}a[dcc].push_back(x);cut[x]=1;
}
}else low[x]=min(low[x],dfn[y]);
}
if(!fa && sz>1) cut[x]=1;
if(!fa) q.pop();
}
int main(){
freopen("a.in","r",stdin);
for(int _=1;;_++){
scanf("%d",&m);if(!m) break;
memset(h,0,sizeof(h));
memset(cut,0,sizeof(cut));
memset(dfn,0,sizeof(dfn));
num=0;tot=0;dcc=0;
for(int i=1;i<=m;i++){
int x,y;scanf("%d%d",&x,&y);
insert(x,y);
n=max(n,x);n=max(n,y);
}
for(int i=1;i<=n;i++) if(!dfn[i]) tarjan(i,0);
ll ans=1;int cnt=0;
for(int i=1;i<=dcc;i++){
int tmp=0;
for(int j=0;j<a[i].size();j++) tmp+=cut[a[i][j]];
if(!tmp){
ans*=(a[i].size()-1)*a[i].size()/2;
cnt+=2;
}
if(tmp==1){cnt++;ans*=a[i].size()-1;}
}
printf("Case %d: %d %lld\n",_,cnt,ans);
for(int i=1;i<=dcc;i++) a[i].clear();
}
return 0;
}