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");    }}