最近在学图论相关的内容，阅读这篇博客的前提是你已经基本了解了Tarjan求点双。

由割点的定义（删去这个点就可使这个图不连通）我们可以知道，坍塌的挖煤点只有在割点上才会使这个图不连通，而除了割点的其他点上则无可厚非，所以我们只需要考虑这个图的割点的情况。

那么我们就可以求出所有的点双连通分量， 如果这个点双仅有一个割点，那么这个割点坍塌后这个点双就被“孤立”了，所以需要在这个点双里设置一个救援出口。

那么这个点双如果包含多个割点呢？假设它的其中一个割点坍塌了，它还可以从另外几个割点出去。
所以我们只需要判断有几个点双只有一个割点，便是我们要设置的救援出口的数量。

有的同学可能要问了，如果所有点双都有多个割点呢?这种情况是不存在的，因为如果这样所有点双都变得联通了，也就不存在点双了。

关于方案的总数，只需要运用乘法原理。需要注意的是如果整个图就是一个点双，那么救援出口应该是两个，方案数是节点数\(n\),\(n*(n-1)/2\)。

代码

#include <iostream>
#include <vector>
#include <stack>
#include <cstring>
#include <cstdio>
using namespace std;

#define N 510
#define LL long long

LL vis[N],ans1,ans2=1,bcc[N],n,m,num,cntd,DFN[N],IsCut[N],low[N],belong[N];
vector <LL> G[N];
vector <LL> vecd[N];

struct edge {
    int u,v;
    edge() {};
    edge(int U,int V) {u=U;v=V;}
};

stack <edge> st;

LL read() {
    LL f=1,s=0;char a=getchar();
    while(!(a>='0'&&a<='9')) { if(a=='-') f=-1 ; a=getchar(); }
    while(a>='0'&&a<='9') { s=s*10+a-'0'; a=getchar();}
    return f*s;
}

void init() {
    memset(bcc,0,sizeof(bcc));
    memset(DFN,0,sizeof(DFN));
    memset(vis,0,sizeof(vis));
    memset(IsCut,0,sizeof(IsCut));
    memset(belong,0,sizeof(belong));
    memset(low,0,sizeof(low));
    for(int i=1;i<=N;i++) G[i].clear(),vecd[i].clear();
    for(LL i=1,u,v;i<=m;i++) {
            u=read();v=read();
            vis[u]=vis[v]=1;
            G[u].push_back(v);
            G[v].push_back(u);
        }
    ans1=cntd=0;
    ans2=1;
}


void Tarjan(LL u,LL fa) {
    LL child=0;
    DFN[u]=low[u]=++num;
    for(LL i=0;i<G[u].size();i++) {
        LL v=G[u][i];
        if(!DFN[v]) {
            child++;
            st.push( edge(u,v) );
            Tarjan(v,u);
            if(low[v]>=DFN[u]) {
                IsCut[u]=1;
                cntd++;
                for(;;) {
                    edge x=st.top();st.pop();
                    if(belong[x.u] != cntd) {vecd[cntd].push_back(x.u); belong[x.u] = cntd;}
                    if(belong[x.v] != cntd) {vecd[cntd].push_back(x.v); belong[x.v] = cntd;}
                    if(x.u == u && x.v == v) break;
                }
            }
            low[u]=min(low[u],low[v]);
        }
        else if(DFN[u]>DFN[v] && v!=fa)
            low[u]=min(low[u],DFN[v]);
    }
    if(fa<0 && child==1)
        IsCut[u]=0;
}

int main() {
    int flag=0;
    while(cin>>m && m) {
        init();
        flag++;
        for(int i=1;vis[i];i++)
            if(!DFN[i])
                Tarjan(i,-1);
        for(LL i=1;i<=cntd;i++) {
            for(int j=0;j<vecd[i].size();j++)
                if(IsCut[vecd[i][j]]) bcc[i]++;//bcc统计第i个点双的割点数量
                if(bcc[i]==1){  //仅有一个割点，统计答案
                    ans1++;
                    ans2*=(vecd[i].size()-1);//乘法原理
                }
        }
        LL siz=vecd[1].size();
        if(!ans1) cout<<"Case "<<flag<<": "<<"2"<<' '<<siz*(siz-1)/2<<endl;//特判原图是不是点双
        else cout<<"Case "<<flag<<": "<<ans1<<' '<<ans2<<endl;
    }
}