这题有3个方面值得深思

1.=的处理，读入的时候就先考虑=的，用并查集合并，把第二个节点完全用第一个节点代替，后面建图的时候都使用的是并查集的根节点即可

2.判断是否是唯一确定的，就看队列中的size是否永远<=1，若出现>=2，则说明同时有两个点的入度为0，就不能唯一确定

3.判断是否有冲突，先记录并查集后，有多少个连通块，记为sum，然后再判断队列中一共运行了多少个点，记为cnt，若cnt等于sum，那么就没冲突，否则就有冲突，因为如果存在环，那么必然那整个环上的任意一点的入度都会大于0，所以，这个环的节点永远不会进入队列


#include<cstdio>
#include<cstring>
#include<cstdlib>
#include<cmath>
#include<vector>
#include<queue>
#include<iostream>
#include<functional>
#include<algorithm>

using namespace std;
typedef long long LL;

const int mod=142857;
const int MX=10000+5;
const int INF=0x3f3f3f3f;

int rear=0;
int vis[MX],IN[MX],P[MX];
vector<int>G[MX];

int find(int x){
    return P[x]==x?x:(P[x]=find(P[x]));
}

void Union(int u,int v){
    int p1=find(u),p2=find(v);
    P[p1]=p2;
}

struct Edge{
    int u,v;
}E[2*MX];

int main(){
    int n,m;
    while(~scanf("%d%d",&n,&m)){
        rear=0;
        memset(IN,0,sizeof(IN));
        memset(vis,0,sizeof(vis));
        for(int i=0;i<n;i++){
            G[i].clear();
            P[i]=i;
        }

        for(int i=1;i<=m;i++){
            int u,v;char op[10];
            scanf("%d%s%d",&u,op,&v);
            if(op[0]=='<'){
                E[++rear].u=u;
                E[rear].v=v;
            }else if(op[0]=='>'){
                E[++rear].u=v;
                E[rear].v=u;
            }else Union(u,v);
        }

        int sign=0;
        for(int i=1;i<=rear;i++){
            int p1=find(E[i].u),p2=find(E[i].v);
            G[p1].push_back(p2);
            IN[p2]++;
        }

        int cnt=0,sum=0;
        for(int i=0;i<n;i++) vis[find(i)]=1;
        for(int i=0;i<n;i++) sum+=vis[i];

        queue<int>work;
        for(int i=0;i<n;i++){
            if(vis[i]&&!IN[i]){
               work.push(i);
            }
        }

        while(!work.empty()){
            if(work.size()>=2) sign=2;
            int u=work.front();
            work.pop();

            cnt++;
            for(int i=0;i<G[u].size();i++){
                int v=G[u][i];
                IN[v]--;
                if(!IN[v]) work.push(v);
            }
        }

        if(cnt!=sum) sign=1;

        printf("%s\n",sign==0?"OK":(sign==1?"CONFLICT":"UNCERTAIN"));
    }
    return 0;
}