BZOJ2730: [HNOI2012]矿场搭建（洛谷P3225）

割点

BZOJ题目传送门
洛谷题目传送门

对于每个双连通分量，考虑其内部的割点数：

1.两个割点，这个双连通分量内无论哪个点被删除，都可以通过另一个割点到达另一个双连通分量。所以这个双连通分量内不需要有出口。
2.一个割点，当这个割点被删除时，内部的点就出不去。因此要在除割点外的其他点设置一个出口，方案数$\times n$
3.没有割点，此时如果只设一个出口时，当这个出口被删除时内部的点也出不去。因此要设两个出口，方案数$\times n\cdot(n-1)/2$

所以我们只需要在求出所有割点后，dfs一遍计算每个双连通分量内的割点数和总点数就可以知道答案。

多组数据注意清零。

代码：

#include<cctype>
#include<cstdio>
#include<cstring>
#include<algorithm>
#define N 505
#define F inline
#define mem(x) memset(x,0,sizeof(x))
using namespace std;
typedef long long LL;
struct edge{ int next,to; }ed[N<<1];
int n,m,k,p,t,ti,sum,num,h[N],dfn[N],low[N],v[N];
bool f[N];
F char readc(){
    static char buf[100000],*l=buf,*r=buf;
    if (l==r) r=(l=buf)+fread(buf,1,100000,stdin);
    if (l==r) return EOF; return *l++;
}
F int _read(){
    int x=0; char ch=readc();
    while (!isdigit(ch)) ch=readc();
    while (isdigit(ch)) x=(x<<3)+(x<<1)+(ch^48),ch=readc();
    return x;
}
F void addedge(int x,int y){ ed[++k]=(edge){h[x],y},h[x]=k; }
F void Tarjan(int x,int e){
    low[x]=dfn[x]=++p; int sum=0; bool flag=false;
    for (int i=h[x],v;i;i=ed[i].next)
        if (i!=e)
            if (!dfn[v=ed[i].to]){
                Tarjan(v,i^1),low[x]=min(low[x],low[v]);
                if (low[x]>=dfn[x]) flag=true,sum++;
            }
            else low[x]=min(low[x],dfn[v]);
    if ((!e&&sum>1)||(e&&flag)) f[x]=true;
}
F void dfs(int x){
    v[x]=ti,sum++;
    for (int i=h[x],p;i;i=ed[i].next)
        if (v[p=ed[i].to]!=ti)
            if (!f[p]) dfs(p);
            else num++,v[p]=ti;
}
int main(){
    while ((m=_read())!=0){
        mem(h),mem(dfn),mem(f),mem(v),k=1,p=ti=n=0;
        for (int i=1,x,y;i<=m;n=max(n,max(x,y)),i++)
            x=_read(),y=_read(),addedge(x,y),addedge(y,x);
        for (int i=1;i<=n;i++) if (!dfn[i]) Tarjan(i,0);
        int ans1=0; LL ans2=1;
        for (int i=1;i<=n;i++)
            if (!f[i]&&!v[i]){
                ti++,sum=num=0,dfs(i);
                if (num==1) ans1++,ans2*=sum;
                if (!num) ans1+=2,ans2*=sum*(sum-1)/2;
            }
        printf("Case %d: %d %lld\n",++t,ans1,ans2);
    }
    return 0;
}