判断图中是否有环的存在

我们以小希的迷宫为例题（此题有无数个子图， 不能用遍历图来做， 只能用并查集）

小希的迷宫

Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 65536/32768 K (Java/Others)
Total Submission(s): 60414    Accepted Submission(s): 18969

Problem Description

上次Gardon的迷宫城堡小希玩了很久（见Problem B），现在她也想设计一个迷宫让Gardon来走。但是她设计迷宫的思路不一样，首先她认为所有的通道都应该是双向连通的，就是说如果有一个通道连通了房间A和B，那么既可以通过它从房间A走到房间B，也可以通过它从房间B走到房间A，为了提高难度，小希希望任意两个房间有且仅有一条路径可以相通（除非走了回头路）。小希现在把她的设计图给你，让你帮忙判断她的设计图是否符合她的设计思路。比如下面的例子，前两个是符合条件的，但是最后一个却有两种方法从5到达8。 

 

Input

输入包含多组数据，每组数据是一个以0 0结尾的整数对列表，表示了一条通道连接的两个房间的编号。房间的编号至少为1，且不超过100000。每两组数据之间有一个空行。 
整个文件以两个-1结尾。

 

Output

对于输入的每一组数据，输出仅包括一行。如果该迷宫符合小希的思路，那么输出"Yes"，否则输出"No"。

 

Sample Input

6 8 5 3 5 2 6 45 6 0 08 1 7 3 6 2 8 9 7 57 4 7 8 7 6 0 03 8 6 8 6 45 3 5 6 5 2 0 0-1 -1

 

Sample Output

YesYesNo

 

Author

Gardon

 

Source

HDU 2006-4 Programming Contest

 

Recommend

lxj   |   We have carefully selected several similar problems for you:   1213  1856  1325  1198  1102 

我们以小希的迷宫为例题（此题有无数个子图， 不能用遍历图来做， 只能用并查集）

1.  并查集判断法

        如果已加入集合的点， 与即将要加入的    新点    的根相同  ——>  说明它们的根节点相同。

if（find(a) == find(b))

    cout << "集合中绝对有环！！！" << endl;

二.  Dfs（黑白灰）染色法  ——>   只能判断连通图是否有回路， 如果图不连通， 分成若干个岛屿， 那么无法搜索完全图！！！

则此方式不能AC小希的迷宫，但是下面是例子。

算法描述：  

刚开始3个点都是白色

1. 假设一个父亲有两个儿子，如果从父亲开始 Dfs, 那么父亲先入队列，两个儿子再入队列，全都染成灰色

2. 父亲遍历完后，出队列，染成黑色（此时两个儿子依然为灰色，且依然再队列中）

如果要形成回路 --> 只需要让两个儿子相连即可，

 那么接着对队列中的两个儿子进行Dfs

如果某一个儿子的 出边 连接的节点中 有一个是灰色， 就代表着 --> 两个孩子相连 --> 形成回路            

#include <cstdio>
#include <algorithm>
#include <cstring>
#include <queue>
#include <vector>
#define maxn 100100
using namespace std;
int a, b, start;
vector<int> map[maxn];
queue<int> que;
//enum { white, black, gray};
int black = 3;
int gray = 1;
int white = 0;
int vis[maxn];

void Bfs( )
{
        que.push( start ); vis[start] = gray;
        while( !que.empty())
        {
                int x = que.front();   que.pop(); vis[x] = black;//队列里的都是灰色的儿子，出了队列的都是爸爸， 没进过队列的都是白色
                for(unsigned i = 0; i < map[x].size(); ++i)
                {
                        if(vis[map[x][i]] == gray)
                        {
                                printf("No\n");//儿子相连了，是 No
                                return;
                        }
                        if(vis[map[x][i]] == white)
                        {
                                que.push( map[x][i] );
                                vis[map[x][i]] = gray;
                        }
                }
        }
        printf("Yes\n");
        return;
}

void init()
{
        fill(vis, vis+maxn, 0);
}

int main()
{
        while(~scanf("%d%d", &a, &b) )
        {
                if(a+b == 0)
                {
                        init();
                        Bfs();
                        for(unsigned i = 0; i < maxn; ++i)
                                map[i].clear();
                        continue;
                }
                if(a + b == -2)
                        return 0;

                map[a].push_back(b);
                map[b].push_back(a);
                start = a;
        }
        return 0;
}

3.  判断是否存在最强连通分量  --> 存在 --> 有环 

首先我们规定父亲为 黑色， 儿子为灰色（阴影）。