[HDU 1811]Rank of Tetris[拓扑排序][并查集]

题目链接： [HDU 1811]Rank of Tetris[拓扑排序][并查集]

题意分析：

给出的关系中是否存在矛盾，是否无法确定关系？两者都有，输出"矛盾"即可。

解题思路：

排名大小关系，很容易想到拓扑排序。问题在于，什么情况下是不确定的？当处理队列中有多个点时，就是不能确定的情况，因为后继操作可以选择多个不同的开始。需要注意的是本题存在等于的情况，这时需要将相等的两者合并，合并之后再开始建边，使得信息共享。

个人感受：

不知道怎么确定不确定关系。。。。心塞。

具体代码如下：

#include<cstdio>
#include<iostream>
#include<queue>
using namespace std;

const int INF = 0x7f7f7f7f;
const int MAXN = 1e4 + 111;

vector<int> G[MAXN];
int p[MAXN], in[MAXN], a[MAXN], b[MAXN];
char cmp[2 * MAXN];

int find(int x)
{
    return x == p[x] ? x : p[x] = find(p[x]);
}

void unite(int x, int y)
{
    x = find(x), y = find(y);
    if (x != y) p[x] = y;
}

int main()
{
    int n, m;
    while (~scanf("%d%d", &n, &m))
    {
        for (int i = 0; i < n; ++i) G[i].clear(), p[i] = i, in[i] = 0;
        int sum = n;
        for (int i = 0; i < m; ++i)
        {
            scanf("%d %c %d", &a[i], &cmp[i], &b[i]);
            if (cmp[i] == '=') unite(a[i], b[i]), --sum; // 相等的看作一个整体
        }
        bool conf = 0, uncer = 0;
        for (int i = 0; i < m; ++i)
        {
            if (cmp[i] == '=') continue;
            int x = find(a[i]), y = find(b[i]);
            if (x == y) conf = 1; // 等级相同却又存在绝对大小关系，矛盾
            if (cmp[i] == '>') G[x].push_back(y), ++in[y];
            else G[y].push_back(x), ++in[x];
        }

        queue<int> q;
        for (int i = 0; i < n; ++i)
        {
            int cur = find(i);
            if (!in[cur] && p[cur] == i) q.push(cur);
        }

        while (q.size())
        {
            int cur = q.front(); q.pop(); --sum;
            if (q.size()) uncer = 1;  // 多个点可以操作，无法确定哪一个
            for (int i = 0; i < G[cur].size(); ++i)
            {
                int v = G[cur][i];
                if (--in[v] == 0) q.push(v);
            }
        }

        if(sum > 0 || conf) printf("CONFLICT\n");
        else if(uncer) printf("UNCERTAIN\n");
        else printf("OK\n");
    }
    return 0;
}