HDU 1811 Rank of Tetris

题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=1811

Rank of Tetris

Time Limit: 1000/1000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others)

Total Submission(s): 5406 Accepted Submission(s): 1513



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

Author
linle

思路分析：

该题是并查集和拓扑排序的综合运用，中等难度。

将排在第几位视为有向图中的点，大于小于关系视为有向图中的边，这就是建模过程。

由于题目中有大于，等于，小于三种关系，所以我们首先要考虑的事情就是将关系简单化，首先对于等于这种关系，我们可以将所有相等的点并到同一个集合中去（这就达到了缩点的效果），接下来只剩下大于和小于两种关系了，对于大于这种关系，设X<Y，那么Y肯定排在X前面，对应到有向图中有Y->X这一条边，同理，若，X>Y,则对应到X->Y这一条边。

在拓扑排序过程中，若同时出现两个点的入度为0，很显然，排名就具有不确定性。

拓扑排序结束，如果排好序的点小于总点数，那么说明有点没被排到，即存在一些点的入度不为0，那就是说，这就出现了自相矛盾的情况了。

思路就是这样，我又要上AC了的代码了。嘿嘿嘿

#include<cstdio>
#include<cstring>
#include<cmath>
#include<cstdlib>
#include<iostream>
#include<algorithm>
#include<sstream>
#include<vector>
#include<map>
#include<list>
#include<set>
#include<queue>
using namespace std;
const int maxn=10005,maxe=100005,inf=1<<29;
int n,m,l[maxe],r[maxe],Count;//题目相关数据定义
char c[maxe];
int Fa[maxn];//并查集部分数据定义
struct node//前向星（静态链表）
{
    int to,next,w;
}edge[maxe];
int head[maxn],cnt;
int in[maxn],id[maxn],iq;//拓扑排序部分数据定义

void add(int from,int to)
{
    edge[cnt].to=to;
    edge[cnt].next=head[from];
    head[from]=cnt++;
}
void init()//初始化并查集
{
    for(int i=0;i<=n;i++) Fa[i]=i;
    memset(head,-1,sizeof(head));
    memset(in,0,sizeof(in));
    cnt=0;Count=0;
}
int Find(int x)//查询属于哪个集合，并直接拜“祖宗”为师
{
    if(Fa[x]==x) return x;
    else return Fa[x]=Find(Fa[x]);
}
void unite(int x,int y)//合并x,y两个元素
{
    x=Find(x);y=Find(y);
    if(x==y) return ;
    Fa[y]=x;
    Count++;
}
bool same(int x,int y)//【判断是否属于同个集合
{
    return Find(x)==Find(y);
}
int main()
{
    while(~scanf("%d%d",&n,&m))
    {
        init();
        for(int i=1;i<=m;i++)
        {
            scanf("%d%*c%c%*c%d",&l[i],&c[i],&r[i]);
            if(c[i]=='=') unite(l[i],r[i]);
        }
        bool flag1=0,flag2=0;
        for(int i=1;i<=m;i++)
        {
            if(c[i]=='=') continue;
            int x=Find(l[i]),y=Find(r[i]);
            if(c[i]=='<') add(y,x),in[x]++;
            else add(x,y),in[y]++;
        }
        queue<int>que;
        for(int i=0;i<n;i++)
            if(!in[i]&&Find(i)==i) que.push(i);
        if(que.size()>=2) flag1=1;
        while(!que.empty())
        {
            int temp=que.front();
            que.pop();
            Count++;
            for(int i=head[temp];i!=-1;i=edge[i].next)
            {
                in[edge[i].to]--;
                if(in[edge[i].to]==0)
                {
                    que.push(edge[i].to);
                    if(que.size()>=2) flag1=1;
                }
            }
        }
        if(Count<n) flag2=1;
        if(flag2) printf("CONFLICT\n");
        else if(flag1) printf("UNCERTAIN\n");
        else printf("OK\n");
    }
    return 0;
}