題意: 給出一些大小關係,問根據這些關係能不能確定排名,如果不能, 判斷是信息不完全,還是信息衝突,
分析: 1,出現衝突的情況: 當且僅當圖中存在環,纔會出現衝突,如:a > b, b > c, c > a, 則是衝突, 這種情況可在拓撲排序時確定,下面簡要說一下拓撲排序:
拓撲排序: 每次在有向圖中找出一個入度爲0的節點,加入隊列,並刪除該節點發出的所有邊(在用隊列實現的過程中,可直接把與之相連的節點的入度-1, 最後,如果還剩下節點未排序,則表示出現了環,因爲環中沒有節點入度爲0.
2. 出現信息不完全的情況,如果某一時刻,有多個入度爲0的點,那麼信息肯定不完全,因爲這樣就沒法確定這些入度爲0的點之間的先後關係
3. 此題的難點在於如何處理相等的情況,這種情況不能用拓撲排序來處理,因爲,如果把a==b==c處理成a>b>c的話,那麼有可能出現e<a, e > b是正確的情況, 所以,正確的方法是把相等的節點用並查集處理成一個節點, 這樣就能用拓撲排序解出此題了:
代碼:
#include <cstdio>
#include <queue>
#include <vector>
#include <cstring>
using namespace std;
const int maxn = 1e5 + 10;
int fa[maxn], in[maxn], A[maxn], B[maxn], n, m, sum;
char op[maxn];
vector<int> G[maxn];
int findSet(int x)
{
if (x != fa[x]) {
fa[x] = findSet(fa[x]);
}
return fa[x];
}
void topSort()
{
queue<int> Q;
bool uncertain = false;
for (int i = 0; i < n; i++) {
if (in[i] == 0 && findSet(i) == i) Q.push(i);
}
while (!Q.empty())
{
if (Q.size() > 1) {
uncertain = true;
}
int now = Q.front(); Q.pop();
sum--;
for (int i = 0; i < G[now].size(); i++) {
if (--in[G[now][i]]==0) {
Q.push(G[now][i]);
}
}
}
if (sum>0) puts("CONFLICT");
else if(uncertain) puts("UNCERTAIN");
else puts("OK");
}
int main()
{
// freopen("/Users/apple/Desktop/in.txt", "r", stdin);
while (scanf("%d%d", &n, &m) != EOF)
{
for (int i = 0; i < n; i++) {
fa[i] = i, in[i] = 0;
G[i].clear();
}
sum = n;
for (int i = 0; i < m; i++) {
int a, b; char s[3]; scanf("%d%s%d", &a, s, &b);
op[i] = s[0], A[i] = a, B[i] = b;
if (s[0] == '=') {
int fx = findSet(a), fy = findSet(b);
if (fx != fy) {
fa[fx] = fy;
sum--;
}
}
}
for (int i = 0; i < m; i++) {
if (op[i] == '=') continue;
int a = findSet(A[i]), b = findSet(B[i]);
if (op[i] == '>') {
G[a].push_back(b);
in[b]++;
}
else {
G[b].push_back(a);
in[a]++;
}
}
topSort();
}
return 0;
}