链接：http://acm.hdu.edu.cn/showproblem.php?

pid=1811 

Rank of Tetris

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

OK
CONFLICT
UNCERTAIN

假设有点没訪问，就是说明有环，说明矛盾。

假设队列同一时候有两个点在，说明这两个点大小关系不明，不明白。

#include<stdio.h>
#include<vector>
#include<algorithm>
#include<queue>
using namespace std;
int f[10010];

int find(int x){return x==f[x]?x:f[x] = find(f[x]);}  //初始化为自己
void Union(int x, int y){
	int fx = find(x), fy = find(y);
	if(fx == fy)return ;
	if(fx>fy) swap(fx,fy);
	f[fx] = f[x] = f[y] = fy;//这样 就能够直接查f[i]  推断祖先了
}


int num[20010][2];
int bi[20010];
vector <int>vec[10010];

int du[10010];
int  main()
{
	int T;
	int n,m,nn,mm;
	char a; 
	while(scanf("%d%d",&n,&m)!=EOF)
	{ 
		for(int i=1;i<=n;i++)
		{
			f[i]=i;
			vec[i].clear();
			du[i]=0;//入度  为0 说明是最小的
		}
		for(int j=0; j<m; j++)
		{ 
			scanf("%d %c %d",&num[j][0],&a,&num[j][1]);
			num[j][0]++;
			num[j][1]++;
			if(a==‘>‘)
			{
				bi[j]=1; 
			}
			else if(a==‘=‘)
			{
				Union(num[j][0],num[j][1]);
				bi[j]=0;
			}
			else
			{
				bi[j]=-1; 
			}
		}

		for(int j=0;j<m;j++)
		{
			if(bi[j]==1)
			{
				du[find(num[j][0])]++;
				vec[find(num[j][1])].push_back(num[j][0]);
			}
			else if(bi[j]==-1)
			{
				du[find(num[j][1])]++;
				vec[find(num[j][0])].push_back(num[j][1]);
			}
		}
		 
		int numb=0;
		int sum=0;
		queue<int>q;
		while(!q.empty())
			q.pop();
		for(int i=1;i<=n;i++)//開始最小的
		{
			if(find(i)==i)
				sum++;
			if(du[find(i)]==0)
			{
				q.push(find(i));
				du[find(i)]=-1;//表示已经訪问过了，
				numb++;
			}
		}
		int flag=0;
		if(q.size()>1)//假设有两个同一时候入队  说明两者之间没有大小关系 不明白
			flag=1;
		while(!q.empty())
		{
			int tt=q.front();
			q.pop();
			tt=find(tt);  
			for(int i=0;i<vec[tt].size();i++)
			{
				int dian=find(vec[tt][i]);
				du[dian]--; 
				if(du[dian]==0)
				{
					q.push(dian);
					du[dian]=-1;
					numb++;
				}
			} 
			if(q.size()>1)
				flag=1;
		}
		if(numb<sum)//假设有没訪问过的点 就是有自环。说明矛盾
			flag|=2;

		if(flag==0)
			puts("OK");
		else if(flag==1)
			puts("UNCERTAIN");
		else if(flag==2)
			puts("CONFLICT");
		else 
			puts("CONFLICT");
	}
	return 0;
}