Rank of Tetris HDU - 1811 (拓扑排序)

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

解 ： 首先我们得知道拓扑排序 如果入队的个数超过1说明排序的状态不唯一    ，如果不能将所有点都入队说明成环了

显然如果有冲突说明成环，如果入队个数超过1说明，信息不完全。

我们可以先用并查集将所有相等的赋为相同值。

#include<stdio.h>
#include<string>
#include<string.h>
#include<iostream>
#include<math.h>
#include<queue>
#include<algorithm>
#include<map>d
#define inf 0x3f3f3f3f
#define ll long long
#define maxx 5000005
using namespace std;
int pre[11000]; //父亲节点
int a[11000],c[11000];
char b[11000][2];
int num[11000];//入度
int p[11000]; //邻接表
struct node
{
    int en,next;
}e[21000];
int n,m,sum,tot,flag1,flag2; //flag1 表示入队个数是否超过1 ，flag2代表是否成环
void add(int st,int ed)
{
    e[tot].en=ed;
    e[tot].next=p[st];
    p[st]=tot++;
}
int init()
{
    for(int i=0;i<n;i++)
        pre[i]=i;
    memset(p,-1,sizeof(p));
    memset(num,0,sizeof(num));
    sum=n;
    tot=0;
    flag1=0;
    flag2=0;
}
int fin(int x)
{
    if(pre[x]==x) return x;
    return pre[x]=fin(pre[x]);
}
int mix(int x,int y)
{
    int fx=fin(x);
    int fy=fin(y);
    if(fx==fy)  //如果相同，说明他们已经是同一个值了
        return  0;
    pre[fy]=fx;
    return 1;
}
int main()
{
    while(~scanf("%d%d",&n,&m))
    {
       init();
       int st,ed;
       for(int i=0;i<m;i++)
       {
           scanf("%d%s%d",&a[i],b[i],&c[i]);
           if(b[i][0]=='=')
           {
               if(mix(a[i],c[i]))//如果他们值不同，那么把他们值变为相同，要找的点--
                  sum--;
           }
       }
       for(int i=0;i<m;i++)
       {
            if(b[i][0]=='=')  continue; 
            int x=fin(a[i]);
            int y=fin(c[i]);
            if(x==y)  flag2=0; //成环
            if(b[i][0]=='>')
            {
                add(x,y);
                num[y]++;
            }
            else
            {
                add(y,x);
                num[x]++;
            }
       }
       queue<int>q;
       for(int i=0;i<n;i++)
       {
           if(pre[i]==i&&num[i]==0)
           {
            q.push(i);
           }
       }
       while(!q.empty())
       {
           st=q.front();
           q.pop();
           sum--;
           if(!q.empty()) flag1=1; //如果队内还有数，说明不唯一
           for(int i=p[st];i+1;i=e[i].next)
           {
               ed=e[i].en;
               num[ed]--;
               if(!num[ed])
                  q.push(ed);
           }
       }
       if(sum>0||flag2) printf("CONFLICT\n");
       else if(flag1) printf("UNCERTAIN\n");
      else printf("OK\n");
    }
}