【拓扑结构+并查集】HDU - 1811 Rank of Tetris

题目

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

大致思路及分析

鄙人愚笨的小脑瓜刚开始并没有一下想出来怎么处理=这个关系，然后一查，嗷，并查集，其实应该想得到的

大致思路就是，遇到=的时候就用并查集把两个节点缩成一个点，
可以把< >看成是带箭头的无权边，然后建图跑拓扑结构，如果最后如果是DAG的话就输出OK,如果不是的话输出CONFLICT，当然还要进行特判，设定一个flag来进行标记，如果在拓扑过程中队列中出现了两个以上的节点说明数据给的不清楚，输出UNCERTAIN

具体代码如下

#include <bits/stdc++.h>
using namespace std;
const int N = 20010;
int in[N];
vector<int> G[N];
int p[N];
int cnt;
int find(int x)
{
    if (p[x] != x)
        p[x] = find(p[x]);
    return p[x];
}

int join(int x, int y)
{
    int fx = find(x), fy = find(y);
    if (fx != fy)
    {
        p[fx] = fy;
        return 1;
    }
    return 0;
}
int f = 0;
int n, m;
void topo()
{
    queue<int> q;

    for (int i = 0; i < n; i++)
        if (in[i] == 0 && find(i) == i)
            q.push(i);
    while (!q.empty())
    {
        if (q.size() > 1)
            f = 1;
        int t = q.front();
        q.pop();
        cnt--;
        for (int i = 0; i < G[t].size(); i++)
        {
            in[G[t][i]]--; 
            if (!in[G[t][i]])
                q.push(G[t][i]); 
        }
    }
}
int main()
{
    int a[N], b[N]; //节点数
    char op[N];
    while (cin >> n >> m)
    {
        f = 0;
        cnt = n;
        for (int i = 0; i <= n; i++)
        { 
            in[i] = 0;
            G[i].clear();
            p[i] = i;
        }
        for (int i = 0; i < m; i++)
        {
            cin >> a[i] >> op[i] >> b[i]; 
            if (op[i] == '=')
            {
                if (join(a[i], b[i]))
                    cnt--; 
            }
        }
        for (int i = 0; i < m; i++)
        {

            if (op[i] == '>')
            {
                int x = find(a[i]);
                int y = find(b[i]);
                in[y]++;
                G[x].push_back(y);
            }
            if (op[i] == '<')
            {
                int x = find(a[i]);
                int y = find(b[i]);
                in[x]++;
                G[y].push_back(x);
            }
        }
        topo();
        if (cnt)
            printf("CONFLICT\n");
        else if (f == 1)
            printf("UNCERTAIN\n");
        else
            printf("OK\n");
    }
    return 0;
}