HDU 1811 并查集+拓扑排序

 

Rank of Tetris

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

题意：很简单。

解题思路：由于两点之间可能存在相等的关系，所以不能按照普通的拓扑排序进行处理，需要将相等的点用并查集缩点，然后对于不相等的情况，=每次不是直接合并，而是找操作符两端的并查集主元，然后按拓扑排序做，假设某个时刻，队列中有两个元素，则信息不完整，如果不能完成拓扑排序，则出现冲突，否则能够完成拓扑排序。

代码：

 

#include<iostream>
#include<stdio.h>
#include<string.h>
#include<algorithm>
#include<map>
#include<queue>
#include<string>
using namespace std;
const int maxn=100010;
int fa[maxn],head[maxn],tol,n,cnt,in[maxn],a[maxn],b[maxn];
char ch[maxn];
struct node
{
        int next,to;
}edge[10*maxn];
void add(int u,int v)
{
        edge[tol].to=v;
        edge[tol].next=head[u];
        head[u]=tol++;
}
int find(int x)
{
        if(fa[x]!=x)fa[x]=find(fa[x]);
        return fa[x];
}
void topo()
{
       int i,j,k,u,v;
       queue<int> s;
       for(i=0;i<n;i++)
        if(i==find(i)&&in[i]==0)s.push(i);
        int flag=1;
        while(!s.empty())
        {
                if(s.size()>1)flag=0;
                u=s.front();s.pop();cnt--;
                //cout<<"u="<<u<<endl;
                in[u]--;
                for(i=head[u];i!=-1;i=edge[i].next)
                {
                        v=edge[i].to;
                        if(--in[v]==0)s.push(v);
                }
        }
        if(cnt)
        {
                //cout<<cnt<<endl;
                puts("CONFLICT");return;
        }
        if(flag==0)
        {
                puts("UNCERTAIN");return;
        }
        puts("OK");
}
int main()
{
        int m,i,j,k;
        while(~scanf("%d%d",&n,&m))
        {
               for(i=0;i<=n;i++)fa[i]=i;
               memset(head,-1,sizeof(head));tol=0;
               cnt=n;
               memset(in,0,sizeof(in));
               for(int p=0;p<m;p++)
               {
                       scanf("%d %c %d",&a[p],&ch[p],&b[p]);
                       if(ch[p]=='=')
                       {
                               i=find(a[p]);
                               j=find(b[p]);
                               if(i!=j)fa[i]=j,cnt--;
                       }
               }
               for(int p=0;p<m;p++)
               {
                       if(ch[p]=='=')continue;
                      if(ch[p]=='>')
                      {
                            i=find(a[p]);
                            j=find(b[p]);
                            add(i,j);
                            in[j]++;
                      }
                      else if(ch[p]=='<')
                      {
                            i=find(a[p]);
                            j=find(b[p]);
                            add(j,i);
                            in[i]++;
                      }
                }
               //cout<<tol<<endl;
               topo();
        }
        return 0;
}