HDU1811 Rank of Tetris【拓扑排序+并查集】

$Rank\ of\ Teris$

Time Limit: 1000/1000 MS (Java/Others)	Memory Limit: 32768/32768 K (Java/Others)
Total Submission(s): 13169	Accepted Submission(s): 3740

Problem Description
自从Lele开发了Rating系统，他的Tetris事业更是如虎添翼，不久他遍把这个游戏推向了全球。

为了更好的符合那些爱好者的喜好，Lele又想了一个新点子：他将制作一个全球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

题目大意：

有n个人和有m条相对排名关系（a>b，a<b，a=b），问排名关系是否冲突，如果不冲突，是否能够确定唯一的排名顺序。

解析：

①先对排名相等的状况进行处理，用并查集把排名相等的人放到同一个集合中。
②对于排名不相等的状况，a>b则建边set[a]->set[b]，a<b则建边set[b]->set[a](set[i]表示点i属于的集合)
接下来进行拓扑排序，如果同时存在多个入度为0的集合，则说明顺序不唯一(UNCERTAIN)，如果有集合没有进行拓扑排序，说明这个集合仍然存在入度，即存在自环，产生了冲突(CONFLICT)。

AC代码：

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<queue>
using namespace std;
typedef pair<int,int> IntPair;
const int maxn = 1e4+7;
const int maxm = 2e4+7;
const int INF = 0x3f3f3f3f;
int n,m,edge_num,edge_id,set_num;
bool conflict,uncertain;
struct EDGE{
    int to,next;
};
int head[maxn],bin[maxn],indegree[maxn],used[maxn];
EDGE edge[maxm];
IntPair IP[maxm];							//暂时记录边
void init(){
    memset(used,0,sizeof(used));			//判断集合使用情况
    memset(head,255,sizeof(head));			
    for(int i=0;i<maxn;i++) bin[i] = i;
    memset(indegree,INF,sizeof(indegree));
    edge_num = edge_id = set_num = 0;
    conflict = uncertain = false;
}
int findx(int a){
    if(a!=bin[a]) bin[a] = findx(bin[a]);
    return bin[a];
}
void unity(int a,int b){
    int fa = findx(a);
    int fb = findx(b);
    if(fa!=fb) bin[fa] = fb;
}
void input(){
    for(int i=0;i<m;i++){
        int u,v;
        char op[2];
        scanf("%d %s %d",&u,op,&v);
        if(op[0]=='=') unity(u,v);
        else if(op[0]=='>') IP[edge_num].first = u,IP[edge_num++].second = v;
        else if(op[0]=='<') IP[edge_num].first = v,IP[edge_num++].second = u;
    }
}
void add_edge(int u,int v){
    edge[edge_id].to = v;
    edge[edge_id].next = head[u];
    head[u] = edge_id++;
}
void build(){
    for(int i=0;i<n;i++){
        if(!used[findx(i)]){
            set_num++;
            used[findx(i)] = 1;
            indegree[findx(i)] = 0;
        }
    }
    for(int i=0;i<edge_num;i++){
        int u = findx(IP[i].first);
        int v = findx(IP[i].second);
        add_edge(u,v);
        indegree[v]++;
    }
}
void toposort(){
    queue<int> que;
    int used_num = 0;
    for(int i=0;i<n;i++) if(indegree[i]==0) que.push(i);
    while(!que.empty()){
        if(que.size()>1) uncertain = true;
        int now = que.front();
        que.pop(); used_num++;
        for(int i=head[now];i!=-1;i=edge[i].next){
            EDGE e = edge[i];
            if(--indegree[e.to]==0) que.push(e.to);
        }
    }
    if(used_num!=set_num) conflict = true;
}
int main(){
    while(scanf("%d %d",&n,&m)!=EOF){
        init();
        input();
        build();
        toposort();
        if(conflict) printf("CONFLICT\n");
        else{
            if(uncertain) printf("UNCERTAIN\n");
            else printf("OK\n");
        }
    }
    return 0;
}