HDU3394 Railway 求块 判断环

对于我来说真是一道好题，一开始纠结为缩点跟求块，最后还是一个8字形的图no了我一下。

/*
*State: HDU3394 328MS 2052K 1918 B C++ 
题意描述：
*        公园有n个景点，公园的管理员计划要建m条道路，并且安排一
*        些形成回路的参观路径，如果一条道路可以被多条回路共用，
*        那么这条边是冲突边，如果不能形成环的路则为不需要的边，
*        现在就是求无向图中冲突边和不需要边的条数
*解题思路：
*        把图分为多个块，然后判断每个块里面的边数，如果块的边数
*        等于块的点数，那么该块只有一个环，如果块的边数大于块的
*        点数，那么这个块中有多个环，并且这个块中的每条边都是多
*        个环里面的一部分。
*
*
*问题困惑：在一个没有连通分量的无向图中，带环的块一定是由一个只
*        有两个点的块相连着的，对不对？第一次求块，缩过点，求过
*        桥跟割边，但是想不到求块居然会遇到这么多麻烦，不过原因
*        就是求块的过程中，遇到了从不一样的栈弹出。至于为什么不能
*        放里面。还是个疑问。懂了，画个图就知道，如果弹到u，有可能
*        别的块也被弹出来了，结果错，必须弹到v为止，才是最干净的。
*/

#include <iostream>
#include <vector>
using namespace std;

const int MAXN = 10015;
vector<int> vec[MAXN];
int myS[MAXN], top;
int dfn[MAXN], low[MAXN], step;
int block[MAXN];

//deal_cricle
int vst[MAXN], inBlock[MAXN];
int sol1, sol2;

void addEdge(int u, int v)
{
    vec[u].push_back(v);
    vec[v].push_back(u);
}

void init()
{
    sol1 = sol2 = 0;
    step = top = 0;
    for(int i = 0; i < MAXN; i++)
    {
        myS[i] = 0;
        vec[i].clear();
        dfn[i] = low[i] = -1;
    }
}

void deal_circle()
{
    int edgeNum = 0;
    memset(vst, 0, sizeof(vst));
    memset(inBlock, 0, sizeof(inBlock));

    for(int i = 1; i <= block[0]; i++)
    {
        inBlock[block[i]] = 1;
    }

    for(int i = 1; i <= block[0]; i++)
    {
        int u = block[i];
        for(unsigned j = 0; j < vec[u].size(); j++)
        {
            int v = vec[u][j]; 
            if(inBlock[v] == 1)
                edgeNum++;
        }
    }
    edgeNum /= 2;
    if(edgeNum > block[0])
        sol2 += edgeNum;
    if(edgeNum < block[0])
        sol1 += edgeNum;
}

void tarjan_block(int n)
{
    dfn[n] = low[n] = ++step;
    myS[top++] = n;
    for(unsigned i = 0; i < vec[n].size(); i++)
    {
        int son = vec[n][i];
        if(dfn[son] == -1)
        {
            tarjan_block(son);
            low[n] = min(low[n], low[son]);
            if(low[son] >= dfn[n])
            {
                block[0] = 0;
                
                while(1)
                {
                    block[++block[0]] = myS[top - 1];
                    if(myS[--top] == son)
                        break;
                }
                block[++block[0]] = n;
                deal_circle();
            }
        }
        else
            low[n] = min(low[n], dfn[son]);
    }
}

int main(void)
{

#ifndef ONLINE_JUDGE
    freopen("in.txt", "r", stdin);
#endif

    int n, m;
    while(scanf("%d %d", &n, &m) != EOF)
    {
        if(n == 0 && m == 0)
            break;

        init();
        int u, v;
        for(int i = 0; i < m; i++)
        {
            scanf("%d %d", &u, &v);
            addEdge(u, v);
        }

        for(int i = 0; i < n; i++)
        {
            if(dfn[i] == -1)
                tarjan_block(i);
        }

        printf("%d %d\n", sol1, sol2);
    }
    return 0;
}