hdu 5222

来源:互联网 发布:centos 7 xfce4 中文 编辑:程序博客网 时间:2024/06/07 02:12
/*
题意:
直接按照样例来说:有t组数据,没有数据有n,m1,m2,n代表有n个点,m1代表有m1条无向边,m2代表有
有m2条有向边,一条边只能走一次(也就是题上说的走过之后路会坍塌)如果有两个1 2 ,1 2 代表1和2之间
有两条边




首先对于所有的无向边,我们使用并查集将两边的点并起来
若一条边未合并之前,两端的点已经处于同一个集合了,那么说明必定存在可行的环(因为这两个点处于同一个并查集集合中,那么它们之间至少存在一条路径)
如果上一步没有判断出环,那么仅靠无向边是找不到环的
考虑到,处于同一个并查集集合中的点之间必定存在一条路径互达,因此将一个集合的点合并之后,原问题等价于在新生成的有向图中是否有环
我们知道,有向无环图必定存在拓扑序,因此只需使用拓扑排序判定即可
时间复杂度O(N+M1+M2) 


first存的是邻接表的表头,next存的是边的编号,ne是总共有多少条边
flag和小白书上的拓扑排序的c数组一样是标记点的数组
bcj是并查集
*/
#include<stdio.h>
#include<string.h>
#pragma comment(linker, "/STACK:102400000,102400000")
#define  maxn   1000005
int first[maxn],next[maxn*4],flag[maxn],bcj[maxn],ne;
struct Edge
{
    int u,v,w;
    void Set(int u,int v,int w)//存边,w为边的权值若果权值一样就说明是一条边
    {
        this->u=u;
        this->v=v;
        this->w=w;
    }
}ed[maxn*4];//把所有的边都存到ed数组里
void add_Edge(int u,int v,int w)//加边函数
{
    ed[ne].Set(u,v,w);
    next[ne]=first[u];//这时邻接表存图
    first[u]=ne++;
}
bool dfs(int u,int pre)//pre存的是上一点的边的权值,排除u和v是有向边,以区分u<-->v一条边和u->v和v->u两条边
{
    flag[u]=-1;
    for(int i=first[u];i+1;i=next[i])
    {
        int v=ed[i].v;
        if(ed[i].w==pre)  continue;
        if(flag[v]<0)
        {
            return true;
        }
        else if(!flag[v]&&dfs(v,ed[i].w))  return true;
    }
    flag[u]=1;
    return false;
}
bool toposort(int n)//套小白书上的拓扑模板
{
    memset(flag,0,sizeof(flag));
    for(int i=1;i<=n;i++)
    {
        if(flag[i]) continue;
        if(dfs(i,-1))  return true;
    }
    return false;
}
int main()
{
    int t;
    scanf("%d",&t);
    while(t--)
    {
        int n,m1,m2;
        memset(first,-1,sizeof(first));//表头初始化
        ne=0;
        scanf("%d%d%d",&n,&m1,&m2);
        for(int i=1;i<=n;i++)//并查集初始化
            bcj[i]=i;
        int ff=0;//标记是否有并查集中是否有环
        for(int i=0;i<m1;i++)
        {
            int u,v;
            scanf("%d%d",&u,&v);
            add_Edge(u,v,ne);
            add_Edge(v,u,ne-1);
            int j,k;
            for(j=bcj[u];j!=bcj[j];j=bcj[j])//for循环形式的并查集
                bcj[j]=bcj[bcj[j]];
            for(k=bcj[v];k!=bcj[k];k=bcj[k])
                bcj[k]=bcj[bcj[k]];
            if(j!=k)//如果不相等并在一起,反之则说明有环
                bcj[j]=k;
            else
                ff=1;
        }
        for(int i=0;i<m2;i++)
        {
            int u,v;
            scanf("%d%d",&u,&v);
            add_Edge(u,v,ne);
            int j,k;
            for(j=bcj[u];j!=bcj[j];j=bcj[j])
                bcj[j]=bcj[bcj[j]];
            for(k=bcj[v];k!=bcj[k];k=bcj[k])
                bcj[k]=bcj[bcj[k]];
            if(k==j)//由向边在并查集中出现过则说明两点间有一条有向边,有一条无向边,图中有环
                ff=1;
            //如果k不等于j的话不能加到并查集里去
        }
        if(ff)
        {
            printf("YES\n");
            continue;
        }
        if(toposort(n))
            printf("YES\n");
        else
            printf("NO\n");
    }
    return 0;
}
2 0
原创粉丝点击