Day4

自从Lele开发了Rating系统，他的Tetris事业更是如虎添翼，不久他遍把这个游戏推向了全球。

为了更好的符合那些爱好者的喜好，Lele又想了一个新点子：他将制作一个全球Tetris高手排行榜，定时更新，名堂要比福布斯富豪榜还响。关于如何排名，这个不用说都知道是根据Rating从高到低来排，如果两个人具有相同的Rating，那就按这几个人的RP从高到低来排。

终于，Lele要开始行动了，对N个人进行排名。为了方便起见，每个人都已经被编号，分别从0到N-1,并且编号越大，RP就越高。
同时Lele从狗仔队里取得一些（M个）关于Rating的信息。这些信息可能有三种情况，分别是"A > B","A = B","A < B"，分别表示A的Rating高于B,等于B,小于B。

现在Lele并不是让你来帮他制作这个高手榜，他只是想知道，根据这些信息是否能够确定出这个高手榜，是的话就输出"OK"。否则就请你判断出错的原因，到底是因为信息不完全（输出"UNCERTAIN"），还是因为这些信息中包含冲突（输出"CONFLICT"）。
注意，如果信息中同时包含冲突且信息不完全，就输出"CONFLICT"。

Input本题目包含多组测试，请处理到文件结束。
每组测试第一行包含两个整数N,M(0<=N<=10000,0<=M<=20000),分别表示要排名的人数以及得到的关系数。
接下来有M行，分别表示这些关系
Output对于每组测试，在一行里按题目要求输出Sample Input

3 3
0 > 1
1 < 2
0 > 2
4 4
1 = 2
1 > 3
2 > 0
0 > 1
3 3
1 > 0
1 > 2
2 < 1

Sample Output

OK
CONFLICT
UNCERTAIN

思路：
读题很容易得知是拓扑排序，但有一个等于的操作，就要用并查集进行缩点，判断是否可以拓扑排序可以用DFS也可以用BFS，DFS当搜索到正在搜索的点就是有环，BFS则是当搜索的点小于总点数时有环，因为有环入度不会消除
本题有个坑，在conflict和uncertain的情况下要先判断是conflict

#include<iostream>
#include<cstdio>
#include<cstring>
#include<queue>
#include<algorithm>
#include<cmath>
#include<set>
#include<vector>
#include<map>
using namespace std;
typedef long long LL;

const int maxm = 10010;

int fa[maxm], in[maxm], N, M, a[20010], b[20010];
char ind[20010][5];

struct Node {
    int u, v;
    Node(int _u=-1, int _v=-1):u(_u), v(_v){}
};

vector<Node> Edge;
vector<int> G[maxm];

void addedge(int u, int v) {
    Edge.push_back(Node(u, v));
    G[u].push_back(Edge.size()-1);
}

void init() {
    for(int i = 0; i < N; ++i) {
        fa[i] = -1;
        in[i] = 0;
        G[i].clear();
    }
    Edge.clear();
}

int Find(int u) {
    if(fa[u] != -1)
        return fa[u] = Find(fa[u]);
    return u;
}

void Union(int x, int y) {
    x = Find(x);
    y = Find(y);
    if(x != y)
        fa[x] = y;
}

int topo() {
    queue<int> q;
    int sum = 0, cnt = 0;
    for(int i = 0; i < N; ++i) {
        if(Find(i) == i) {
            sum++;
            if(!in[i])
                q.push(i);
        }
    }
    int judge = 0;
    while(!q.empty()) {
        if(q.size() > 1) judge = 1;
        int now = q.front();
        q.pop();
        cnt++;
        int siz = G[now].size();
        for(int i = 0; i < siz; ++i) {
            int v = Find(Edge[G[now][i]].v);
            if(!--in[v])
                q.push(v);
        }
    }
    
    if(sum > cnt) return 0;
    if(judge) return 2;
    return 1;
}

int main() {
    //ios::sync_with_stdio(false);
    while(scanf("%d%d", &N, &M) != EOF) {
        init();
        getchar();
        int u, v;
        for(int i = 0; i < M; ++i) {
            scanf("%d%s%d", &a[i], ind[i], &b[i]);
            if(ind[i][0] == '=') {
                Union(a[i], b[i]);
            }
        }
        int judge = 1;
        for(int i = 0; i < M; ++i) {
            if(ind[i][0] == '<') {
                u = Find(b[i]), v = Find(a[i]);
                if(u == v) {
                    judge = 0;
                    break;
                }
                addedge(u, v);
                in[v]++;
            } else if(ind[i][0] == '>') {
                u = Find(a[i]), v = Find(b[i]);
                if(u == v) {
                    judge = 0;
                    break;
                }
                addedge(u, v);
                in[v]++;
            }
        }
        if(judge == 1) judge = topo();
        if(judge == 0) printf("CONFLICT
");
        else if(judge == 1) printf("OK
");
        else printf("UNCERTAIN
");
    }
    return 0;
}