hdu 5222 Exploration

题意：判断一个图是否有环，图有有向边和无向边

题解：

1.一种比较常用的解题思想，把复杂的题目分成很多小的，简单的题目。

2.如果是有向图，那可以直接dfs：

(1).如果当前访问的有向边u-->v，且v在栈，那么说明有环

3.那如果是无向图呢？我们用两条有向边来表示一条无向边，dfs：

(1).如果当前访问的无向边u-->v，且v在栈。

(2).还需要加上一个条件就是，并且v-->u还没有被访问过，则说明有环（画个图试试就明白了）

4.如果一个图既有有向边，又有无向边

(1).在有向边的情况下满足条件2

(2).在无向边的情况下满足条件3

那么这个图有环

总结：

1.很早就做的题，猜出来的结论，一直不知道怎么证明就没有写题解，今天突然想出来了很开心

2.将复杂的问题分开讨论也是一种很好的解题方式

3.当时的比赛挤进前300，本来有衣服的，不过手机号填错了，

#pragma comment(linker, "/STACK:102400000,102400000")
#include<iostream>
#include<cstdio>
#include<cstring>
using namespace std;
#define MAXN 1000005
int first[MAXN],e,_,n,m1,m2;
struct Edge
{
    int v,next;
}edge[MAXN * 3];
bool vis[MAXN * 3],stack[MAXN];
void insert(int u,int v)
{
    edge[e].next = first[u];
    edge[e].v = v;
    first[u] = e++;
}
bool dfs(int u)
{
    stack[u] = true;
    for(int i = first[u];i != -1;i = edge[i].next)if(!vis[i])
    {
        int v = edge[i].v;
        vis[i] = true;
        if(stack[v] && (i >= 2 * m1 || ((i < 2 * m1) && vis[i ^ 1] == 0)))return true;
        if(dfs(v))return true;
    }
    stack[u] = false;
    return false;
}
bool solve()
{
    memset(stack,0,sizeof(stack));
    memset(vis,0,sizeof(vis));
    for(int u = 1;u <= n;u++)
        if(dfs(u))return true;
    return false;
}
int main()
{
    scanf("%d",&_);
    while(_--)
    {
        scanf("%d%d%d",&n,&m1,&m2);
        int u,v;
        memset(first,-1,sizeof(first));
        e = 0;
        for(int i = 0;i < m1 + m2;i++)
        {
            scanf("%d%d",&u,&v);
            insert(u,v);
            if(i < m1)insert(v,u);
        }
        if(solve())puts("YES");
        else puts("NO");
    }
}