hdu 1181(并查集+拓扑排序）

题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=1811

思路：先处理‘=‘，全部合并为同一个节点，然后在拓扑排序就可以了。。。

拓扑排序知识：

*如果一次入队入度为零的点大于1则说明拓扑排序序列不唯一
*如果排序的总个数小于给定的个数,则说明存在回路

#define _CRT_SECURE_NO_WARNINGS
#include<iostream>
#include<cstdio>
#include<cstring>
#include<vector>
#include<queue>
using namespace std;
const int MAXN=10000+10;
int parent[MAXN];
int In[MAXN];
vector<int>vet[MAXN];
int n,m,num;
struct Edge {
    int u,v;
    char ch;
}edge[MAXN];


void Initiate(){
    for(int i=0;i<n;i++){
        parent[i]=-1;
        vet[i].clear();
        In[i]=0;
    }
}

int Find(int x){
    int s;
    for(s=x;parent[s]>=0;s=parent[s]);
    while(s!=x){
        int tmp=parent[x];
        parent[x]=s;
        x=tmp;
    }
    return s;
}

void Union(int R1,int R2){
    int r1=Find(R1);
    int r2=Find(R2);
    if(r1!=r2){
        parent[r2]=r1;
    }
}


int main(){
    while(~scanf("%d%d",&n,&m)){
        Initiate();
        num=n;//总共要进行拓扑排序的n个点
        for(int i=0;i<m;i++){
            int u,v;
            scanf("%d %c %d",&edge[i].u,&edge[i].ch,&edge[i].v);
            if(edge[i].ch=='='){
                Union(edge[i].u,edge[i].v);
                num--;
            }
        }
        bool flag=true;
        for(int i=0;i<m;i++){
            if(edge[i].ch=='=')
                continue;
            int r1=Find(edge[i].u);
            int r2=Find(edge[i].v);
            //如果找到了相等的，说明矛盾；
            if(r1==r2){
                flag=false;
                break;
            }
            if(edge[i].ch=='>'){
                vet[r1].push_back(r2);
                In[r2]++;
            }else if(edge[i].ch=='<'){
                vet[r2].push_back(r1);
                In[r1]++;
            }
        }
        if(!flag){
            puts("CONFLICT");
        }else {
            queue<int>Q;
            for(int i=0;i<n;i++){
                if(In[i]==0&&Find(i)==i){
                    Q.push(i);
                }
            }
            while(!Q.empty()){
                //如果同一层有多个点，说明存在多个拓扑排序
                if(Q.size()>1){
                    flag=false;
                }
                num--;
                int u=Q.front();
                Q.pop();
                for(int i=0;i<vet[u].size();i++){
                    //只有入度为1的才可入队列
                    if(--In[vet[u][i]]==0){
                        Q.push(vet[u][i]);
                    }
                }
            }
            //说明存在环，矛盾
            if(num>0){
                puts("CONFLICT");
            }else if(!flag){
                puts("UNCERTAIN");
            }else 
                puts("OK");
        }
    }
    return 0;
}