HDU - 3594 Cactus【强连通分量+一条边只能在一个环内】

HDU - 3594入口

题意：判断题目中给出的图是否符合，这图只有一个强连通分量 ，一条边只能出现在一个环里。

分析：判断只有一个连通分量用Tarjan算法就可以。关键是第二个。我们把对边的判断转化为对点的记录，在tarjan深搜的过程中，使用fa数组记录一下搜索的过程，即每个节点的父子关系，当我们发现一条回边的时候，我们从这个点使用fa向前追溯，追溯过程中建立一个数组记录每个节点的情况，只要这个点处于一个环里，就给它加1，如果这个点的值大于1，也就意味着有这个点同时属于两个环，同时意味着有一条边同时属于两个环。在判断一个点是否同时属于两个环的时候，环的汇聚点是不可以判断的！汇聚点完全可以属于两个环，但是却没有边同时属于两个环。所以汇聚点不加1.在追随过程中不要修改u和v的值，否则会出现强连通分量的判断错误。

#include<cstdio>
#include<iostream>
#include<cstring>
#include<algorithm>
#include<vector>
#include<queue>
using namespace std;
const int INF=0x3f3f3f3f;
const int N=50010;
const int M=30100;
bool insta[N];
int head[N],dfn[N],low[N],sta[N],belong[N],du[N],fa[N],num[N];
int nu,top,tot,sent,n,m,fans;
struct edge
{
    int from,to,nex;

}e[M];
void add(int from,int to)
{
    e[nu].from=from;
    e[nu].to=to;
    e[nu].nex=head[from];
    head[from]=nu++;
}
void tarjan(int x)
{
    low[x]=dfn[x]=++tot;
    sta[top++]=x;
    insta[x]=true;
    for(int i=head[x];i!=-1;i=e[i].nex)
    {
        int y=e[i].to;
        if(!dfn[y])
        {
            fa[y]=x;
            tarjan(y);
            low[x]=min(low[x],low[y]);
        }
        else if(insta[y])
        {  if(dfn[y]<low[x])
            low[x]=dfn[y];
            int tem=x;
            while(fa[tem]!=y)
            {
              num[tem]++;
            if(num[tem]>1)
            {
                fans=false;
                return;
            }
             tem=fa[tem];
            }
        }
    }
    if(low[x]==dfn[x])
    {
        int t;
        sent++;
        do
        {
            t=sta[--top];
            insta[t]=false;
            belong[t]=sent;
        }while(t!=x);
    }
}
void init()
{
    nu=1;
    memset(head,-1,sizeof(head));
    memset(dfn,0,sizeof(dfn));
    memset(insta,false,sizeof(insta));
    memset(du,0,sizeof(du));
    memset(num,0,sizeof(num));
}
void solve()
{   sent=top=tot=0;
    for(int i=1;i<=n;i++)
        if(!dfn[i])
        tarjan(i);
}
int main()
{
    int TA,x,y;
    scanf("%d",&TA);
    while(TA--)
    {
        scanf("%d",&n);
        init();
        fans=true;
        while(scanf("%d%d",&x,&y)!=EOF&&(x||y))
        {
            x++;
            y++;
            add(x,y);
        }
        solve();
        if(sent==1&&fans)
            printf("YES\n");
        else
            printf("NO\n");
    }
    return 0;
}