链接 :
http://acm.hdu.edu.cn/showproblem.php?pid=1811
题目为中文。
可以考虑把rating相同的人放到一个集合里 集合里的人可以认为按照编号排序的,可以使用并查集。
预处理了之后可以考虑在同一个集合里不会出现两个不同的rating 出现即为矛盾 否则可以 以两个集合的根节点建边。
图建好了之后可以保证每个点里面的人的rating相同。只需要再判断是否有环 、 拓扑序是否唯一。
判断拓扑序唯一就是每次队列中只能存在一个集合,否则就是可以有多种选择了。
#pragma comment(linker, "/STACK:10240000,10240000")
#include <algorithm>
#include <iostream>
#include <sstream>
#include <cstring>
#include <cstdlib>
#include <cstdio>
#include <vector>
#include <cmath>
#include <queue>
#include <set>
#include <map>
#define mod 4294967296
#define MAX 0x3f3f3f3f
#define lson o<<1, l, m
#define rson o<<1|1, m+1, r
#define SZ(x) ((int)ans.size())
#define MAKE make_pair
#define INFL 0x3f3f3f3f3f3f3f3fLL
#define mem(a) memset(a, 0, sizeof(a))
const double pi = acos(-1.0);
const double eps = 1e-9;
const int N = 10005;
const int M = 20005;
typedef long long ll;
using namespace std;
int n, m, a[N], b[N];
char s[N][3];
int he[M], du[N];
struct C {
int to, ne;
} e[N];
void add(int id, int x, int y) {
e[id].to = y;
e[id].ne = he[x];
he[x] = id;
}
int f[N];
int Find(int x) {
return x == f[x] ? x : f[x] = Find(f[x]);
}
int main()
{
//freopen("in.txt","r",stdin);
while(cin >> n >> m) {
memset(he, -1, sizeof(he));
mem(du);
int tot = n;
for(int i = 1; i <= n; i++) f[i] = i;
for(int i = 1; i <= m; i++) {
scanf("%d %s %d", &a[i], s[i], &b[i]);
a[i]++, b[i]++;
if(s[i][0] == '=') {
int fa = Find(a[i]);
int fb = Find(b[i]);
if(fa != fb) {
f[fa] = fb;
tot--;
}
}
}
int ok1 = 0, ok2 = 0;
for(int i = 1; i <= m; i++) {
if(s[i][0] == '=') continue;
int fa = Find(a[i]);
int fb = Find(b[i]);
if(fa == fb) {
ok1 = 1;
break;
}
if(s[i][0] == '>') {
add(i, fa, fb);
du[fb]++;
} else {
add(i, fb, fa);
du[fa]++;
}
}
if(ok1) {
puts("CONFLICT");
continue;
}
queue <int> q;
for(int i = 1; i <= n; i++) {
if(i == Find(i) && du[i] == 0) {
q.push(i);
}
}
while(!q.empty()) {
if(q.size() > 1) ok2 = 1;
int u = q.front(); q.pop();
tot--;
for(int i = he[u]; i != -1; i = e[i].ne) {
du[ e[i].to ]--;
if(du[ e[i].to ] == 0) q.push(e[i].to);
}
}
if(tot >= 1) {
puts("CONFLICT");
} else if(ok2) {
puts("UNCERTAIN");
} else puts("OK");
}
return 0;
}