hdu3594

最新推荐文章于 2017-11-07 19:35:25 发布

Ice_Crazy

最新推荐文章于 2017-11-07 19:35:25 发布

阅读量938

点赞数

分类专栏：图论

本文链接：https://blog.csdn.net/Ice_Crazy/article/details/8129495

版权

图论专栏收录该内容

77 篇文章 0 订阅

订阅专栏

/*
分析：
(假设整个图已经强连通了)当搜索回祖先节点的时候，就会
构成环。那么对于这个题，最直接的方法，就是在进行Tarjan搜
索在进行的时候，如果出现环了，那么就标记这个环上的每条边，
让light[x]++，最后遍历，如果有哪条边的light>1，那么这个边
必定在至少两个环上。
不过这个方法标记边有点儿麻烦了，以下是参考学长的思路：
“http://www.cnblogs.com/183zyz/archive/2011/08/04/2126994.html”
“如果一个点已经入队，又访问到该点“并且该点不是一个根节点”，
则必会存在一条边至少属于两个环”。
既：假设根S，有遍历路径：S→……→A→……→C→A→……，那么，由于
图是强连通的，所以由C存在回到S的路，所以“S→A→回到S”构成一个
环、“S→A→C→回到S”构成一个环，边AC既为同时存在于两个环上的边。

2012-10-30
*/

#include"stdio.h"
#include"string.h"
#include"stdlib.h"
#include"stack"
#define N 20011
using namespace std;
int n;
int index_s;
int instack[N],DFN[N],LOW[N];

struct Eage
{
    int from,to,next;
}eage[3*N];
int tot,head[N];

void add(int a,int b)
{
    eage[tot].from=a;
    eage[tot].to=b;
    eage[tot].next=head[a];
    head[a]=tot++;
}
void getmap()
{
    int a,b;
    tot=0;
    memset(head,-1,sizeof(head));
    while(scanf("%d%d",&a,&b),a||b) add(a,b);
}
int flag;
stack<int>st;
void Tarjan(int k)
{
    int j,v;
    st.push(k);
    instack[k]=1;
    LOW[k]=DFN[k]=++index_s;
    if(flag)    return ;
    for(j=head[k];j!=-1;j=eage[j].next)
    {
        v=eage[j].to;
        if(instack[v])
        {
            LOW[k]=LOW[k]>DFN[v]?DFN[v]:LOW[k];
            if(DFN[v]!=LOW[v])  {flag=1;return ;}
        }
        else if(DFN[v]==-1)
        {
            Tarjan(v);
            if(flag)    return ;
            LOW[k]=LOW[k]>LOW[v]?LOW[v]:LOW[k];
        }
    }
    if(DFN[k]==LOW[k])
    {
        do
        {
            j=st.top();
            st.pop();
            instack[j]=0;
        }while(j!=k);
    }
}
int main()
{
    int T;
    int i,l;
    int count;
    scanf("%d",&T);
    while(T--)
    {
        scanf("%d",&n);
        getmap();

        index_s=0;
        memset(DFN,-1,sizeof(DFN));
        memset(LOW,-1,sizeof(LOW));
        memset(instack,0,sizeof(instack));
        flag=count=0;
        for(i=0;i<n;i++)
        {
            if(DFN[i]==-1 && count) {count=2;break;}
            count=1;Tarjan(i);
        }

        if(flag || count>1) printf("NO\n");
        else                printf("YES\n");
    }
    return 0;
}