本文共 2994 字，大约阅读时间需要 9 分钟。

Tarjan(割点) - Electricity - POJ 2117

题意：

给定一个由 n 个点 m 条边构成的无向图，请你求出该图删除一个点之后，连通块最多有多少。

输入格式

输入包含多组数据。

每组数据第一行包含两个整数 n,m。

接下来 m 行，每行包含两个整数 a,b，表示 a,b 两点之间有边连接。

数据保证无重边。

点的编号从 0 到 n−1。

读入以一行 0 0 结束。

输出格式

每组数据输出一个结果，占一行，表示连通块的最大数量。

数据范围

$1\le n\le 10000,0\le m\le 15000,0\le a,b<n$

输入样例：

3 30 10 22 14 20 12 33 11 00 0

输出样例：

122

分析：

$目标即在所有连通分量中选择一个割点，使得删除该点后分出的连通块数量最多。$

如何判断割点：

$条件：dfn[u]\le low[j]。$

$①、若u不是根节点，删除u以后，u的父节点所在连通块与孩子节点所在连通块将分成多个部分。此时u是割点。$

$情况①如下图：$

$②、若u是根节点，那么u至少有两个孩子，才能确保u是割点。若u仅有一个孩子，删去u后，连通分量数量不增加。$

$情况②如下图：$

对条件的说明：

$dfn[u]\le low[j]。$

$等号是可以取的。取等时u与j或j的孩子之间形成环，删去u仍然会与j分开。$

$dfn][u]>low[j]时，即u在环的内部，删去u就不能够增加连通分量的数量。$

具体步骤：

$这样我们对于连通块中的每个点u，统计满足dfn[u]\le low[j]的孩子j的数量。$

$有一个j，就能够多分出一个孩子连通分量。$

$注意，若u不是根节点，最后还需要增加一个父节点所在的连通分量。$

$用全局变量ans来更新去除每个点能够分出的连通块数量的最大值。$

$记连通块总数初始为cnt，最大答案为ans+(cnt-1)。$

代码：

#include
   
    #include
    
     #include
     
      using namespace std;const int N=10010, M=30010;int n,m;int e[M],ne[M],h[N],idx;int dfn[N],low[N],timestamp;int root,ans;void add(int a,int b){       e[idx]=b,ne[idx]=h[a],h[a]=idx++;}void tarjan(int u){       dfn[u]=low[u]=++timestamp;    int res=0;  //统计割点能够将连通块分成几部分    for(int i=h[u];~i;i=ne[i])    {           int j=e[i];        if(!dfn[j])        {               tarjan(j);            low[u]=min(low[u],low[j]);            if(low[j]>=dfn[u]) res++;        }        else low[u]=min(low[u],dfn[j]);    }        if(u!=root) res++;        ans=max(ans,res);}int main(){       while(~scanf("%d%d",&n,&m),n||m)    {           memset(h,-1,sizeof h);        memset(dfn,0,sizeof dfn);        idx=0,ans=0,timestamp=0;                int a,b;        for(int i=0;i
     
    
   

转载地址：http://jaor.baihongyu.com/