最近在做并查集的训练,偶遇一道不错的题目,被卡住了两天,今天终于过了,记录一下。
题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=1811
题目:
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"。
为了更好的符合那些爱好者的喜好,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行,分别表示这些关系
每组测试第一行包含两个整数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<stdio.h>
int fa[10005],Rank[10005],n,m,head[10005],inde[10005],Queue[10005],top;
bool flag,flag1;
/**************************************/
struct Edge
{
int v,next;
}e[20005];
void addEdge(int a,int b)
{
e[top].v=b;
e[top].next=head[a];
head[a]=top;
top++;
}
/**************************************/
/*
上面是邻接表实现部分
*/
/**************************************/
struct Relation
{
int s,e;
char f;
}r[20005];
/**************************************/
/*
该结构体用来存储输入的关系式
*/
void init()
{
for(int i=0;i<n;i++)
{
fa[i]=i;
Rank[i]=1;
inde[i]=0;
head[i]=-1;
}
}
int find_set(int a)
{
if(a!=fa[a])
fa[a]=find_set(fa[a]);
return fa[a];
}
void un(int a,int b)
{
a=find_set(a);
b=find_set(b);
if(a==b)
return ;
if(Rank[a]>Rank[b])
{
fa[b]=a;
Rank[a]+=Rank[b];
}
else
{
fa[a]=b;
Rank[b]+=Rank[a];
}
return ;
}
void Union()//用来把相同的点凑成一个集合,用根结点代替集合内其他节点去比较
{
for(int i=0;i<m;i++)
if(r[i].f=='=')
un(r[i].s,r[i].e);
}
/**************************************/
void getChat()
{
for(int i=0;i<m;i++)
{
if(r[i].f=='>')
addEdge(find_set(r[i].s),find_set(r[i].e));
else if(r[i].f=='<')
addEdge(find_set(r[i].e),find_set(r[i].s));
}
}
/*****************************************/
/*
通过不等式建立邻接表(大的为头节点建立邻接表),上面方法是用来获取邻接表
*/
void getAns()//拓扑排序
{
int c=0,cc=0;
for(int i=0;i<n;i++)
{
if(fa[i]==i)
{
c++;
for(int j=head[i];j!=-1;j=e[j].next)
inde[e[j].v]++;
}
}
for(int k=0;k<n;k++)
{
int top=0;
for(int i=0;i<n;i++)
{
if(fa[i]==i&&inde[i]==0&&top==0)
{
Queue[top++]=i;
inde[i]=-1;
cc++;
}
else if(fa[i]==i&&inde[i]==0&&top!=0)
{
flag1=false;
cc++;
inde[i]=-1;
Queue[top++]=i;
}
}
if(top==0)
break;
for(int i=0;i<top;i++)
{
for(int j=head[Queue[i]];j!=-1;j=e[j].next)
inde[e[j].v]--;
}
}
if(cc!=c)
flag=false;
return ;
}
int main()
{
while(scanf("%d%d",&n,&m)!=EOF)
{
char c;
int a,b;
init();
flag=true;
flag1=true;
top=0;
for(int i=0;i<m;i++)
scanf("%d %c %d",&r[i].s,&r[i].f,&r[i].e);
/**************/
Union();
getChat();
getAns();
/**************/
/*
必须先合并相同的,再建立邻接表,最后拓扑排序
*/
if(flag&&!flag1)
printf("UNCERTAIN\n");
else if(!flag)
printf("CONFLICT\n");
else
printf("OK\n");
}
return 0;
}