题目链接：http://acm.hust.edu.cn/vjudge/problem/viewProblem.action?id=27016
题意：求一个连通图去掉任意一个点以及与它相连的边，图中的所有蚂蚁可以通过某些点中建造的矿井逃到地面，求最少要在图中的几个点中建造矿建，这样建造矿井的方案的总数。
思路：首先求点双连通分量，标记割点，然后我们可以分析，若一个连通分量中有且仅有一个割点，那么除了这个割点之外，别的点都能造矿井，且只需在除了这个割点之外的某个点上造一座矿井就可以了（假设破话的是这个割点，那么这个连通分量中的蚂蚁可以通过有矿井的点逃到表面，但是如果矿井恰好造在割点上，那么一旦去掉了割点之后，蚂蚁就无法逃到地面上去了（这就是为什么不选割点的原因）。至于为什么别的点可以呢，假设破话的点恰好就是有矿井的这个点，那么这个连通分量中的蚂蚁可以通过割点跑到别的点双连通分量中逃生）。然后我们就只需要找有且只有一个割点的点双连通分量有多少个就行了，然后在每个连通分量中选择任何一个不是割点的点建造矿井就行了，至于有多少种方案，也就好求了，直接连通分量的点的个数（除去割点）相乘即可。然后我想说一下为什么对于那些点连通分量中割点大于等于2的就不用选呢，其实我们画一下图就知道了，因为破话这个连通分量的任何一个点以及与它相连的边，这个连通分量的中蚂蚁还是可以通过其中一个割点跑到另一个连通分量中去逃生。这样我们就得到了割点数目等于1和大于等于2的情况，那么对于图中没有割点的情况我们应该怎么选，这也好办，画个图就明白了，只需任选两个点建造矿井就可以了，当破话了某个有矿井的点之后，蚂蚁可以通过另一个有矿井的点逃生，那么总的方案数为n*(n-1)/2。
#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<stack>
#include<queue>
#include<vector>
using namespace std;
#define MAXN 22222
typedef long long ll;
typedef unsigned long long llu; struct Edge{
int v,next;
}edge[MAXN<<]; int n,m,NE;
int head[MAXN]; void Insert(int u,int v)
{
edge[NE].v=v;
edge[NE].next=head[u];
head[u]=NE++;
} int cnt,bcc_count,cut_count;
int low[MAXN],dfn[MAXN];
vector<vector<int> >blocks;
bool mark[MAXN];
bool is_cutpoint[MAXN];
stack<int>S; void Tarjan(int root,int u,int father)
{
int rt_son=;
low[u]=dfn[u]=++cnt;
mark[u]=true;
S.push(u);
for(int i=head[u];i!=-;i=edge[i].next){
int v=edge[i].v;
if(v==father)continue;
if(dfn[v]==){
Tarjan(root,v,u);
low[u]=min(low[u],low[v]);
if(u==root)rt_son++;
if(low[v]>=dfn[u]){
int x;
do{
x=S.top();
S.pop();
mark[x]=false;
blocks[bcc_count].push_back(x);
}while(v!=x);
blocks[bcc_count].push_back(u);
bcc_count++;
if(u!=root)is_cutpoint[u]=true;
}
}else if(mark[v]){
low[u]=min(low[u],dfn[v]);
}
}
if(u==root&&rt_son>=)is_cutpoint[u]=true;
} int main()
{
int _case,u,v,t=;
scanf("%d",&_case);
while(_case--){
scanf("%d%d",&n,&m);
NE=;
memset(head,-,sizeof(head));
blocks.clear();
blocks.resize(n+);
while(!S.empty())S.pop();
while(m--){
scanf("%d%d",&u,&v);
Insert(u,v);
Insert(v,u);
}
cnt=bcc_count=;
memset(mark,false,sizeof(mark));
memset(is_cutpoint,false,sizeof(is_cutpoint));
memset(dfn,,sizeof(dfn));
Tarjan(,,-);
ll ans=;
llu ways=;
int cut_count=;
for(int i=;i<n;i++)if(is_cutpoint[i])cut_count++;
if(cut_count==){
printf("Case %d: %d %d\n",t++,,n*(n-)/);
continue;
}
for(int i=;i<bcc_count;i++){
cnt=;
for(int j=;j<blocks[i].size();j++){
int v=blocks[i][j];
if(is_cutpoint[v])cnt++;
}
if(cnt<){
ans++;
ways*=(llu)(blocks[i].size()-);
}
}
printf("Case %d: %lld %llu\n",t++,ans,ways);
}
return ; }