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

题意：给出不同人的一些相对大小信息，问能否得到一个确定的rank。

思路：很显然的拓扑排序，只不过这里有等于的情况。由于题意已经说明等于的情况的话，比较两人的人品值也即编号，所以等于的情况是确定的，只需用并查集处理一下。那么剩下的就是拓扑排序了。我们用一个cnt值记录已排序的人数，最后与总人数n比较。在输入过程中，一旦出现相等的话，显然要进行合并，此时cnt++，因为此时一个人相当于两个人。进行拓扑排序时，每确定一个人的排序，cnt就加1。我们用bfs进行拓扑排序。初始入队列的是所有入度为1的，那么显然，每当队列中入度为1的大于1时，我们是一定无法得到一个确定的rank的，因为这些入度大于的点我们是无法比较的。其次，出现矛盾的情况也就是出现了环，那么环内值是始终不会进队列的，所以cnt一定小于n。这样当bfs结束时判断cnt的值，若小于n，表明有环，即给出的数据有矛盾。然后在判断能否得到一个唯一的确定序列。

#include <algorithm>
#include <iostream>
#include <sstream>
#include <cstring>
#include <cstdio>
#include <vector>
#include <string>
#include <queue>
#include <stack>
#include <cmath>
#include <set>
#include <map>
using namespace std;

typedef long long LL;
#define mem(a, n) memset(a, n, sizeof(a))
#define rep(i, n) for(int i = 0; i < (n); i ++)
#define REP(i, t, n) for(int i = (t); i < (n); i ++)
#define FOR(i, t, n) for(int i = (t); i <= (n); i ++)
#define ALL(v) v.begin(), v.end()
#define si(a) scanf("%d", &a)
#define sii(a, b) scanf("%d%d", &a, &b)
#define siii(a, b, c) scanf("%d%d%d", &a, &b, &c)
#define pb push_back
#define eps 1e-8
const int inf = 0x3f3f3f3f, N = 1e4 + 5, MOD = 1e9 + 7;

int T, cas = 0;
int n, m, cnt;
int fa[N], in[N], x[2 * N], y[2 * N];
char c[2 * N];
vector<int> v[N];

int find(int x) {
	if(x != fa[x]) return fa[x] = find(fa[x]);
	return x;
}

bool Union(int x, int y) {
	int fx = find(x), fy = find(y);
	if(fx == fy) return false;
	fa[fx] = fy;
	return true;
}

int Topo() {
	queue<int> que;
	rep(i, n) if(in[i] == 0 && find(i) == i) que.push(i);
	int ret = 0;
	while(!que.empty()) {
		if(que.size() > 1) ret = 1;
		int u = que.front(); que.pop();
		cnt ++;
		int len = v[u].size();
		rep(i, len) if(-- in[v[u][i]] == 0) que.push(v[u][i]);
	}
	if(cnt < n) return 0;
	else if(ret) return -1;
	return 1;
}

int main(){
#ifdef LOCAL
    freopen("/Users/apple/input.txt", "r", stdin);
//	freopen("/Users/apple/out.txt", "w", stdout);
#endif
	
    while(sii(n, m) != EOF) {
    	cnt = 0;
		mem(in, 0);
		rep(i, n) fa[i] = i, v[i].clear();
		rep(i, m) {
			scanf("%d %c %d", &x[i], &c[i], &y[i]);
			if(c[i] == '=') if(Union(x[i], y[i])) cnt ++;
		}
		rep(i, m) {
			int fx = find(x[i]), fy = find(y[i]);
			if(c[i] == '>') v[fx].pb(fy), in[fy] ++;
			if(c[i] == '<') v[fy].pb(fx), in[fx] ++;
		}
		int ans = Topo();
		if(ans == 1) printf("OK\n");
		if(ans == 0) printf("CONFLICT\n");
		if(ans == -1) printf("UNCERTAIN\n");
    }
    
    return 0;
}