HDU-1811-Rank of Tetris(拓扑排序+并查集判断是否可排 经典模板)

题目

Problem Description
他将制作一个全球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

//--本题的思想就是.将有等号关系的合并成一个集合.
//--然后查找的时候在一个集合，却关系不为'='说明冲突.
//--连接的每条边也是以集合老大的名义连接的.这样才能保证正确性
//--队列中存在的点>1 说明条件较少,无法判断.
//--入队的点小于集合的数目 也就是boss 说明矛盾.(这个和之前那个topo排序+优先队列的原理有点相似)
//--既矛盾又条件少,输出矛盾****
//--数据没有重边.
#include<cstdio>
#include<cstring>
#include<queue>
#define m(a,b) memset(a,b,sizeof a)
using namespace std;
typedef long long ll;
const int N=20000+5,M=20000+5;
struct Edge{int to,nex;}e[M];
struct Graph{int u,v;}ma[M];
int in[N],head[N],f[N];
int tot,n,m;
inline void add(int from,int to){
    e[++tot]=(Edge){to,head[from]};head[from]=tot,++in[to];
}
inline int seek(int x){return (x==f[x])?x:(f[x]=seek(f[x]));}
queue<int>q;
int topo(){
    while(!q.empty()) q.pop();
    int boss=0,uncer=0;  //判断全排序
    for(int i=1;i<=n;i++){
        if(f[i]==i){
            ++boss;
            if(!in[i]) q.push(i);
        }
    }
    int cnt=0;
    while(!q.empty()){
        if(q.size()>1) uncer=1;     //可全排序。但不可退出。因为也冲突的话输出冲突。
        int x=q.front();q.pop();
        ++cnt;
        for(int i=head[x];i;i=e[i].nex){
            int y=e[i].to;--in[y];
            if(!in[y]) q.push(y);
        }
    }
    if(cnt<boss) return -1;  //冲突.
    if(uncer) return 0;  //OK
    return 1;
}
char str[M][5];
int main(){
    while(~scanf("%d%d",&n,&m)){
        m(head,0),tot=1;
        for(int i=1;i<=n;i++) f[i]=i,in[i]=0;
        for(int i=1;i<=m;i++){
            scanf("%d%s%d",&ma[i].u,str[i],&ma[i].v);
            ma[i].u++,ma[i].v++;
            if(str[i][0]=='=') f[seek(ma[i].u)]=seek(ma[i].v);
        }
        int ans=0;
        for(int i=1;i<=m;i++){
            int ru=seek(ma[i].u),rv=seek(ma[i].v);
            if(ru==rv&&str[i][0]!='=') {ans=-1;break;}//冲突
            if(str[i][0]=='<') add(rv,ru);
            if(str[i][0]=='>') add(ru,rv);
        }
        if(!ans) ans=topo();
        if(ans==-1) printf("CONFLICT\n");
        if(ans==0) printf("UNCERTAIN\n");
        if(ans==1) printf("OK\n");
    }
}