luogu题解 P3388 【【模板】割点（割顶）】

外加定义：在一个无向图中，如果删掉点 x 后图的连通块数量增加，则称点 x 为图的割点。

外加图示

开始思路为割桥上的点为割点，后来证明的确正确。
不过可惜的是他的逆定理错了（gg了），不过数据很弱以至于得了90分。

如图所示

图中无割桥，但点3却是割点，貌似无法解决。

（顺及客串my blog
，以及图论的必要工具

回归正题，另一种思路诞生了：
如果u点的子节点为v，v点他能返回的最老祖先比u点年轻或一样（即dfn[u]值<=low[v]），那么如果删去u点，那么v以下的点就会与v以上的点失去联系，就会产生新的连通块（实质是在我的原来思路上多了一个判断

也就是说如果在我们的搜索树上有一个点只有树边与祖先相连，而没有反向边连回祖先节点的话，那么它就是割点。就是没有这样的边

至于实现方法貌似蒟蒻所知只有Tarjan。

这道题是模板题，大家还是不要抄代码为好。（事关今后的Tarjan生涯）

代码

#include<cstdio>
#include<algorithm>
#include<stack>
#include<cstring>
#define Max 1000000+199
using namespace std;
int n,m,dfn[Max]={0},low[Max],cast[Max],ins[Max],inx=0,head[Max],v[Max]={0},cnt=0,gs=0,cd[Max]={0};
stack<int> s;
struct edge
{
    int c,to,next;
}e[Max];
void adde(int a,int b)
{
    cnt++;
    e[cnt].to=b;
    e[cnt].c=a;
    e[cnt].next=head[a];
    head[a]=cnt;
    cd[a]++;
}
int ans=0,gd[Max]={0};
void tarjan(int x,int fa)
{
    int u,sk=0;
    inx++;
    dfn[x]=low[x]=inx;
    s.push(x);
    ins[x]=1;
    for(int i=head[x];~i;i=e[i].next)
    {
        u=e[i].to;
        if(dfn[u]==0)
        {
            tarjan(u,fa);
            if(low[u]>=dfn[x]&&x!=fa)gd[x]=1;
            v[i]=v[i%2==0?i-1:i+1]=1;
            low[x]=min(low[x],low[u]);
            if(x==fa)sk++;
        }
        else if(ins[u]==1&&v[i]==0)v[i]=v[i%2==0?i-1:i+1]=1,low[x]=min(low[x],dfn[u]);
    }
    if(dfn[x]==low[x])
    {
        gs++;
        u=Max;
        while(u!=x)
        {
            u=s.top();
            s.pop();
            ins[u]=0;
            cast[u]=gs;
            //printf("%d %d\n",u,gs);
        }

    }
    if(x==fa&&sk>=2)gd[x]=1;
}
int main()
{
    memset(cd,0,sizeof(cd));
    memset(head,-1,sizeof(head));
    scanf("%d%d",&n,&m);
    for(int i=1;i<=m;i++)
    {
        int a,b;
        scanf("%d%d",&a,&b);
        adde(a,b);
        adde(b,a);
        //printf("%d",v[i]);
    }
    for(int i=1;i<=n;i++)
    if(dfn[i]==0)tarjan(i,i);
    for(int i=1;i<=n;i++)
    {
        if(gd[i]==1)ans++;
    }
    printf("%d\n",ans);
    for(int i=1;i<=n;i++)
    {
        if(gd[i]==1)printf("%d ",i);
    }
    return 0;
}

原文地址：https://www.cnblogs.com/zwp2004/p/10346599.html