poj1523SPF(求图的割点)

题目请戳这里

题目大意：给一个网络，求所有割点，并且求出去掉这个割点后原图增加了多少个连通分量。

题目分析：tarjan算法。dfs遍历一遍，求出dfs树（森林），dfn[i]表示点i的访问时间戳，low[i]表示i能追溯到的最早的节点。点i为割点的充要条件是：

1：i为dfs树的根，并且i至少有2个孩子。这个比较好理解，如果i是根并且有2个以上的孩子，那么去掉点i，有多少个孩子就多多少个连通分量。

2：i不是树根，但是存在i的孩子的low[j]>dfn[i]。有几个这样的孩子就多几个连通分量。因为j能追溯到最先访问到的点也不会比i早，那么去掉i后，j和i的祖先就断开了。

trick：给的点不连续，所以从1-1000算。

注意根要特判。

详情请见代码：

#include <iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
const int N = 1005;
bool flag[N][N];
int adj[N][N];
int low[N],dfn[N];
bool vis[N];
int subnets[N];
int dfns;

void dfs(int cur)
{
    int i;
    vis[cur] = true;
    dfn[cur] = low[cur] = dfns ++;
    for(i = 1;i <= adj[cur][0];i ++)
    {
        if(vis[adj[cur][i]] == false)
        {
            dfs(adj[cur][i]);
            low[cur] = min(low[cur],low[adj[cur][i]]);
            if(low[adj[cur][i]] >= dfn[cur])
                subnets[cur] ++;
        }
        else
            low[cur] = min(low[cur],dfn[adj[cur][i]]);
    }
}
void tarjan(int cas)
{
    memset(subnets,0,sizeof(subnets));
    int i;
    dfns = 1;
    for(i = 1;i <= 1000;i ++)
        if(!vis[i])
        {
            subnets[i] --;
            dfs(i);
        }    
    bool ok = false;
    printf("Network #%d\n",cas);
    for(i = 1;i <= 1000;i ++)
    {
        if(subnets[i] > 0)
        {
            ok = true;
            printf("  SPF node %d leaves %d subnets\n",i,subnets[i] + 1);
        }
    }
    if(ok == false)
        puts("  No SPF nodes");
    puts("");
}

int main()
{
    int a,b;
    int cas = 0;
    while(scanf("%d",&a),a)
    {
        memset(flag,false,sizeof(flag));
        memset(adj,0,sizeof(adj));memset(vis,true,sizeof(vis));
        scanf("%d",&b);
        flag[a][b] = flag[b][a] = true;
        vis[a] = vis[b] = false;
        adj[a][++adj[a][0]] = b;
        adj[b][++adj[b][0]] = a;
        while(scanf("%d",&a),a)
        {
            scanf("%d",&b);
            if(flag[a][b] == false)
            {
                flag[a][b] = flag[b][a] = true;
                vis[a] = vis[b] = false;
                adj[a][++adj[a][0]] = b;
                adj[b][++adj[b][0]] = a;
            }
        }
        tarjan(++cas);
    }
    return 0;
}
//5652K	16MS