（拓扑排序+并查集）HDU

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

---

题意：有个很多关系，现在需要产生一个名单，有的人比有的人牛逼，有的人没有的人牛逼，有的人一样牛逼，现在需要通过牛逼程度排名，如果1比2牛逼，1的排名就比2前，如果1和2一样牛逼，就比两个人的人品，人品好的人排前面。

现在有三种情况:

1、正确

2、矛盾

3、无法确定

---

分析：

这里其他方面还是比较简单。首先确定三种情况的发生条件：

矛盾--存在环，也就是在toposort之后，没有把所有的点全都访问到。

无法确定--只要存在一次入度为0的点不止一个，那么这个拓扑序就不唯一，所以无法确定。

---

代码：

#include <iostream>
#include <cstdio>
#include <string>
#include <vector>
#include <map>
#include <set>
#include <queue>
#include <cstring>
#include <algorithm>

using namespace std;


typedef long long ll;
typedef unsigned long long ull;
#define inf (0x3f3f3f3f)
#define lnf (0x3f3f3f3f3f3f3f3f)
#define eps (1e-8)
int sgn(double a){return a < -eps ? -1 : a < eps ? 0 : 1 ;}

//-------------------------------------------------


const int maxn=10010;
vector<int> edge[maxn];

int indu[maxn];
int par[maxn];
int ranks[maxn];
int u[maxn],v[maxn];
int n,m;
int rn;
char op[maxn][3];

void init(){
    for(int i=0;i<n;i++){
        par[i]=i;
        ranks[i]=0;
        edge[i].clear();
    }
    memset(indu,0,sizeof(indu));
}

int findx(int x){
    if(par[x]==x)return x;
    else return par[x]=findx(par[x]);
}

bool unite(int x,int y){
    x=findx(x);
    y=findx(y);
    if(x==y)return false;
    if(ranks[x]>ranks[y]){
        par[y]=x;
    }
    else{
        if(ranks[x]==ranks[y]){
            ranks[y]++;
        }
        par[x]=y;
    }
    return true;
}


bool toposort(){
    queue<int> q;
    for(int i=0;i<n;i++){
        if(indu[i]==0&&i==findx(i)){
            indu[i]--;
            q.push(i);
        }
    }
    bool allon=false;

    while(!q.empty()){
        if(q.size()>1)allon=true;
        int u=q.front();
        q.pop();
        rn--;
        for(int i=0;i<edge[u].size();i++){
            indu[edge[u][i]]--;
            if(indu[edge[u][i]]==0){
                q.push(edge[u][i]);
            }
        }
    }
    return allon;
}


void solve(){
    while(~scanf("%d%d",&n,&m)){
        init();
        rn=n;
        for(int i=0;i<m;i++){
            scanf("%d%s%d",&u[i],op[i],&v[i]);
            if(op[i][0]=='='){
                if(unite(u[i],v[i])){
                    rn--;
                }
            }
        }
        for(int i=0;i<m;i++){
            if(op[i][0]!='='){
                int x=findx(u[i]);
                int y=findx(v[i]);
                if(op[i][0]=='>'){
                    edge[x].push_back(y);
                    indu[y]++;
                }
                else{
                    edge[y].push_back(x);
                    indu[x]++;
                }
            }
        }
        bool allon=toposort();
        if(rn>0){
            puts("CONFLICT");
        }        
        else if(allon){
            puts("UNCERTAIN");
        }
        else{
            puts("OK");
        }
    }

}



int main(){

#ifndef ONLINE_JUDGE
    freopen("1.in","r",stdin);
    //freopen("1.out","w",stdout);
#endif

    solve();
}