#HDU 1811 Rank of Tetris (拓扑排序 + 并查集)

Rank of Tetris

Time Limit: 1000/1000 MS (Java/Others)    Memory Limit: 32768/32768 K (Java/Others)
Total Submission(s): 13306    Accepted Submission(s): 3780

 

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

 

题目大意 ：  有三个符号 ： > ,  < ,  =  ,分别表示了两个编号之间的排名关系，相等的话排名会直接编号大的靠前，输入之后，如果能够给0到N排序，那么输出OK， 如果缺少信息，则输出 UNCERTAIN， 如果输入的信息冲突了，输出CONFLICT，如果信息不仅缺少也存在冲突的情况，输出CONFLICT

思路 ：本题有三个要点：一 、 A = B情况的处理方法。二 、如何判断冲突的情况。 三 、 如何判断信息缺少的情况。

A = B不难想到可以用并查集来合并，将相等的点全部合并，缩成一个点，这样每个点与其他点的关系都可以通过其父节点来体现了，冲突的情况换句话说就是无法拓扑排序，拓扑排序可以成立的条件就是无环，这个还是比较好写的，而信息缺少的情况，也就是排序方式有多种的情况，如图所示

 这张图是可以拓扑排序的，但是他第一次既可以弹出1，也可以弹出3，而排行榜一定是唯一的，所以，在排序过程中，如果出现弹出一个点后队列中仍然存在点，那么就是信息缺失的情况。

大致思路就是这样，但是做图论的题一般情况下都要处理重边、不连通、边界之类的问题，而本题需要处理的就是如果你输入 A > B, A = B,应该算CONFLICT，所以我们输入之后，要将等于号优先考虑。

AC代码 ：

#include<iostream>
#include<cstring>
#include<queue>
#include<algorithm>
using namespace std;
const int maxn = 2e4 + 5;

struct edge
{
    int x, y, op;
}d[maxn];
bool cmp (edge a, edge b) {
    return a.op < b.op;  // 等于号优先考虑
}
struct node
{
    int v, next;
}e[maxn];
int in[maxn], p[maxn], head[maxn];
int n, m, cnt, sum;
bool vis[maxn];
char ch;
void init() {
    memset(e, 0, sizeof(e));
    memset(d, 0, sizeof(d));
    memset(in, 0, sizeof(in));
    memset(vis, 0, sizeof(vis));
    memset(head, -1, sizeof(head));
    for (int i = 0; i < n; i++) p[i] = i;
    cnt = sum = 0;
}
void add (int from, int to) {
    e[++cnt].v = to;
    e[cnt].next = head[from];
    head[from] = cnt;
}
int find_(int x) {
    while (x != p[x]) x = p[x] = p[p[x]];
    return x;
}
void unite(int x, int y) {
    x = find_(x);
    y = find_(y);
    if (x != y) p[x] = y;
}
void topsort() {
    queue <int> q;
    for (int i = 0; i < n; i++) {
        if (!in[find_(i)] && !vis[find_(i)])
            q.push(find_(i)), vis[find_(i)] = 1;  // 只读入一次
    }
    int ans = 0, flag = 1;
    while (!q.empty()) {
        int u = q.front();
        q.pop();
        if (q.size()) flag = 0;   //信息缺失，排序不止一种
        ans++;
        for (int i = head[u]; i != -1; i = e[i].next) {
            int v = e[i].v;
            in[v]--;
            if (!in[v]) q.push(v);
        }
    }
    if (ans != n - sum) cout << "CONFLICT" << endl;   //合并的点要减掉
    else {
        if (!flag) cout << "UNCERTAIN" << endl;
        else cout << "OK" << endl;
    }
}

int main()
{
    while (cin >> n >> m) {
        init();
        int ui, vi;
        for (int i = 0; i < m; i++) {
            cin >> ui >> ch >> vi;
            d[i].x = ui, d[i].y = vi;
            if (ch == '>') d[i].op = 1;
            else if (ch == '<') d[i].op = 2;
            else if (ch == '=' && ui != vi && find_(ui) != find_(vi)) {d[i].op = 0, unite(ui, vi), sum++;}
        }
        sort (d, d + m, cmp);
        for (int i = 0; i < m; i++) {
            int ui = find_(d[i].x), vi = find_(d[i].y);
            if (ui == vi && !d[i].op) continue;
            if (d[i].op == 1) add (ui, vi), in[vi]++;
            else if (d[i].op == 2) add (vi, ui), in[ui]++;
        }
        topsort();
    }
    return 0;
}