割点:删除该点和相关边,原来的连通图能变得不连通的点
求法:
当节点i是根(搜索起点)时,只要它的孩子多于两个,那么它就是割点,不用考虑形成环的情况,因为在遍历另一个形成环的点的孩子时,就已经从第一个形成环的孩子遍历到了它
当节点i不是根的时候,它的孩子是j,当dfn[i]>=low[j]时,就是割点,因为当dfn[i]小于low[j]时,j可以回溯到i的祖先,就一定形成了包括i在内的环,所以i就不是割点
如图1
做法就是先跑一遍 tarjan 然后记录每个点的前置节点,遍历每个点,统计根的子树个数,再判断每个点dfn[i]>=low[j]
#include <iostream>
#include <cstdio>
#include <cmath>
#include <cstring>
#include <algorithm>
#include <vector>
#define maxn 110
using namespace std;
int vis[maxn];
int dfn[maxn];
int low[maxn];
int s[maxn];
int pre[maxn];
int dfncnt=0;
int top=0;
int cnt=0;
int col[maxn];
int colcnt=0;
int head[maxn];
int ans=0;
int siz[maxn];
struct node
{
int to,next;
}e[20010];
void tarjan(int x,int fx)
{
dfn[x]=++cnt;
low[x]=dfn[x];
pre[x]=fx;
int flag=0;
for(int i=head[x];i!=-1;i=e[i].next)
{
int to=e[i].to;
if(!dfn[to])
{
tarjan(to,x);
low[x]=min(low[x],low[to]);
}
else if(to!=fx) low[x]=min(low[x],dfn[to]);
}
}
void add(int a,int b)
{
e[cnt].to=b;
e[cnt].next=head[a];
head[a]=cnt++;
}
void init(int n)
{
memset(vis,0,sizeof(vis));
memset(s,0,sizeof(s));
memset(head,-1,sizeof(head));
memset(col,0,sizeof(col));
memset(dfn,0,sizeof(dfn));
memset(low,0,sizeof(low));
cnt=0;
top=0;
dfncnt=0;
colcnt=0;
ans=0;
}
int main()
{
int m,n;
int a,b;
char tmp;
while(scanf("%d",&n)==1)
{
if(n==0)break;
init(n);
while(scanf("%d", &a), a)
{
while(scanf("%d%c", &b, &tmp))
{
add(a,b);
add(b,a);
if(tmp=='\n')break;
}
}
bool flag=1;
tarjan(1,-1);
int offspring=0;
for(int i=2;i<=n;i++)
{
if(pre[i]==1)offspring++;
else if(dfn[pre[i]]<=low[i])vis[pre[i]]=1;
}
if(offspring>1)ans++;
for(int i=2;i<=n;i++)
{
if(vis[i])ans++;
}
printf("%d\n",ans);
}
return 0;
}