hdu-1811-Rank of Tetris-并查集缩点+拓扑

http://acm.hdu.edu.cn/showproblem.php?pid=1811

题意：

自从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"。

乍一看就是个拓扑排序嘛，不过N有点大，我们可以用并查集来实现：

把”=“关系的节点都用并查集合并为一个节点，

对于比较关系 “> "  "<" 如x<y 则建立一条y（father）指向x（son）的边 ，并统计x 的父亲有多少个（即比x大的节点）

最后把所有  极大点（没有比他刚他的点）丢进一个队列，对队列作以下操作直到空：

｛

任何时候队列有超过1个节点存在，则表明这个关系是不完全的（即同时存在多个极大点，UNCERTAIN）

取出一个节点并从队列删除，则把其所有子节点的父亲个数都减一，如果子节点的父亲个数此时为0，则加入队列（表明当前子节点在去掉父亲后将是一个极大值点）

｝

每次从队列取出一个点，则说明存在一个极大点，当极大点的数量为n的时候，则说明这n个点的关系是不冲突的，即全为链，或独立点

若关系成环的话， 该环上的点一定没办法进入队列并被取出，即为CONFLICT

判断完CONFLICT后，再考虑 UNCERTAIN，最后就是OK

#include <cstdio>
#include <cmath>
#include <cstring>
#include <string>
#include <algorithm>
#include <queue>
#include <map>
#include <set>
#include <vector>
#include <iostream>


using namespace std;
const int N=21234;
int fa[N];
int find(int x)
{
    if (x==fa[x]) return x;
    else return fa[x]=find(fa[x]);
}
vector<int> g[N];
int isson[N];
int x[N],y[N];
char ss[N];

int  main()
{
    int n,m;
    while(scanf("%d%d",&n,&m)!=EOF)
    {
        for(int i=1; i<=n; i++) fa[i]=i,isson[i]=0,g[i].clear();
        int certain=0;
        for(int i=1; i<=m; i++)
        {
            scanf("%d %c %d",&x[i],&ss[i],&y[i]);
            x[i]++,y[i]++;
            if (ss[i]!='=')continue;
            int fx=find(x[i]);
            int fy=find(y[i]);
            if (fx==fy) continue;
            if (fx>fy) fa[fy]=fx;
            else fa[fx]=fy;

            certain++;
        }
        for(int i=1; i<=m; i++)
        {
            if (ss[i]=='=')continue;
            int fx=find(x[i]);
            int fy=find(y[i]);
            if (ss[i]=='<')
            {
                g[fy].push_back(fx);
                isson[fx]++;
            }
            else if (ss[i]=='>')
            {
                g[fx].push_back(fy);
                isson[fy]++;
            }
        }

        queue<int> q;
        for (int i=1; i<=n; i++)
        {
            if (isson[i]==0&&i==find(i))
                q.push(i);
        }
        int notonly=0;
        while(!q.empty())
        {
            if (q.size()>1) notonly=1;
            int t=q.front();
            q.pop();
            ++certain;
            for (int i=0; i<g[t].size(); i++)
            {
                int v=g[t][i];
                if (--isson[v]==0)
                    q.push(v);
            }
        }
        if (certain<n) printf("CONFLICT\n");
        else if (notonly) printf("UNCERTAIN\n");
        else printf("OK\n");
    }
}