http://www.cnblogs.com/newpanderking/archive/2012/10/18/2729566.html

#include<stdio.h>

#include<iostream>

#include<vector>

#include<queue>

using namespace std;

const int N=11000;

vector<int>link[N];//容器来是模拟邻接表

int pre[N],a[N],b[N],indegree[N],n,m,sum;

char c[N];

int find(int x) {//路径压缩

if(x!=pre[x])

pre[x]=find(pre[x]);

return pre[x];

}

int Union(int x,int y) {//合并

int f1=find(x);

int f2=find(y);

if(f1==f2)

return 0;

pre[f1]=f2;

return 1;

}

void bfs() {

       queue<int>q;

  int i,flag;

  for(i=0;i<n;i++) {

  if(find(i)==i&&indegree[i]==0)//将所有第一名的代表放进队列

  q.push(i);

  }   flag=0;

  while(!q.empty()) {//队列实现拓扑排序

  int cur=q.front();

  if(q.size()>1)flag=1;//信息已经不完整了，但是还有可能含有冲突

  q.pop();////和上面的q.size()的判断的顺序不能交换

  for(i=0;i<link[cur].size();i++)

  if(--indegree[link[cur][i]]==0)

  q.push(link[cur][i]);

  sum--;

  }

  if(sum>0)//冲突优先

  printf("CONFLICT\n");

  else

  if(flag==1)//没有冲突了看信息是否完整

  printf("UNCERTAIN\n");

  else

  printf("OK\n");

}

int main() {

int i,f1,f2;

while(scanf("%d%d",&n,&m)!=EOF) {

for(i=0;i<n;i++) {//初始化

link[i].clear();

pre[i]=i;

}

sum=n;

for(i=0;i<m;i++) {

scanf("%d %c%d",&a[i],&c[i],&b[i]);

if(c[i]=='=') 

if(Union(a[i],b[i]))

sum--;

}

memset(indegree,0,sizeof(indegree));//入度

for(i=0;i<m;i++)

if(c[i]!='=') {

f1=find(a[i]);

f2=find(b[i]);

if(c[i]=='>') {

link[f1].push_back(f2);

indegree[f2]++;

}

else {

link[f2].push_back(f1);

indegree[f1]++;

}

}

bfs();

}

return 0;

}