例题5.6 井下矿工 LA5135

1.题目描述：点击打开链接

2.解题思路：本题利用BCC的性质解决。本题的图论模型是：在一个无向图上选择尽量少的点涂黑，使得任意删除一个点后，每个连通分量至少有个一黑点。通过尝试可以发现如下的规律：

（1）把割顶涂黑是不划算的，而且在一个点-双连通分量中涂黑2个黑点也是不划算的。

（2）当一个连通分量中只有一个割顶时候才需要涂，而且任选一个非割顶涂黑即可。

（3）当整个图没有割顶时候，此时需要涂黑2个点，方案总数是V(V-1)/2。

本题输入时候有一个细节：需要给每个顶点分配一个编号。这样才能保证所有顶点都是连续的。而且是从0开始的。由于整个图是连通的，因此只需要调用dfs(0,-1)即可。

3.代码：

#include<iostream>
#include<algorithm>
#include<cassert>
#include<string>
#include<sstream>
#include<set>
#include<bitset>
#include<vector>
#include<stack>
#include<map>
#include<queue>
#include<deque>
#include<cstdlib>
#include<cstdio>
#include<cstring>
#include<cmath>
#include<ctime>
#include<cctype>
#include<list>
#include<complex>
#include<functional>
using namespace std;

#define me(s)  memset(s,0,sizeof(s))
#define rep(i,n) for(int i=0;i<(n);i++)
typedef long long ll;
typedef unsigned int uint;
typedef unsigned long long ull;
typedef pair <int,int> P;


const int N=100000+10;
vector<int>g[N];
int pre[N],iscut[N],bccno[N];
vector<int>bcc[N];
struct Edge{int u,v;};
stack<Edge>s;
int dfs_clock,bcc_cnt;

int dfs(int u,int fa)
{
    int lowu=pre[u]=++dfs_clock;
    int child=0;
    for(int i=0;i<g[u].size();i++)
    {
        int v=g[u][i];
        Edge e=Edge{u,v};
        if(!pre[v])
        {
            s.push(e);
            child++;
            int lowv=dfs(v,u);
            lowu=min(lowu,lowv);
            if(lowv>=pre[u])
            {
                iscut[u]=1;
                bcc[++bcc_cnt].clear();
                for(;;)
                {
                    Edge x=s.top();s.pop();
                    if(bccno[x.u]!=bcc_cnt){bcc[bcc_cnt].push_back(x.u);bccno[x.u]=bcc_cnt;}
                    if(bccno[x.v]!=bcc_cnt){bcc[bcc_cnt].push_back(x.v);bccno[x.v]=bcc_cnt;}
                    if(x.u==u&&x.v==v)break;
                }
            }
        }
        else if(pre[v]<pre[u]&&v!=fa)
        {
            s.push(e);
            lowu=min(lowu,pre[v]);
        }
    }
    if(fa<0&&child==1)iscut[u]=0;
    return lowu;
}

void find_bcc()
{
    dfs_clock=bcc_cnt=0;
    memset(pre,0,sizeof(pre));
    memset(iscut,0,sizeof(iscut));
    memset(bccno,0,sizeof(bccno));
    dfs(0,-1);
}

struct ID  //给每个顶点按顺序分配编号
{
    map<int,int>m;
    int cnt;
    ID():cnt(0){}
    int get(int x)
    {
        if(!m.count(x))m[x]=cnt++;
        return m[x];
    }
};

int main()
{
    int n;
    int kase=0;
    while(~scanf("%d",&n)&&n)
    {
        int u,v;
        me(g);
        ID id;
        for(int i=0;i<n;i++)
        {
            scanf("%d%d",&u,&v);
            u=id.get(u);v=id.get(v);
            g[u].push_back(v);
            g[v].push_back(u);
        }
        find_bcc();
        ll ans1=0,ans2=1;
        for(int i=1;i<=bcc_cnt;i++)
        {
            int cut_cnt=0;
            for(int j=0;j<bcc[i].size();j++)
                if(iscut[bcc[i][j]])cut_cnt++;
            if(cut_cnt==1)
            {
                ans1++;
                ans2*=(ll)(bcc[i].size()-cut_cnt);
            }
        }
        if(bcc_cnt==1) //注意特判！
            ans1=2,ans2=bcc[1].size()*(bcc[1].size()-1)/2;
        printf("Case %d: %lld %lld\n",++kase,ans1,ans2);
    }
}