[HNOI2012]矿场搭建

                                                   [HNOI2012]矿场搭建

【题目描述】

煤矿工地可以看成是由隧道连接挖煤点组成的无向图。为安全起见，希望在工地发生事故时所有挖煤点的工人都能有一条出路逃到救援出口处。于是矿主决定在某些挖煤点设立救援出口，使得无论哪一个挖煤点坍塌之后，其他挖煤点的工人都有一条道路通向救援出口。请写一个程序，用来计算至少需要设置几个救援出口，以及不同最少救援出口的设置方案总数。

【输入格式】

输入文件有若干组数据，每组数据的第一行是一个正整数 N（N≤500），表示工地的隧道数，接下来的 N 行每行是用空格隔开的两个整数 S 和 T，表示挖煤点 S 与挖煤点 T 由隧道直接连接。输入数据以 0 结尾。

【输出格式】

输入文件中有多少组数据，输出文件 output.txt 中就有多少行。每行对应一组输入数据的 结果。其中第 i 行以 Case i: 开始（注意大小写，Case 与 i 之间有空格，i 与:之间无空格，: 之后有空格），其后是用空格隔开的两个正整数，第一个正整数表示对于第 i 组输入数据至少需 要设置几个救援出口，第二个正整数表示对于第 i 组输入数据不同最少救援出口的设置方案总 数。输入数据保证答案小于 2^64。输出格式参照以下输入输出样例。

【样例输入】

 9                      

 1  3                    

 4  1

 3  5

 1  2

 2  6

 1  5

 6  3

 1  6

 3  2

 6

 1  2

 1  3

 2  4

 2  5

 3  6

 3  7

 0 

【样例输出】

Case 1: 2 4

Case 2: 4 1

【提示】

Case 1 的四组解分别是(2,4),(3,4),(4,5),(4,6)；

Case 2 的一组解为(4,5,6,7)。

比较明显的tarjan求割点

一开始我想错了 以为挖煤点随便塌，数量不限。。

回到正题，既然是要在任意一个挖煤点塌了之后可以跑到救援点 

那这救援点一定不能放在割点上 要不你就哭去吧

那就显然求出所有割点 再求其他连通块

显然有这样的结论：

1丶全图无割点 只有一个连通块 那就随意放两个救援点

因为万一塌了一个救援点 你还有另一个嘛 方案数C(n,2);

2丶一个连通块连着一个割点，在连通块中放一个救援点 

此连通块中的任意一个点都可以放，根据乘法原理方案数=原方案数*连通块的点数

3丶一个连通块连着两个或以上的割点 那就不用安放救援点 

因为路有多条 塌了一个割点 还有其他路可走

#include <cctype>
#include <cstdio>
#include <cstring>

typedef long long LL;

const int MAXN=20010;

int m,n,id,top,inr,opt,cnt;

int dfn[MAXN],low[MAXN],stack[MAXN],cut[MAXN],belong[MAXN],siz[MAXN],c[MAXN];

bool vis[MAXN];

LL ans;

struct node {
    int to;
    int next;
    node(){}
    node(int to,int next):to(to),next(next){}
};
node e[MAXN];

int head[MAXN],tot;

inline void read(int&x) {
    int f=1;register char c=getchar();
    for(x=0;!isdigit(c);c=='-'&&(f=-1),c=getchar());
    for(;isdigit(c);x=x*10+c-48,c=getchar());
    x=x*f;
}

inline void clear() {
    tot=0;top=0;inr=0;id=0;cnt=0;ans=1;n=0;
    memset(c,0,sizeof c);
    memset(dfn,0,sizeof dfn);
    memset(vis,0,sizeof vis);
    memset(low,0,sizeof low);
    memset(cut,0,sizeof cut);
    memset(siz,0,sizeof siz);
    memset(head,-1,sizeof head);
    memset(belong,0,sizeof belong);
}

struct RUNNING {
    int min(int a,int b) {return a<b?a:b;}
    
    void add(int x,int y) {
        e[++tot]=node(y,head[x]);
        head[x]=tot;
        e[++tot]=node(x,head[y]);
        head[y]=tot;
    }
    
    void tarjan(int u,int fa) {
        dfn[u]=low[u]=++inr;
        stack[++top]=u;
        vis[u]=true;
        int x=0;
        for(int i=head[u];i!=-1;i=e[i].next) {
            int v=e[i].to;
            if(v==fa) continue;
            if(!dfn[v]) {
                ++x;
                tarjan(v,u);
                low[u]=min(low[u],low[v]);
                if(dfn[u]<=low[v]) cut[u]=1;
            }
            else if(vis[v]) low[u]=min(low[u],dfn[v]);
        }
        if(fa==-1&&x<=1) cut[u]=0;
    }
    
    void Dfs(int u) {
        vis[u]=true;++siz[id];
        for(int i=head[u];i!=-1;i=e[i].next) {
            int v=e[i].to;
            if(vis[v]) continue;
            if(!cut[v]) Dfs(v);
            else if(belong[v]!=id) {
                belong[v]=id;
                ++c[id];
            }
        }
    }
    
} yf;

int hh() {
    freopen("bzoj_2730.in","r",stdin);
    freopen("bzoj_2730.out","w",stdout);
    while(true) {
        read(m);
        if(!m) break;
        clear();
        for(int x,y;m--;) {
            read(x);read(y);
            yf.add(x,y);
            if(x>n) n=x;
            if(y>n) n=y;
        }
        for(int i=1;i<=n;++i)
          if(!dfn[i]) yf.tarjan(i,-1);
        memset(vis,false,sizeof vis);
        for(int i=1;i<=n;++i) 
          if(!cut[i]&&!vis[i]) ++id,yf.Dfs(i);
        if(id==1) cnt=2,ans=(LL)n*(n-1)/2;
        else {
            for(int i=1;i<=id;++i)
              if(c[i]==1) ++cnt,ans=(LL)ans*siz[i];
        }
        printf("Case %d: %d %lld
",++opt,cnt,ans);
    }
    return 0;
}

int sb=hh();
int main(int argc,char**argv) {;}